From b869dca69a9648ed34abc01b85dc7c678665cbc4 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Mon, 18 Mar 2019 14:28:14 +0100
Subject: [PATCH] fix horrible performance bug: caching AND flushing at the
 same time (worst of both worlds)

---
 .../st/train/jastadd/RelASTIncrementalBenchmarkScenario.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/trainbenchmark/trainbenchmark-tool-jastadd-relast-incremental/src/main/java/de/tudresden/inf/st/train/jastadd/RelASTIncrementalBenchmarkScenario.java b/trainbenchmark/trainbenchmark-tool-jastadd-relast-incremental/src/main/java/de/tudresden/inf/st/train/jastadd/RelASTIncrementalBenchmarkScenario.java
index b7535405f..b98bd30a6 100644
--- a/trainbenchmark/trainbenchmark-tool-jastadd-relast-incremental/src/main/java/de/tudresden/inf/st/train/jastadd/RelASTIncrementalBenchmarkScenario.java
+++ b/trainbenchmark/trainbenchmark-tool-jastadd-relast-incremental/src/main/java/de/tudresden/inf/st/train/jastadd/RelASTIncrementalBenchmarkScenario.java
@@ -6,7 +6,7 @@ public class RelASTIncrementalBenchmarkScenario extends
   JastaddAbstractBenchmarkScenario<RelASTIncrementalBenchmarkConfig> {
 
   public RelASTIncrementalBenchmarkScenario(final RelASTIncrementalBenchmarkConfig bc) throws Exception {
-    super(bc, true);
+    super(bc, false);
   }
 
 }
-- 
GitLab