./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 write+lock --witness.yaml.unassume /mnt/thread-witnesses/replication/bench/thread-witnesses/mt/../../../results/mt/ourtool.2023-01-31_08-56-44.files/mine/ypbind_comb.yml/witness.yml --witness.yaml.validate /mnt/thread-witnesses/replication/bench/thread-witnesses/mt/../../../results/mt/ourtool.2023-01-31_08-56-44.files/write+lock/ypbind_comb.yml/witness.yml /mnt/thread-witnesses/replication/bench/pthread/ypbind_comb.c


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


[Error][Imprecise][Unsound] Function definition missing for xdr_vector
[Error][Analyzer] About to crash!

vars = 0    evals = 0    narrow_reuses = 0

Timings:
                                  cputime   walltime   allocated   count
Default                            0.094s     0.094s     70.98MB      1×
  preprocess                         0.025s     0.024s      0.01MB      1×
  FrontC                             0.026s     0.026s     22.43MB      4×
  Cabs2cil                           0.021s     0.021s     23.80MB      4×
  mergeCIL                           0.006s     0.006s      5.51MB      1×
  analysis                           0.009s     0.009s      9.28MB      1×
    createCFG                          0.005s     0.005s      5.71MB      1×
      handle                             0.003s     0.003s      1.86MB     76×
      iter_connect                       0.003s     0.003s      3.27MB     76×
        computeSCCs                        0.001s     0.001s      2.40MB     77×

Fatal error: exception Failure("Yaml_unix.of_file: /mnt/thread-witnesses/replication/bench/thread-witnesses/mt/../../../results/mt/ourtool.2023-01-31_08-56-44.files/mine/ypbind_comb.yml/witness.yml: No such file or directory")
