diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-07-29 16:40:45 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-07-29 16:40:45 +0200 |
commit | 18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c (patch) | |
tree | 067a74a598d4bf72c52b9788b200c962278f89b1 /Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org | |
parent | Clean up MODELS20 files (diff) | |
download | VIATRA-Generator-18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c.tar.gz VIATRA-Generator-18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c.tar.zst VIATRA-Generator-18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c.zip |
Fix time measurement
Diffstat (limited to 'Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org')
-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 | } |