./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/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/mine/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.117s     0.117s     70.98MB      1×
  preprocess                         0.032s     0.031s      0.01MB      1×
  FrontC                             0.032s     0.033s     22.43MB      4×
  Cabs2cil                           0.025s     0.025s     23.80MB      4×
  mergeCIL                           0.008s     0.008s      5.51MB      1×
  analysis                           0.011s     0.011s      9.28MB      1×
    createCFG                          0.007s     0.007s      5.71MB      1×
      handle                             0.004s     0.004s      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")
