Klever

I observe LKVOG failures at solving tests. There are two examples of errors that I observe:

At solving EMG tests:

[AVODG1] Raise exception: Traceback (most recent call last): File "/home/debian/klever/core/core/components.py", line 421, in run self.main() File "/home/debian/klever/core/core/components.py", line 328, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/components.py", line 326, in callbacks_caller ret = attr(*args[1:], **kwargs) File "/home/debian/klever/core/core/lkvog/__init__.py", line 287, in generate_all_verification_obj_descs self.generate_verification_obj_desc() File "/home/debian/klever/core/core/components.py", line 328, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/lkvog/__init__.py", line 348, in generate_verification_obj_desc self.verification_obj_desc_file)) FileExistsError: Linux kernel verification object description file "ext-modules/conditions/if-else/safe.ko.json" already exists [ALKBCDP0] Stop since some other component(s) likely failed Raise exception: Traceback (most recent call last): File "/home/debian/klever/core/core/components.py", line 421, in run self.main() File "/home/debian/klever/core/core/components.py", line 328, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/lkvog/__init__.py", line 88, in generate_linux_kernel_verification_objects ('AVODG', self.generate_all_verification_obj_descs)) File "/home/debian/klever/core/core/components.py", line 328, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/components.py", line 564, in launch_subcomponents launch_workers(self.logger, subcomponent_processes) File "/home/debian/klever/core/core/components.py", line 196, in launch_workers p.join(1.0 / len(workers)) File "/home/debian/klever/core/core/components.py", line 328, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/components.py", line 529, in join raise ComponentError('Component "{0}" failed'.format(self.name)) core.components.ComponentError: Component "AVODG1" failed

And at solving the test set for verifiers (see specific job in attachements):

[AVODG1] Raise exception: Traceback (most recent call last): File "/home/debian/klever/core/core/components.py", line 421, in run self.main() File "/home/debian/klever/core/core/components.py", line 328, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/components.py", line 326, in callbacks_caller ret = attr(*args[1:], **kwargs) File "/home/debian/klever/core/core/lkvog/__init__.py", line 287, in generate_all_verification_obj_descs self.generate_verification_obj_desc() File "/home/debian/klever/core/core/components.py", line 328, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/lkvog/__init__.py", line 348, in generate_verification_obj_desc self.verification_obj_desc_file)) FileExistsError: Linux kernel verification object description file "ext-modules/conditions/if-else/safe.ko.json" already exists [ALKBCDP0] Stop since some other component(s) likely failed Raise exception: Traceback (most recent call last): File "/home/debian/klever/core/core/components.py", line 421, in run self.main() File "/home/debian/klever/core/core/components.py", line 328, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/lkvog/__init__.py", line 88, in generate_linux_kernel_verification_objects ('AVODG', self.generate_all_verification_obj_descs)) File "/home/debian/klever/core/core/components.py", line 328, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/components.py", line 564, in launch_subcomponents launch_workers(self.logger, subcomponent_processes) File "/home/debian/klever/core/core/components.py", line 196, in launch_workers p.join(1.0 / len(workers)) File "/home/debian/klever/core/core/components.py", line 328, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/components.py", line 529, in join raise ComponentError('Component "{0}" failed'.format(self.name)) core.components.ComponentError: Component "AVODG1" failed