From f89e2c7d255129967f6c77a7b88868f3830f1a58 Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Thu, 13 Feb 2025 15:03:57 +0100 Subject: [PATCH] actually make it work --- src/symbolic/symbolic_path_condition.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/symbolic/symbolic_path_condition.ml b/src/symbolic/symbolic_path_condition.ml index c6e1b268f..3b2c7fb7d 100644 --- a/src/symbolic/symbolic_path_condition.ml +++ b/src/symbolic/symbolic_path_condition.ml @@ -35,8 +35,8 @@ let slice (pc : t) (c : Symbolic_value.bool) : Smtml.Expr.Set.t = | [] -> (* TODO: It means Smt.ml did not properly simplified a expression... *) (* assert false *) - (* For now, we use the empty set, should be removed and assert false should be used instead later*) - Smtml.Expr.Set.empty + (* For now, we use this, it should be removed and assert false should be used instead later *) + Smtml.Expr.Set.add c (to_set pc) | sym0 :: _tl -> ( (* we need only the first symbol as all the other one should have been merged with it *) match Union_find.find_opt sym0 pc with