diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/indep-2.cnf')
| -rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/indep-2.cnf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/indep-2.cnf b/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/indep-2.cnf new file mode 100644 index 000000000..7606969db --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/indep-2.cnf @@ -0,0 +1,6 @@ +c RUN: %solver --verb=0 %s | %OutputCheck %s +c ind 1 0 +1 2 3 0 +2 0 +c CHECK: Independent .*1 +c CHECK: ^s SATISFIABLE$ |