fix tests compiling

Author: Philipp15b

src/opt/unfolder.rs

@@ -286,7 +286,7 @@ mod test {
             let tcx = fuzz_test::mk_tcx();
             let z3_ctx = z3::Context::new(&z3::Config::default());
             let smt_ctx = SmtCtx::new(&z3_ctx, &tcx);
-            let limits_ref = LimitsRef::new(None);
+            let limits_ref = LimitsRef::new(None, None);
             let mut unfolder = Unfolder::new(limits_ref, &smt_ctx);
             unfolder.visit_expr(&mut expr).unwrap();
             expr

src/servers/cli.rs

@@ -1,5 +1,8 @@
 use std::{
-    io::{self, IsTerminal}, path::PathBuf, process::ExitCode, sync::{Arc, Mutex}
+    io::{self, IsTerminal},
+    path::PathBuf,
+    process::ExitCode,
+    sync::{Arc, Mutex},
 };
 
 use ariadne::ReportKind;

src/servers/mod.rs

@@ -1,5 +1,7 @@
 use std::{
-    error::Error, process::ExitCode, sync::{Arc, Mutex}
+    error::Error,
+    process::ExitCode,
+    sync::{Arc, Mutex},
 };
 
 use crate::{

src/slicing/transform_test.rs

@@ -110,7 +110,7 @@ fn prove_equiv(
     let builder = ExprBuilder::new(Span::dummy_span());
 
     let deadline = Instant::now() + Duration::from_millis(1);
-    let mut vcgen = Vcgen::new(tcx, &LimitsRef::new(Some(deadline)), None);
+    let mut vcgen = Vcgen::new(tcx, &LimitsRef::new(Some(deadline), None), None);
     let stmt1_vc = vcgen
         .vcgen_stmts(stmt1, transform_tcx.post.clone())
         .unwrap();