./theta-start.sh /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-local-pthread-value.i --witness-only --portfolio COMPLEX --loglevel RESULT --property /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp


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


LD_LIBRARY_PATH=/mnt/goblint-svcomp/benchexec/tools-pldi/theta/lib java -Xss120m -Xmx14210m -jar /mnt/goblint-svcomp/benchexec/tools-pldi/theta/theta.jar --witness-only --portfolio COMPLEX --loglevel RESULT --property /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --input /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-local-pthread-value.i --smt-home /mnt/goblint-svcomp/benchexec/tools-pldi/theta/solvers
Changing LBE type to NO_LBE because the DATA_RACE property will be erroneous otherwise
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: sizeof got unknown type, using a literal 0 instead.
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: sizeof got unknown type, using a literal 0 instead.
Warning: CompoundDefinitions are not yet implemented!
WARNING: self-embedded structs! Using long as a placeholder
WARNING: self-embedded structs! Using long as a placeholder
WARNING: self-embedded structs! Using long as a placeholder
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
WARNING: Unknown simple type union pthread_attr_t
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
Warning: CompoundDefinitions are not yet implemented!
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: enums are not yet supported! Using int instead.
WARNING: enums are not yet supported! Using int instead.
WARNING: enums are not yet supported! Using int instead.
WARNING: enums are not yet supported! Using int instead.
WARNING: enums are not yet supported! Using int instead.
WARNING: enums are not yet supported! Using int instead.
WARNING: enums are not yet supported! Using int instead.
WARNING: enums are not yet supported! Using int instead.
WARNING: enums are not yet supported! Using int instead.
WARNING: enums are not yet supported! Using int instead.
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: Unknown simple type union pthread_attr_t
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: Unknown simple type union pthread_attr_t
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
WARNING: signedness of the type char is implementation specific. Right now it is interpreted as a signed char.
Frontend failed!
