Aadityavardhan
/
nac3_sca
forked from M-Labs/nac3
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

nac3standalone: style

escape-analysis
Sebastien Bourdeauducq 2021-12-28 10:59:17 +08:00
parent 85e06d431a
commit 9cc9a0284a
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
nac3standalone/src/main.rs
View File

@ -25,7 +25,7 @@ mod basic_symbol_resolver;
use basic_symbol_resolver::*; use basic_symbol_resolver::*;
fn main() { fn main() {
let demo_name = env::args().nth(1).unwrap(); let file_name = env::args().nth(1).unwrap() + ".py";
let threads: u32 = env::args() let threads: u32 = env::args()
.nth(2) .nth(2)
.map(|s| str::parse(&s).unwrap()) .map(|s| str::parse(&s).unwrap())
@ -35,7 +35,7 @@ fn main() {
Target::initialize_all(&InitializationConfig::default()); Target::initialize_all(&InitializationConfig::default());
let program = match fs::read_to_string(demo_name.clone() + ".py") { let program = match fs::read_to_string(file_name.clone()) {
Ok(program) => program, Ok(program) => program,
Err(err) => { Err(err) => {
println!("Cannot open input file: {}", err); println!("Cannot open input file: {}", err);
@ -64,7 +64,7 @@ fn main() {
setup_time.duration_since(start).unwrap().as_millis() setup_time.duration_since(start).unwrap().as_millis()
); );
let parser_result = parser::parse_program(&program, format!("{}.py", demo_name).into()).unwrap(); let parser_result = parser::parse_program(&program, file_name.into()).unwrap();
let parse_time = SystemTime::now(); let parse_time = SystemTime::now();
println!( println!(
"parse time: {}ms", "parse time: {}ms",