Project

General

Profile

Bug #8690

LKVOG fails at solving tests

Added by Ilja Zakharov over 2 years ago. Updated about 2 years ago.

Status:
Closed
Priority:
Immediate
Category:
Program fragments generation
Target version:
Start date:
01/26/2018
Due date:
% Done:

0%

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

Blocks Klever - Feature #8084: Add marks for testing and validation setsClosed04/18/2017

Actions

History

#1

Updated by Alexey Polushkin over 2 years ago

The first problem is resolved in branch 'fix_lkvog_problem'

#2

Updated by Alexey Polushkin over 2 years ago

  • Status changed from New to Resolved

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

#3

Updated by Ilja Zakharov over 2 years ago

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

Updated by Evgeny Novikov over 2 years ago

  • Status changed from Resolved to Closed

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

#5

Updated by Evgeny Novikov about 2 years ago

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

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.

#6

Updated by Alexey Polushkin about 2 years ago

  • Status changed from Open to Resolved

Resolved in branch 'fix_tests_lkvog'

#7

Updated by Evgeny Novikov about 2 years ago

  • Status changed from Resolved to Closed

Now it works for all preset jobs, so, I merged the branch to master in 3ed80a8a.

Also available in: Atom PDF