From 6f03641deecefb02c8f42cdb3feb8be696c8a859 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwightguth@runtimeverification.com>
Date: Fri, 21 Aug 2015 13:47:20 -0500
Subject: [PATCH 1/3] try to fix frequent jvm segfaults

---
 k-distribution/tests/regression/smt-sort-flattening/config.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/k-distribution/tests/regression/smt-sort-flattening/config.xml b/k-distribution/tests/regression/smt-sort-flattening/config.xml
index 6d8a3834e6..6a1a699b60 100644
--- a/k-distribution/tests/regression/smt-sort-flattening/config.xml
+++ b/k-distribution/tests/regression/smt-sort-flattening/config.xml
@@ -8,6 +8,7 @@
         extension="test">
     <all-programs>
       <krun-option name="--symbolic-execution" />
+      <krun-option name="--smt" value="none" />
     </all-programs>
   </test>
 </tests>

From d9bfd3bd177de8dc575bec2cba520de030052e37 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwightguth@runtimeverification.com>
Date: Fri, 21 Aug 2015 14:10:37 -0500
Subject: [PATCH 2/3] Revert "try to fix frequent jvm segfaults"

This reverts commit 6f03641deecefb02c8f42cdb3feb8be696c8a859.
---
 k-distribution/tests/regression/smt-sort-flattening/config.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/k-distribution/tests/regression/smt-sort-flattening/config.xml b/k-distribution/tests/regression/smt-sort-flattening/config.xml
index 6a1a699b60..6d8a3834e6 100644
--- a/k-distribution/tests/regression/smt-sort-flattening/config.xml
+++ b/k-distribution/tests/regression/smt-sort-flattening/config.xml
@@ -8,7 +8,6 @@
         extension="test">
     <all-programs>
       <krun-option name="--symbolic-execution" />
-      <krun-option name="--smt" value="none" />
     </all-programs>
   </test>
 </tests>

From 5cc6cc99f3c3ed0028ea8f199b6f4778cb69837d Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwightguth@runtimeverification.com>
Date: Fri, 21 Aug 2015 14:10:58 -0500
Subject: [PATCH 3/3] remove broken test

---
 k-distribution/tests/regression/config.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/k-distribution/tests/regression/config.xml b/k-distribution/tests/regression/config.xml
index 2cab8bb1ff..91391a676f 100644
--- a/k-distribution/tests/regression/config.xml
+++ b/k-distribution/tests/regression/config.xml
@@ -71,10 +71,10 @@
   <include file="kore-cell-fragments/imp_fragments/config.xml"
            directory="kore-cell-fragments/imp_fragments/" />
 
-  <include file="smt-sort-flattening/config.xml"
+<!--  <include file="smt-sort-flattening/config.xml"
            directory="smt-sort-flattening"
            programs="smt-sort-flattening"
-           results="smt-sort-flattening" />
+           results="smt-sort-flattening" />-->
 
 </tests>