Klever

http://ldvstore:8998/reports/unknown/77754/

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 44, 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 316, 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 379, in process_single_verdict et = import_error_trace(self.logger, witnesses⁰) File "/home/debian/klever/core/core/vtg/et/__init__.py", line 32, in import_error_trace generic_simplifications(logger, trace) File "/home/debian/klever/core/core/vtg/et/tmpvars.py", line 22, in generic_simplifications _basic_simplification(logger, trace) File "/home/debian/klever/core/core/vtg/et/tmpvars.py", line 33, in _basic_simplification error_trace.remove_edge_and_target_node(edge) File "/home/debian/klever/core/core/vtg/et/error_trace.py", line 211, in remove_edge_and_target_node raise ValueError('Is not allowed to delete violation nodes') ValueError: Is not allowed to delete violation nodes