fix unit test so it is agnostic to the Z3 version

AliveToolkit · Dec 22, 2024 · c5ddf97 · c5ddf97
1 parent 80be7a9
commit c5ddf97
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/unit/undef-error.opt b/tests/unit/undef-error.opt
@@ -1,4 +1,4 @@
-; ERROR: Target's return value is more undefined for i1 %r
+; ERROR: Target's return value is more undefined
 %r = 0
   =>
 %r = undef