/storage/repos/sv-witnesses/lint/witnesslinter.py --ignoreSelfLoops --witness /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/results-verified/uautomizer-local.2021-09-22_14-18-52.files/SV-COMP21_unreach-call/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml/witness.graphml /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.i


--------------------------------------------------------------------------------


[Errno 2] No such file or directory: '/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/results-verified/uautomizer-local.2021-09-22_14-18-52.files/SV-COMP21_unreach-call/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml/witness.graphml'

witnesslint finished with exit code 5