Style tweaks

Changes

2 changed files (+3/-3)

• src/fenwicktest.rs
  • @@ -4,6 +4,8 @@ use std::time::Instant;
    fn main() { const N: usize = 1 << 17; + const T: usize = 1 << 20; + let a: Vec<_> = rand::random_iter::<i32>() .take(N) .map(|x| x % 1000)
  • @@ -15,8 +17,6 @@ .collect();
    let obj = fenwick::_allocate_object(); fenwick::_ctor(&obj, &seq); let ft = dafny_runtime::rd!(obj); - - const T: usize = 1 << 20; let test: Vec<_> = rand::random_iter::<i32>() .zip(rand::random_iter::<i32>())
• src/main.rs
  • @@ -16,7 +16,7 @@ for arg in &args[1..] {
    match arg.as_str() { "-v" => verbose = true, "-b" => backend = true, - _ => file = arg.clone(), + _ => file.clone_from(arg), } }