diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-07-12 22:42:15 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-07-12 22:42:15 +0000 |
| commit | 95983dc012aa455b856f320ddcd4cfaf7c6a4582 (patch) | |
| tree | 5bb1d7ef5177f524925bba2f23966afb1108c385 /test | |
| parent | 3a58c99a2527f2adc83a17292c869322cee8da9f (diff) | |
fix bug 272, array unsoundness, and some array cleanup
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 |