From 18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 29 Jul 2020 16:40:45 +0200 Subject: Fix time measurement --- .../src/org/eclipse/viatra/dse/base/DesignSpaceManager.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/base/DesignSpaceManager.java') 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 { } catch (InvocationTargetException e) { throw new RuntimeException(e); } + backtrackingTime += System.nanoTime() - start; updateActivationCodes(); Object lastActivationId = trajectory.getLastActivationId(); @@ -382,7 +383,6 @@ public class DesignSpaceManager implements IBacktrackListener { } logger.debug("Backtrack."); - backtrackingTime += System.nanoTime() - start; return true; } -- cgit v1.2.3-70-g09d2