From 384f17e32ec7c1bb5cb81c52ba97f846dd8e5d39 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 5 Oct 2017 17:09:18 +0200
Subject: [PATCH] Workaround for jit and sylvan tests on travis

---
 travis/build-helper.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index 7d722dc99..04c2dc52e 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -50,7 +50,13 @@ run() {
     # Test all
     travis_fold start test_all
     cd build
-    ctest test --output-on-failure
+    # Hack to avoid memout problem with jit and sylvan
+    # 1. Run other tests without builder tests
+    ctest test --output-on-failure -E run-test-builder
+    # 2. Run builder tests without sylvan tests
+    ./bin/test-builder --gtest_filter=-"DdJaniModelBuilderTest_Sylvan.*"
+    # 3. Just run sylvan tests
+    ./bin/test-builder --gtest_filter="DdJaniModelBuilderTest_Sylvan.*"
     travis_fold end test_all
     ;;