./theta-start.sh /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-array-const.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-pldi24/Theta/lib java -Xss120m -Xmx14210m -jar /mnt/goblint-svcomp/benchexec/tools-pldi24/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-join-array-const.i --smt-home /mnt/goblint-svcomp/benchexec/tools-pldi24/Theta/solvers
Frontend failed! (hu.bme.mit.theta.frontend.transformation.grammar.expression.ExpressionVisitor.visitUnaryExpressionCast(ExpressionVisitor.java:564), java.lang.IllegalStateException: Referencing non-variable expressions is not allowed!)
