Fix unit tests

rems-project · Sep 5, 2023 · 76852ee · 76852ee
1 parent ad698ad
commit 76852ee
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 26 deletions.
diff --git a/isla-lib/src/simplify.rs b/isla-lib/src/simplify.rs
@@ -1922,31 +1922,6 @@ mod tests {
         evtree.add_events(&events2);
     }
 
-    #[test]
-    fn evtree_context() {
-        use crate::smt::{DefAttrs, EnumId, EnumMember};
-        let events1: Vec<Event<B64>> = vec![
-            Event::Smt(Def::DefineEnum(2), DefAttrs::default(), SourceLoc::unknown()),
-            Event::Fork(0, Sym::from_u32(1), 0, SourceLoc::unknown()),
-            Event::Smt(
-                Def::DefineConst(Sym::from_u32(2), Exp::Enum(EnumMember { enum_id: EnumId::from_usize(2), member: 0 })),
-                DefAttrs::default(),
-                SourceLoc::unknown(),
-            ),
-        ];
-        let events2: Vec<Event<B64>> = vec![
-            Event::Smt(Def::DefineEnum(2), DefAttrs::default(), SourceLoc::unknown()),
-            Event::Fork(0, Sym::from_u32(1), 0, SourceLoc::unknown()),
-            Event::Cycle,
-        ];
-
-        let mut evtree = EventTree::from_events(&events1);
-        evtree.add_events(&events2);
-        let stdout = std::io::stdout();
-        let mut handle = stdout.lock();
-        write_event_tree(&mut handle, &evtree, &Symtab::new(), &WriteOpts::default());
-    }
-
     #[test]
     fn remove_unused_in_one_branch() {
         use crate::smt::DefAttrs;

diff --git a/isla-lib/src/smt.rs b/isla-lib/src/smt.rs
@@ -1989,7 +1989,7 @@ mod tests {
         cfg.set_param_value("model", "true");
         let ctx = Context::new(cfg);
         let mut solver = Solver::<B64>::new(&ctx);
-        let e = solver.get_enum(3);
+        let e = solver.get_enum(Name::from_u32(0), 3);
         let v0 = solver.declare_const(Ty::Enum(e), SourceLoc::unknown());
         let v1 = solver.declare_const(Ty::Enum(e), SourceLoc::unknown());
         let v2 = solver.declare_const(Ty::Enum(e), SourceLoc::unknown());