diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-04-24 09:49:47 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-04-24 09:49:47 +0200 |
| commit | 5ebe1f1c3684609dc0c2f360cf4d86486795ab54 (patch) | |
| tree | 2c9b42c9f116f3d75c550c3a3bc627d30393d66a /unit-tests/sat0.smt2 | |
| parent | ca7adf2ee2106667f6de91b3a1ee755f69087e54 (diff) | |
| download | smtcoq-5ebe1f1c3684609dc0c2f360cf4d86486795ab54.tar.gz smtcoq-5ebe1f1c3684609dc0c2f360cf4d86486795ab54.zip | |
The simplest test for SMT
Diffstat (limited to 'unit-tests/sat0.smt2')
| -rw-r--r-- | unit-tests/sat0.smt2 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/unit-tests/sat0.smt2 b/unit-tests/sat0.smt2 new file mode 100644 index 0000000..ee93259 --- /dev/null +++ b/unit-tests/sat0.smt2 @@ -0,0 +1,4 @@ +(set-logic QF_UF) +(assert false) +(check-sat) +(exit) |