diff options
| author | Clark Barrett <clarkbarrett@google.com> | 2015-04-21 14:30:51 -0700 |
|---|---|---|
| committer | Clark Barrett <clarkbarrett@google.com> | 2015-04-21 14:30:51 -0700 |
| commit | 22601bce9648a8e784527e4e5d176f634d234797 (patch) | |
| tree | a31962a3e1f6c01cca6e110b3b7cc9951dfc0c63 /test/regress/regress0/quantifiers | |
| parent | 82f4d5bd67f70a561b0f6357f6d6b80c2fcd7b64 (diff) | |
Fix file permissions
Diffstat (limited to 'test/regress/regress0/quantifiers')
| -rw-r--r--[-rwxr-xr-x] | test/regress/regress0/quantifiers/ARI176e1.smt2 | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | test/regress/regress0/quantifiers/simp-typ-test.smt2 | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/test/regress/regress0/quantifiers/ARI176e1.smt2 b/test/regress/regress0/quantifiers/ARI176e1.smt2 index dbeb96f29..dbeb96f29 100755..100644 --- a/test/regress/regress0/quantifiers/ARI176e1.smt2 +++ b/test/regress/regress0/quantifiers/ARI176e1.smt2 diff --git a/test/regress/regress0/quantifiers/simp-typ-test.smt2 b/test/regress/regress0/quantifiers/simp-typ-test.smt2 index 366559b9d..366559b9d 100755..100644 --- a/test/regress/regress0/quantifiers/simp-typ-test.smt2 +++ b/test/regress/regress0/quantifiers/simp-typ-test.smt2 |