diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/simptest.cnf')
-rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/simptest.cnf | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/simptest.cnf b/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/simptest.cnf deleted file mode 100644 index 6932e7348..000000000 --- a/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/simptest.cnf +++ /dev/null @@ -1,5 +0,0 @@ -c RUN: %solver %s | %OutputCheck %s -p cnf 1 1 -1 0 -c CHECK: ^s SATISFIABLE$ -c CHECK-NEXT: ^v 1 0$
\ No newline at end of file |