Promote tests

formalsec · Dec 4, 2024 · 7f25a33 · 7f25a33
1 parent d6fcdd8
commit 7f25a33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/smt2/test_smt2.t b/test/smt2/test_smt2.t
@@ -3,7 +3,7 @@ Test parsing a nonexistent file:
   smtml: FILES… arguments: no 'idontexist.smt2' file or directory
   Usage: smtml run [OPTION]… [FILES]…
   Try 'smtml run --help' or 'smtml --help' for more information.
-  [2]
+  [124]
 
 Test parsing an empty file:
   $ smtml run test_empty.smt2