From cab0931cc1c8232d62095100cdf731a807f4658c Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 27 Feb 2017 16:06:32 +0100 Subject: [PATCH] Report failure to the trace. --- .../src/jetbrains/mps/logic/reactor/core/Controller.kt | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt index 06348dbe..806aa48c 100644 --- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt +++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt @@ -126,10 +126,13 @@ class Controller( frameStack.reset(savedFrame) } - if (failure == null) { - // normal termination: skip the other alternatives - break + if (failure != null) { + trace.failure(failure) + continue } + + // normal termination: skip the other alternatives + break } if (failure != null) {