./Dartagnan-SVCOMP.sh /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race-3.i


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


Exception in thread "main" com.dat3m.dartagnan.exception.ParsingException: pthread_create cannot be inside a for loop
	at com.dat3m.svcomp.utils.SVCOMPSanitizer.run(SVCOMPSanitizer.java:37)
	at com.dat3m.svcomp.SVCOMPRunner.main(SVCOMPRunner.java:113)
