diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/regress/regress0/arrays/bug272.minimized.smt (renamed from test/regress/regress0/arrays/unsound1.minimized.smt) | 0 | ||||
-rw-r--r-- | test/regress/regress0/arrays/bug272.smt (renamed from test/regress/regress0/arrays/unsound1.smt) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/test/regress/regress0/arrays/unsound1.minimized.smt b/test/regress/regress0/arrays/bug272.minimized.smt index 360740310..360740310 100644 --- a/test/regress/regress0/arrays/unsound1.minimized.smt +++ b/test/regress/regress0/arrays/bug272.minimized.smt diff --git a/test/regress/regress0/arrays/unsound1.smt b/test/regress/regress0/arrays/bug272.smt index c7e779acd..c7e779acd 100644 --- a/test/regress/regress0/arrays/unsound1.smt +++ b/test/regress/regress0/arrays/bug272.smt |