Update analysis.rs

`Instance::body()` was modified to return `Option<Body>` and `run` returns Result.
model-checking · Nov 21, 2023 · d678bd7 · d678bd7
1 parent be3e7cd
commit d678bd7
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/kani-compiler/src/kani_middle/analysis.rs b/kani-compiler/src/kani_middle/analysis.rs
@@ -35,7 +35,7 @@ pub fn print_stats<'tcx>(tcx: TyCtxt<'tcx>, items: &[InternalMonoItem<'tcx>]) {
  },
  )
  .fold(StatsVisitor::default(), |mut visitor, body| {
- visitor.visit_body(&body.body());
+ visitor.visit_body(&body.body().unwrap());
  visitor
  });
  eprintln!("====== Reachability Analysis Result =======");
@@ -46,7 +46,8 @@ pub fn print_stats<'tcx>(tcx: TyCtxt<'tcx>, items: &[InternalMonoItem<'tcx>]) {
  eprintln!("Statements:\n{}", visitor.stmts);
  eprintln!("Expressions:\n{}", visitor.exprs);
  eprintln!("-------------------------------------------")
- });
+ })
+ .unwrap();
 }
 
 #[derive(Default)]