Bug #8003
closedException while visualizing error trace
0%
Description
Raise exception:
Traceback (most recent call last):
File "/home/debian/klever/core/core/components.py", line 116, in run
self.main()
File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/debian/klever/core/core/vtg/rsb.py", line 46, in generate_verification_tasks
self.decide_verification_task()
File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/debian/klever/core/core/vtg/rsb.py", line 318, in decide_verification_task
self.process_single_verdict(decision_results, verification_report_id)
File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/debian/klever/core/core/vtg/rsb.py", line 380, in process_single_verdict
et = import_error_trace(self.logger, witness)
File "/home/debian/klever/core/core/vtg/et/__init__.py", line 35, in import_error_trace
trace.find_violation_path()
File "/home/debian/klever/core/core/vtg/et/error_trace.py", line 257, in find_violation_path
self._find_violation_path()
File "/home/debian/klever/core/core/vtg/et/error_trace.py", line 271, in _find_violation_path
edge = next(iterator)
File "/home/debian/klever/core/core/vtg/et/error_trace.py", line 183, in trace_iterator
raise StopIteration
StopIteration
witness is attached.
Files
Updated by Evgeny Novikov about 7 years ago
- Assignee set to Evgeny Novikov
- Priority changed from Normal to Urgent
I will analyze the issue and fix it if required.
Updated by Evgeny Novikov about 7 years ago
- Status changed from New to Closed
I fixed this in 20383e2 to master.