Bug #7910
closedException while vizualizing error trace
0%
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
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.
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.