From 37e0385e6939a7c637163abc6539c4f9a1f7ae7d Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 15 Dec 2017 11:05:14 +0100
Subject: [PATCH] Remove hack in travis tests

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

diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index 04c2dc52e..7d722dc99 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -50,13 +50,7 @@ run() {
     # Test all
     travis_fold start test_all
     cd build
-    # 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.*"
+    ctest test --output-on-failure
     travis_fold end test_all
     ;;