Turn measure inference back on (#165)

epfl-lara · Jul 5, 2021 · 5f87285 · 5f87285
1 parent 3096b8d
commit 5f87285
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/stainless_backend/src/lib.rs b/stainless_backend/src/lib.rs
@@ -57,8 +57,6 @@ impl Backend {
       .arg("--batched")
       .arg("--vc-cache=false")
       .arg("--type-checker=false")
-      .arg("--check-measures=false")
-      .arg("--infer-measures=false")
       .arg(format!("--timeout={}", config.timeout))
       .arg(format!("--print-ids={}", config.print_ids))
       .arg(format!("--print-types={}", config.print_types))