diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse')
-rw-r--r-- | Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/base/DesignSpaceManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/base/DesignSpaceManager.java b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/base/DesignSpaceManager.java index 7e7a6e51..133ef948 100644 --- a/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/base/DesignSpaceManager.java +++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/base/DesignSpaceManager.java | |||
@@ -369,6 +369,7 @@ public class DesignSpaceManager implements IBacktrackListener { | |||
369 | } catch (InvocationTargetException e) { | 369 | } catch (InvocationTargetException e) { |
370 | throw new RuntimeException(e); | 370 | throw new RuntimeException(e); |
371 | } | 371 | } |
372 | backtrackingTime += System.nanoTime() - start; | ||
372 | updateActivationCodes(); | 373 | updateActivationCodes(); |
373 | 374 | ||
374 | Object lastActivationId = trajectory.getLastActivationId(); | 375 | Object lastActivationId = trajectory.getLastActivationId(); |
@@ -382,7 +383,6 @@ public class DesignSpaceManager implements IBacktrackListener { | |||
382 | } | 383 | } |
383 | 384 | ||
384 | logger.debug("Backtrack."); | 385 | logger.debug("Backtrack."); |
385 | backtrackingTime += System.nanoTime() - start; | ||
386 | 386 | ||
387 | return true; | 387 | return true; |
388 | } | 388 | } |