projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62e9dc3) | patch
Marking regression test files as non-executable.
authorTim King <taking@google.com>
Wed, 4 Jan 2017 21:36:30 +0000 (13:36 -0800)
committerTim King <taking@google.com>
Wed, 4 Jan 2017 21:36:30 +0000 (13:36 -0800)
commit0beaa6fbb218328ade97d1f3c5b40fde7aa6d3b5
tree07e86bb688ff59d83ac226b99a266af72090dc62tree
parent62e9dc362cb890590b2675cbe800f9e3e58f52aecommit | diff
Marking regression test files as non-executable.
12 files changed:
test/regress/regress0/fmf/dt-proper-model.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/fmf/forall_unit_data.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/fmf/forall_unit_data2.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/fmf/sc_bad_model_1221.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/fmf/tail_rec.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/quantifiers/anti-sk-simp.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/sep/crash1220.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/sep/nspatial-simp.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/sep/wand-simp-sat.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/sep/wand-simp-sat2.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress0/sep/wand-simp-unsat.smt2 [changed mode: 0755->0644] blob | history
test/regress/regress1/sep/sep-simp-unc.smt2 [changed mode: 0755->0644] blob | history