From: Tim King Date: Wed, 4 Jan 2017 21:36:30 +0000 (-0800) Subject: Marking regression test files as non-executable. X-Git-Tag: cvc5-1.0.0~5925 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0beaa6fbb218328ade97d1f3c5b40fde7aa6d3b5;p=cvc5.git Marking regression test files as non-executable. --- diff --git a/test/regress/regress0/fmf/dt-proper-model.smt2 b/test/regress/regress0/fmf/dt-proper-model.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/fmf/forall_unit_data.smt2 b/test/regress/regress0/fmf/forall_unit_data.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/fmf/forall_unit_data2.smt2 b/test/regress/regress0/fmf/forall_unit_data2.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/fmf/sc_bad_model_1221.smt2 b/test/regress/regress0/fmf/sc_bad_model_1221.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/fmf/tail_rec.smt2 b/test/regress/regress0/fmf/tail_rec.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/quantifiers/anti-sk-simp.smt2 b/test/regress/regress0/quantifiers/anti-sk-simp.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/sep/crash1220.smt2 b/test/regress/regress0/sep/crash1220.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/sep/nspatial-simp.smt2 b/test/regress/regress0/sep/nspatial-simp.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/sep/wand-simp-sat.smt2 b/test/regress/regress0/sep/wand-simp-sat.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/sep/wand-simp-sat2.smt2 b/test/regress/regress0/sep/wand-simp-sat2.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/sep/wand-simp-unsat.smt2 b/test/regress/regress0/sep/wand-simp-unsat.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress1/sep/sep-simp-unc.smt2 b/test/regress/regress1/sep/sep-simp-unc.smt2 old mode 100755 new mode 100644