diff options
author | Tim King <taking@google.com> | 2017-01-04 13:36:30 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2017-01-04 13:36:30 -0800 |
commit | 0beaa6fbb218328ade97d1f3c5b40fde7aa6d3b5 (patch) | |
tree | 07e86bb688ff59d83ac226b99a266af72090dc62 | |
parent | 62e9dc362cb890590b2675cbe800f9e3e58f52ae (diff) |
Marking regression test files as non-executable.
-rw-r--r--[-rwxr-xr-x] | test/regress/regress0/fmf/dt-proper-model.smt2 | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | test/regress/regress0/fmf/forall_unit_data.smt2 | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | test/regress/regress0/fmf/forall_unit_data2.smt2 | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | test/regress/regress0/fmf/sc_bad_model_1221.smt2 | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | test/regress/regress0/fmf/tail_rec.smt2 | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | test/regress/regress0/quantifiers/anti-sk-simp.smt2 | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | test/regress/regress0/sep/crash1220.smt2 | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | test/regress/regress0/sep/nspatial-simp.smt2 | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | test/regress/regress0/sep/wand-simp-sat.smt2 | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | test/regress/regress0/sep/wand-simp-sat2.smt2 | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | test/regress/regress0/sep/wand-simp-unsat.smt2 | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | test/regress/regress1/sep/sep-simp-unc.smt2 | 0 |
12 files changed, 0 insertions, 0 deletions
diff --git a/test/regress/regress0/fmf/dt-proper-model.smt2 b/test/regress/regress0/fmf/dt-proper-model.smt2 index 60a0b6377..60a0b6377 100755..100644 --- a/test/regress/regress0/fmf/dt-proper-model.smt2 +++ b/test/regress/regress0/fmf/dt-proper-model.smt2 diff --git a/test/regress/regress0/fmf/forall_unit_data.smt2 b/test/regress/regress0/fmf/forall_unit_data.smt2 index 26ef66522..26ef66522 100755..100644 --- a/test/regress/regress0/fmf/forall_unit_data.smt2 +++ b/test/regress/regress0/fmf/forall_unit_data.smt2 diff --git a/test/regress/regress0/fmf/forall_unit_data2.smt2 b/test/regress/regress0/fmf/forall_unit_data2.smt2 index 64847d6d2..64847d6d2 100755..100644 --- a/test/regress/regress0/fmf/forall_unit_data2.smt2 +++ b/test/regress/regress0/fmf/forall_unit_data2.smt2 diff --git a/test/regress/regress0/fmf/sc_bad_model_1221.smt2 b/test/regress/regress0/fmf/sc_bad_model_1221.smt2 index a083e418d..a083e418d 100755..100644 --- a/test/regress/regress0/fmf/sc_bad_model_1221.smt2 +++ b/test/regress/regress0/fmf/sc_bad_model_1221.smt2 diff --git a/test/regress/regress0/fmf/tail_rec.smt2 b/test/regress/regress0/fmf/tail_rec.smt2 index 87b2d53a6..87b2d53a6 100755..100644 --- a/test/regress/regress0/fmf/tail_rec.smt2 +++ b/test/regress/regress0/fmf/tail_rec.smt2 diff --git a/test/regress/regress0/quantifiers/anti-sk-simp.smt2 b/test/regress/regress0/quantifiers/anti-sk-simp.smt2 index ba4f9cbb9..ba4f9cbb9 100755..100644 --- a/test/regress/regress0/quantifiers/anti-sk-simp.smt2 +++ b/test/regress/regress0/quantifiers/anti-sk-simp.smt2 diff --git a/test/regress/regress0/sep/crash1220.smt2 b/test/regress/regress0/sep/crash1220.smt2 index f68434f33..f68434f33 100755..100644 --- a/test/regress/regress0/sep/crash1220.smt2 +++ b/test/regress/regress0/sep/crash1220.smt2 diff --git a/test/regress/regress0/sep/nspatial-simp.smt2 b/test/regress/regress0/sep/nspatial-simp.smt2 index c807757d1..c807757d1 100755..100644 --- a/test/regress/regress0/sep/nspatial-simp.smt2 +++ b/test/regress/regress0/sep/nspatial-simp.smt2 diff --git a/test/regress/regress0/sep/wand-simp-sat.smt2 b/test/regress/regress0/sep/wand-simp-sat.smt2 index 120683f74..120683f74 100755..100644 --- a/test/regress/regress0/sep/wand-simp-sat.smt2 +++ b/test/regress/regress0/sep/wand-simp-sat.smt2 diff --git a/test/regress/regress0/sep/wand-simp-sat2.smt2 b/test/regress/regress0/sep/wand-simp-sat2.smt2 index c684d16ad..c684d16ad 100755..100644 --- a/test/regress/regress0/sep/wand-simp-sat2.smt2 +++ b/test/regress/regress0/sep/wand-simp-sat2.smt2 diff --git a/test/regress/regress0/sep/wand-simp-unsat.smt2 b/test/regress/regress0/sep/wand-simp-unsat.smt2 index 850be7b97..850be7b97 100755..100644 --- a/test/regress/regress0/sep/wand-simp-unsat.smt2 +++ b/test/regress/regress0/sep/wand-simp-unsat.smt2 diff --git a/test/regress/regress1/sep/sep-simp-unc.smt2 b/test/regress/regress1/sep/sep-simp-unc.smt2 index cedbb53eb..cedbb53eb 100755..100644 --- a/test/regress/regress1/sep/sep-simp-unc.smt2 +++ b/test/regress/regress1/sep/sep-simp-unc.smt2 |