./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_unreach-call/aws_hash_ptr_harness_negated.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_unreach-call/aws_hash_ptr_harness_negated.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8262: Warning: Body of function aws_hash_iter_begin falls-through and cannot find an appropriate return value
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:2337:5-2343:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:3100:5-3100:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:3207:5-3207:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7312:3-7320:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7348:3-7356:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7384:5-7392:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7417:5-7425:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7523:5-7531:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7557:5-7565:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7658:5-7666:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7764:5-7764:79 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7803:5-7803:92 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7809:5-7809:112 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7865:5-7865:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7921:5-7955:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7984:5-7984:87 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:7993:9-7995:21 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8004:5-8032:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8034:5-8037:86 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8054:5-8073:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8076:5-8076:85 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8077:5-8077:117 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8111:9-8111:91 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8128:5-8128:87 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8148:5-8148:87 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8156:5-8168:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8186:9-8188:21 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8210:13-8212:25 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8216:13-8218:25 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8221:5-8223:17 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8233:5-8242:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8258:5-8258:55 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8262:5-8266:91 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8349:9-8360:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8388:5-8388:103 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8410:5-8410:112 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8707:5-8707:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_ptr_harness_negated.i:8781:5-8794:5 with factor 6
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Error][Imprecise][Unsound] Function definition missing for aws_mem_acquire
[Error][Imprecise][Unsound] Function definition missing for aws_mem_release
[Error][Imprecise][Unsound] Function definition missing for aws_array_list_ensure_capacity
[Error][Imprecise][Unsound] Function definition missing for __atomic_exchange_n
[Error][Analyzer] About to crash!

Fatal error: exception Failure("Yaml_unix.of_file: /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_unreach-call/aws_hash_ptr_harness_negated.yml/witness.yml: No such file or directory")
