From 1f4264c8c899bd2a08d2b381e9c2eab13436e291 Mon Sep 17 00:00:00 2001 From: Robert Haschke Date: Fri, 16 Feb 2018 15:13:42 +0100 Subject: [PATCH] PropagatingEitherWayPrivate: count failures in both directions --- core/src/stage.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/core/src/stage.cpp b/core/src/stage.cpp index ac977f0f..ca8c338b 100644 --- a/core/src/stage.cpp +++ b/core/src/stage.cpp @@ -308,17 +308,17 @@ bool PropagatingEitherWayPrivate::compute() const InterfaceState& state = fetchStartState(); // enforce property initialization from INTERFACE properties_.performInitFrom(Stage::INTERFACE, state.properties(), true); - if (me->computeForward(state)) + if (countFailures(me->computeForward(state))) result |= true; } if ((dir & PropagatingEitherWay::BACKWARD) && hasEndState()) { const InterfaceState& state = fetchEndState(); // enforce property initialization from INTERFACE properties_.performInitFrom(Stage::INTERFACE, state.properties(), true); - if (me->computeBackward(state)) + if (countFailures(me->computeBackward(state))) result |= true; } - return countFailures(result); + return result; }