diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-20 18:16:26 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-01 16:11:24 -0400 |
commit | b6ad34343d0a09de37dc4e5ff57cd8625dca3fc4 (patch) | |
tree | d4aa8da10c6ad99c46d7f8c1fd824f2d7566ef4e /test/regress/regress0/simple.smt2 | |
parent | cba10a096d97e82bd112b4d99a6ebe399d1369d6 (diff) |
Merging some cleanup work:
* Comment cleanup
* Spelling fixes
* Fix warnings
* Documentation updates
* References in docs to cryptominisat removed
* Unneeded scope resolutions removed
* Old, unused regression removed
Diffstat (limited to 'test/regress/regress0/simple.smt2')
-rw-r--r-- | test/regress/regress0/simple.smt2 | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/test/regress/regress0/simple.smt2 b/test/regress/regress0/simple.smt2 deleted file mode 100644 index c1f65e565..000000000 --- a/test/regress/regress0/simple.smt2 +++ /dev/null @@ -1,8 +0,0 @@ -(set-info :source "contrived") -(set-info :smt-lib-version 2.0) -(set-info :category "check") -(set-info :status unsat) -(set-logic QF_UF) -(set-info :notes |This benchmark simply checks that SMT-LIB v2 can be parsed.|) -(set-info :difficulty 0.000) -(exit) |