Use similar test for zip feature in native and SMT format

We should use the same test as we only want to check that Alt-Ergo can unzip correctly the input file if its name has the form: name.format.zip.
OCamlPro · Oct 31, 2024 · 5c84d11 · 5c84d11
1 parent 35c0f14
commit 5c84d11
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/tests/misc/unzip.ae.expected b/tests/misc/unzip.ae.expected
@@ -1,2 +1,2 @@
 
-unknown
+unsat
diff --git a/tests/misc/unzip.ae.zip b/tests/misc/unzip.ae.zip
diff --git a/tests/misc/unzip.smt2.zip b/tests/misc/unzip.smt2.zip