Debugger - Stage 1 (artf511247)
[deliverable/titan.core.git] / core / Runtime.cc
index 087514e831f08a865e3f8ae5ea634abcb7a8de08..27ca3b3b28c021d65d08dec2ca960062654a0d1e 100644 (file)
@@ -2129,6 +2129,12 @@ void TTCN_Runtime::setverdict_internal(verdicttype new_value,
       TTCN_Logger::log_setverdict(new_value, old_verdict, local_verdict);
     else TTCN_Logger::log_setverdict(new_value, old_verdict, local_verdict, reason, reason);
   }
+  if (new_value == FAIL) {
+    ttcn3_debugger.breakpoint_entry(TTCN3_Debugger::SBP_FAIL_VERDICT);
+  }
+  else if (new_value == ERROR) {
+    ttcn3_debugger.breakpoint_entry(TTCN3_Debugger::SBP_ERROR_VERDICT);
+  }
 }
 
 void TTCN_Runtime::set_begin_controlpart_command(const char *new_command)
This page took 0.035754 seconds and 5 git commands to generate.