diff options
| author | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:07:13 -0700 |
|---|---|---|
| committer | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:07:13 -0700 |
| commit | 146db4caba235a0cbd55b2877b1e664d85187a42 (patch) | |
| tree | 6f6538fc188aab08d51ca90e287e6983fc1f7fff /cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/simptest.cnf | |
| parent | 5cfc2d1c7a3bd6acaa26a0a8e7dda12b6bbf17b4 (diff) | |
clean up
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 |