Klever

When I checked tests (safe and with wrong flags) intended for linux:alloc:irq when using local source trees was disabled I got the following error:

In file included from include/linux/pm_qos.h:9:0,
                 from include/linux/netdevice.h:28,
                 from ../vtg/ext-modules/safe.ko/linux:alloc:irq/weaver/.tmp_safe.c.aux:47:
include/linux/miscdevice.h:3:25: fatal error: linux/major.h: No such file or directory
compilation terminated.
Aspectator failed at '2' stage.
Raise exception:
Traceback (most recent call last):
  File "/home/novikov/work/klever/core/core/components.py", line 118, in run
    self.main()
  File "/home/novikov/work/klever/core/core/utils.py", line 95, in callbacks_caller
    ret = attr(*args, **kwargs)
  File "/home/novikov/work/klever/core/core/vtg/weaver/__init__.py", line 114, in weave
    cwd=os.path.relpath(os.path.join(self.conf['main working directory'], cc_full_desc['cwd'])))
  File "/home/novikov/work/klever/core/core/utils.py", line 276, in execute
    raise CommandError('"{0}" failed'.format(cmd))
core.utils.CommandError: "cif" failed

Likely this issue happens because of LKBCE extracts a Linux kernel source tree and source files for verification objects in the same directory.
I hope that there will be no such error when we switch to a new approach to collect a build commands base (#8145).