Project

General

Profile

Actions

Bug #7994

closed

Report about incorrect settings format rather than some strange issue

Added by Evgeny Novikov about 7 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
High
Category:
Program fragments generation
Target version:
-
Start date:
02/22/2017
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

For the attached verification job I got the following unpleasant exception meaning that not all cases are gracefully processed:

[AVODG] Raise exception:
Traceback (most recent call last):
  File "/home/novikov/work/klever/core/core/components.py", line 116, in run
    self.main()
  File "/home/novikov/work/klever/core/core/utils.py", line 56, in callbacks_caller
    ret = attr(*args, **kwargs)
  File "/home/novikov/work/klever/core/core/utils.py", line 54, in callbacks_caller
    ret = attr(*args[1:], **kwargs)
  File "/home/novikov/work/klever/core/core/lkvog/__init__.py", line 184, in generate_all_verification_obj_descs
    clusters = strategy.divide(kernel_module)
  File "/home/novikov/work/klever/core/core/lkvog/strategies/manual.py", line 67, in divide
    else 'ext-modules/' + module_name)
ValueError: 'drivers/net/tg3.o' is not in list

Actually this turns out to be the issue in settings incorrectly specified.


Files

job.json (1.05 KB) job.json Evgeny Novikov, 02/22/2017 03:30 PM
Actions #1

Updated by Alexey Polushkin almost 7 years ago

  • Status changed from New to Resolved

Resolved in branch 'show_manual_error'

Actions #2

Updated by Ilja Zakharov over 6 years ago

  • Status changed from Resolved to Verified

Merged in 9c4b72e01.

Actions #3

Updated by Ilja Zakharov over 6 years ago

  • Status changed from Verified to Closed
Actions

Also available in: Atom PDF