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 | |
| parent | 82f4d5bd67f70a561b0f6357f6d6b80c2fcd7b64 (diff) | |
Fix file permissions
Diffstat (limited to 'test')
| -rw-r--r--[-rwxr-xr-x] | test/regress/regress0/fmf/bug0909.smt2 | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | test/regress/regress0/fmf/fc-pigeonhole19.smt2 | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | test/regress/regress0/fmf/fc-simple.smt2 | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | test/regress/regress0/fmf/fc-unsat-pent.smt2 | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | test/regress/regress0/fmf/fc-unsat-tot-2.smt2 | 0 | ||||
| -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 | ||||
| -rw-r--r--[-rwxr-xr-x] | test/regress/regress0/rewriterules/read5.smt2 | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | test/regress/regress0/uf/mkpidgeon | 0 |
9 files changed, 0 insertions, 0 deletions
diff --git a/test/regress/regress0/fmf/bug0909.smt2 b/test/regress/regress0/fmf/bug0909.smt2 index 9577e8f57..9577e8f57 100755..100644 --- a/test/regress/regress0/fmf/bug0909.smt2 +++ b/test/regress/regress0/fmf/bug0909.smt2 diff --git a/test/regress/regress0/fmf/fc-pigeonhole19.smt2 b/test/regress/regress0/fmf/fc-pigeonhole19.smt2 index 15c36682c..15c36682c 100755..100644 --- a/test/regress/regress0/fmf/fc-pigeonhole19.smt2 +++ b/test/regress/regress0/fmf/fc-pigeonhole19.smt2 diff --git a/test/regress/regress0/fmf/fc-simple.smt2 b/test/regress/regress0/fmf/fc-simple.smt2 index d1fd2301c..d1fd2301c 100755..100644 --- a/test/regress/regress0/fmf/fc-simple.smt2 +++ b/test/regress/regress0/fmf/fc-simple.smt2 diff --git a/test/regress/regress0/fmf/fc-unsat-pent.smt2 b/test/regress/regress0/fmf/fc-unsat-pent.smt2 index f1721cb04..f1721cb04 100755..100644 --- a/test/regress/regress0/fmf/fc-unsat-pent.smt2 +++ b/test/regress/regress0/fmf/fc-unsat-pent.smt2 diff --git a/test/regress/regress0/fmf/fc-unsat-tot-2.smt2 b/test/regress/regress0/fmf/fc-unsat-tot-2.smt2 index d946974ed..d946974ed 100755..100644 --- a/test/regress/regress0/fmf/fc-unsat-tot-2.smt2 +++ b/test/regress/regress0/fmf/fc-unsat-tot-2.smt2 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 diff --git a/test/regress/regress0/rewriterules/read5.smt2 b/test/regress/regress0/rewriterules/read5.smt2 index e66df7c7e..e66df7c7e 100755..100644 --- a/test/regress/regress0/rewriterules/read5.smt2 +++ b/test/regress/regress0/rewriterules/read5.smt2 diff --git a/test/regress/regress0/uf/mkpidgeon b/test/regress/regress0/uf/mkpidgeon index 6852145ac..6852145ac 100755..100644 --- a/test/regress/regress0/uf/mkpidgeon +++ b/test/regress/regress0/uf/mkpidgeon |