diff options
Diffstat (limited to 'test/regress/regress0/let.smt')
-rw-r--r-- | test/regress/regress0/let.smt | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/test/regress/regress0/let.smt b/test/regress/regress0/let.smt deleted file mode 100644 index 8b747c3e1..000000000 --- a/test/regress/regress0/let.smt +++ /dev/null @@ -1,6 +0,0 @@ -(benchmark let_test - :logic QF_UF - :status unsat - :extrafuns ((a U) (b U) (f U U)) - :formula (let (?x a) (and (= a b) (not (= ?x b)))) -)
\ No newline at end of file |