./theta-start.sh /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c --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/pianobar/main.c --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
line 1034:11 no viable alternative at input 'structAVFrame{uint8_t*data[8];intlinesize[8];uint8_t**extended_data;intwidth;intheight;intnb_samples;intformat;intkey_frame;enumAVPictureTypepict_type;AVRationalsample_aspect_ratio;int64_tpts;int64_t__attribute__'
Frontend failed!
