Bug #8690: LKVOG fails at solving tests - Klever - Open-Source Projects

Actions

Copy link

Bug #8690

closed

LKVOG fails at solving tests

Added by Ilja Zakharov almost 7 years ago. Updated over 6 years ago.

Status:

Closed

Priority:

Immediate

Assignee:

Alexey Polushkin

Category:

Program fragments generation

Target version:

1.0

Start date:

01/26/2018

Due date:

% Done:

Estimated time:

Detected in build:

svn

Platform:

Published in build:

Description

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

Files

job(18).json (7.98 KB) job(18).json

Ilja Zakharov, 01/26/2018 04:16 PM

Related issues 1 (0 open — 1 closed)

Actions

Copy link

Updated by Alexey Polushkin almost 7 years ago

The first problem is resolved in branch 'fix_lkvog_problem'

Actions

Copy link

Updated by Alexey Polushkin almost 7 years ago

Status changed from New to Resolved

The second problem also has been resolved in branch 'fix_lkvog_problem'

Actions

Copy link

Updated by Ilja Zakharov almost 7 years ago

Blocks Feature #8084: Add marks for testing and validation sets added

Actions

Copy link

Updated by Evgeny Novikov over 6 years ago

Status changed from Resolved to Closed

I merged this branch to master in 6d71b32 as a part of branch clean_dir2.

Actions

Copy link

Updated by Evgeny Novikov over 6 years ago

Status changed from Closed to Open
Priority changed from Urgent to Immediate

The suggested fix resulted in LKVOG stopped producing verification objects for preset jobs "testing common models", "testing rule specs" and "testing verifiers". A new fix should be provided ASAP.

Actions

Copy link