clear evaluator cache

Author: ckrause

src/evaluator.cpp

@@ -148,3 +148,5 @@ bool Evaluator::supportsIncEval(const Program &p) {
   inc_evaluator.reset();
   return result;
 }
+
+void Evaluator::clearCaches() { interpreter.clearCaches(); }

src/include/evaluator.hpp

@@ -36,6 +36,8 @@ class Evaluator {
 
   bool supportsIncEval(const Program &p);
 
+  void clearCaches();
+
  private:
   const Settings &settings;
   Interpreter interpreter;

src/minimizer.cpp

@@ -11,6 +11,7 @@
 
 bool Minimizer::minimize(Program& p, size_t num_terms) const {
   Log::get().debug("Minimizing program");
+  evaluator.clearCaches();
 
   // calculate target sequence
   Sequence target_sequence;