Project

General

Profile

Actions

Bug #7910

closed

Exception while vizualizing error trace

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

Status:
Rejected
Priority:
Immediate
Assignee:
-
Category:
Tasks generation
Target version:
-
Start date:
01/25/2017
Due date:
% Done:

0%

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

Description

Traceback (most recent call last): File "/home/alpha/git/klever/core/core/components.py", line 116, in run self.main() File "/home/alpha/git/klever/core/core/utils.py", line 56, in callbacks_caller ret = attr(*args, **kwargs) File "/home/alpha/git/klever/core/core/vtg/rsb.py", line 44, in generate_verification_tasks self.decide_verification_task() File "/home/alpha/git/klever/core/core/utils.py", line 56, in callbacks_caller ret = attr(*args, **kwargs) File "/home/alpha/git/klever/core/core/vtg/rsb.py", line 317, in decide_verification_task self.process_single_verdict(decision_results, verification_report_id) File "/home/alpha/git/klever/core/core/utils.py", line 56, in callbacks_caller ret = attr(*args, **kwargs) File "/home/alpha/git/klever/core/core/vtg/rsb.py", line 381, in process_single_verdict et = import_error_trace(self.logger, witnesses[i]) File "/home/alpha/git/klever/core/core/vtg/et/__init__.py", line 38, in import_error_trace envmodel_simplifications(logger, trace) File "/home/alpha/git/klever/core/core/vtg/et/envmodel.py", line 24, in envmodel_simplifications _remove_control_func_aux_code(data, error_trace) File "/home/alpha/git/klever/core/core/vtg/et/envmodel.py", line 201, in _remove_control_func_aux_code if_enter_function(edge, cf_stack, data) File "/home/alpha/git/klever/core/core/vtg/et/envmodel.py", line 177, in if_enter_function error_trace.remove_edge_and_target_node(e) File "/home/alpha/git/klever/core/core/vtg/et/error_trace.py", line 209, in remove_edge_and_target_node raise ValueError('Cannot delete edge with warning: {!r}'.format(edge['source'])) ValueError: Cannot delete edge with warning: 'list_add(& ino->expiring, & sbi->expiring_list);'


Files

Actions #1

Updated by Evgeny Novikov about 7 years ago

  • Status changed from New to Feedback
  • Assignee set to Evgeny Novikov
  • Priority changed from Normal to Immediate

I didn't observe this exception on the latest commit from master.

Actions #2

Updated by Evgeny Novikov about 7 years ago

  • Status changed from Feedback to Rejected
  • Assignee deleted (Evgeny Novikov)

This is due to a bug in CPAchecker. Update it and will be happy.

Actions

Also available in: Atom PDF