./Dartagnan-SVCOMP.sh -witness ../../results-verified/LOGDIR/SV-COMP24_no-data-race/per-thread-array-join-counter-race.yml/witness.graphml ../../sv-benchmarks/c/properties/no-data-race.prp ../../sv-benchmarks/c/pthread-race-challenges/per-thread-array-join-counter-race.i


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


Exception in thread "main" java.io.FileNotFoundException: ../../results-verified/LOGDIR/SV-COMP24_no-data-race/per-thread-array-join-counter-race.yml/witness.graphml (No such file or directory)
	at java.base/java.io.FileInputStream.open0(Native Method)
	at java.base/java.io.FileInputStream.open(FileInputStream.java:216)
	at java.base/java.io.FileInputStream.<init>(FileInputStream.java:157)
	at com.dat3m.dartagnan.parsers.witness.ParserWitness.parse(ParserWitness.java:49)
	at com.dat3m.svcomp.SVCOMPRunner.main(SVCOMPRunner.java:109)