From 0beaa6fbb218328ade97d1f3c5b40fde7aa6d3b5 Mon Sep 17 00:00:00 2001 From: Tim King Date: Wed, 4 Jan 2017 13:36:30 -0800 Subject: [PATCH] Marking regression test files as non-executable. --- test/regress/regress0/fmf/dt-proper-model.smt2 | 0 test/regress/regress0/fmf/forall_unit_data.smt2 | 0 test/regress/regress0/fmf/forall_unit_data2.smt2 | 0 test/regress/regress0/fmf/sc_bad_model_1221.smt2 | 0 test/regress/regress0/fmf/tail_rec.smt2 | 0 test/regress/regress0/quantifiers/anti-sk-simp.smt2 | 0 test/regress/regress0/sep/crash1220.smt2 | 0 test/regress/regress0/sep/nspatial-simp.smt2 | 0 test/regress/regress0/sep/wand-simp-sat.smt2 | 0 test/regress/regress0/sep/wand-simp-sat2.smt2 | 0 test/regress/regress0/sep/wand-simp-unsat.smt2 | 0 test/regress/regress1/sep/sep-simp-unc.smt2 | 0 12 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 test/regress/regress0/fmf/dt-proper-model.smt2 mode change 100755 => 100644 test/regress/regress0/fmf/forall_unit_data.smt2 mode change 100755 => 100644 test/regress/regress0/fmf/forall_unit_data2.smt2 mode change 100755 => 100644 test/regress/regress0/fmf/sc_bad_model_1221.smt2 mode change 100755 => 100644 test/regress/regress0/fmf/tail_rec.smt2 mode change 100755 => 100644 test/regress/regress0/quantifiers/anti-sk-simp.smt2 mode change 100755 => 100644 test/regress/regress0/sep/crash1220.smt2 mode change 100755 => 100644 test/regress/regress0/sep/nspatial-simp.smt2 mode change 100755 => 100644 test/regress/regress0/sep/wand-simp-sat.smt2 mode change 100755 => 100644 test/regress/regress0/sep/wand-simp-sat2.smt2 mode change 100755 => 100644 test/regress/regress0/sep/wand-simp-unsat.smt2 mode change 100755 => 100644 test/regress/regress1/sep/sep-simp-unc.smt2 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 -- 2.30.2