Set Smt(DefineEnum(_,_,_), _) to true

rems-project · Dec 4, 2023 · 6dddee2 · 6dddee2
1 parent 1f4e38e
commit 6dddee2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/frontend/decomp.ml b/frontend/decomp.ml
@@ -84,7 +84,7 @@ let event_filter : Arch.t -> int -> event -> bool = fun arch i e ->
   | Smt(Assert(_), _)                                    -> i = 0
   | Cycle(_)
   | MarkReg(_, _, _)
-  | Smt(DefineEnum(_,_,_), _)                                -> false
+  | Smt(DefineEnum(_,_,_), _)                            -> true
   | _                                                    -> true
 
 (** [gen_coq arch name isla_f coq_f] processes Isla file [isla_f] and produces