Fixes 'infinite' loop on concolic assert(0)

OCamlPro · Jun 3, 2024 · 730a977 · 730a977
1 parent b8d1119
commit 730a977
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/concolic/concolic_choice.ml b/src/concolic/concolic_choice.ml
@@ -124,7 +124,7 @@ let assertion (vb : Concolic_value.V.vbool) =
     M
       (fun st ->
         (Ok (), if no_choice then st else add_pc_to_thread st assert_pc) )
-  else M (fun st -> (Error (Assume_fail vb.symbolic), st))
+  else M (fun st -> (Error Assert_fail, st))
 
 let trap t = M (fun th -> (Error (Trap t), th))