We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 56473d0 commit 7bca839Copy full SHA for 7bca839
1 file changed
regression-tests/special/Answers
@@ -47,4 +47,4 @@ sat
47
)
48
49
amotsa.smt2
50
-sat
+sat
0 commit comments