diff options
Diffstat (limited to 'test/regress/regress0/arr1.smt')
-rw-r--r-- | test/regress/regress0/arr1.smt | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/test/regress/regress0/arr1.smt b/test/regress/regress0/arr1.smt deleted file mode 100644 index 55ca99601..000000000 --- a/test/regress/regress0/arr1.smt +++ /dev/null @@ -1,7 +0,0 @@ -(benchmark simple_arr - :logic QF_AX - :status unsat - :extrafuns ((a Array)) - :extrafuns ((i1 Index) (i2 Index)) - :formula (not (implies (= i1 i2) (= (select a i1) (select a i2)))) -) |