From 308c8b71d8995688b03320f39cf92b4c75427d32 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 18 Jul 2025 16:55:33 +0000 Subject: [PATCH] Fixup regression test after merging #1115 It seems that changes between that PR's original base and current main caused the completeness threshold to shrink. --- regression/smv/expressions/smv_union1.desc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/regression/smv/expressions/smv_union1.desc b/regression/smv/expressions/smv_union1.desc index 393af51d4..c93f81da7 100644 --- a/regression/smv/expressions/smv_union1.desc +++ b/regression/smv/expressions/smv_union1.desc @@ -1,7 +1,7 @@ CORE broken-smt-backend smv_union1.smv -^\[spec1\] x != 3: PROVED \(CT=1\)$ +^\[spec1\] x != 3: PROVED \(CT=0\)$ ^\[spec2\] x != 2: REFUTED$ ^EXIT=10$ ^SIGNAL=0$