tests: adapt expected format

seahorn · Sep 21, 2023 · bf0f74e · bf0f74e
1 parent 7a62c8c
commit bf0f74e
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