From 45952580a0acd645d032509908d0a82f72bd9c74 Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Wed, 14 Aug 2019 15:13:40 +0200 Subject: harness: remove debug output --- lib/harness.py | 3 --- 1 file changed, 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) -- cgit v1.2.3