tests: adapt expected format

seahorn · Sep 18, 2023 · f24db97 · f24db97
1 parent dac73f7
commit f24db97
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/expected_results.out b/tests/expected_results.out
@@ -1561,7 +1561,7 @@ user-defined assertion checker
 
 === End ./test-bin/flat_bool_domain7 ===
 === Begin ./test-bin/flat_bool_domain8 ===
-Invariants using Product(Boolean,SparseDBM)
+Invariants using Bool+SparseDBM
 Abstract trace: entry bb2 bb1 exit
 user-defined assertion checker
 0  Number of total safe checks