./goblint --conf conf/bench-yaml-validate.json --enable dbg.timing.enabled --enable witness.invariant.loop-head --enable witness.invariant.after-lock --disable witness.invariant.other --disable witness.invariant.accessed --ana.base.privatization mine --witness.yaml.unassume /mnt/thread-witnesses/replication/bench/thread-witnesses/mt/../../../results/mt-900/ourtool.2023-02-02_12-32-27.files/write+lock/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml/witness.yml --witness.yaml.validate /mnt/thread-witnesses/replication/bench/thread-witnesses/mt/../../../results/mt-900/ourtool.2023-02-02_12-32-27.files/mine/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml/witness.yml --sets exp.architecture 32bit /mnt/thread-witnesses/replication/bench/svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i


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


--sets is deprecated, use --set instead.
[Error][Analyzer] About to crash!

vars = 0    evals = 0    narrow_reuses = 0

Timings:
                                  cputime   walltime   allocated   count
Default                            0.132s     0.132s    110.66MB      1×
  preprocess                         0.028s     0.026s      0.01MB      1×
  FrontC                             0.041s     0.041s     34.16MB      4×
  Cabs2cil                           0.026s     0.026s     38.07MB      4×
  mergeCIL                           0.013s     0.013s     11.38MB      1×
  analysis                           0.015s     0.015s     14.92MB      1×
    createCFG                          0.011s     0.011s     10.95MB      1×
      handle                             0.003s     0.003s      2.15MB    386×
      iter_connect                       0.007s     0.008s      7.25MB    386×
        computeSCCs                        0.003s     0.004s      4.84MB    387×

Fatal error: exception Failure("Yaml_unix.of_file: /mnt/thread-witnesses/replication/bench/thread-witnesses/mt/../../../results/mt-900/ourtool.2023-02-02_12-32-27.files/write+lock/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml/witness.yml: No such file or directory")
