.

2017-07-24 16:27:50 +02:00
parent ec80b339e2
commit 3d4bb80dae
46 changed files with 1388 additions and 158 deletions
@@ -39,6 +39,7 @@ private:
 	std::condition_variable updateCondition;

 	bool enableWepDotFileWriter;
+	bool enableWepProgressionWriter;
 	bool enableEarlyEvaluation;

 // Invariant properties that can be accessed directly.