Project

General

Profile

Actions

Bug #8003

closed

Exception while visualizing error trace

Added by Pavel Andrianov about 7 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Urgent
Category:
Tasks generation
Target version:
-
Start date:
02/27/2017
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

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

Actions #1

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.

Actions #2

Updated by Evgeny Novikov about 7 years ago

  • Status changed from New to Closed

I fixed this in 20383e2 to master.

Actions

Also available in: Atom PDF