summaryrefslogtreecommitdiff
path: root/lib/harness.py
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2019-08-14 15:13:40 +0200
committerDaniel Friesel <daniel.friesel@uos.de>2019-08-14 15:13:40 +0200
commit45952580a0acd645d032509908d0a82f72bd9c74 (patch)
treecf2be672cd8eaf0ac64d6e68240fc461522495e1 /lib/harness.py
parent830705b59483181eb5577173318c2df6255518af (diff)
harness: remove debug output
Diffstat (limited to 'lib/harness.py')
-rw-r--r--lib/harness.py3
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/harness.py b/lib/harness.py
index cad7b06..020bc72 100644
--- a/lib/harness.py
+++ b/lib/harness.py
@@ -192,12 +192,9 @@ class OnboardTimerHarness(TransitionHarness):
if 'formula' in handler:
parameter_value = handler['formula'].eval(return_value)
- print('append current')
self._append_nondeterministic_parameter_value(log_data_target, handler['parameter'], parameter_value)
- print('append following')
for following_log_data_target in self.traces[self.trace_id]['trace'][(self.current_transition_in_trace * 2 + 1) :]:
self._append_nondeterministic_parameter_value(following_log_data_target, handler['parameter'], parameter_value)
- print('append preceding')
if 'apply_from' in handler and any(map(lambda x: x['name'] == handler['apply_from'], self.traces[self.trace_id]['trace'][: (self.current_transition_in_trace * 2 + 1)])):
for preceding_log_data_target in reversed(self.traces[self.trace_id]['trace'][: (self.current_transition_in_trace * 2)]):
self._append_nondeterministic_parameter_value(preceding_log_data_target, handler['parameter'], parameter_value)