diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2019-08-14 15:13:40 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-08-14 15:13:40 +0200 |
commit | 45952580a0acd645d032509908d0a82f72bd9c74 (patch) | |
tree | cf2be672cd8eaf0ac64d6e68240fc461522495e1 /lib/harness.py | |
parent | 830705b59483181eb5577173318c2df6255518af (diff) |
harness: remove debug output
Diffstat (limited to 'lib/harness.py')
-rw-r--r-- | lib/harness.py | 3 |
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) |