diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/verbosity.cnf')
-rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/verbosity.cnf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/verbosity.cnf b/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/verbosity.cnf new file mode 100644 index 000000000..9ee5dc9e9 --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/verbosity.cnf @@ -0,0 +1,4 @@ +c RUN: %solver --verb=0 %s | %OutputCheck %s +p cnf 1 1 +1 0 +c CHECK-NOT: ^c.*$
\ No newline at end of file |