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


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


14:40:51 [INFO ] ParserWitness.parse - Witness graph produced by GemCutter
14:40:51 [INFO ] ParserWitness.parse - Witness graph stats: #Nodes 26
14:40:51 [INFO ] ParserWitness.parse - Witness graph stats: #Edges 25
14:40:52 [INFO ] GitInfo.logGitInfo - Git branch: development
14:40:52 [INFO ] GitInfo.logGitInfo - Git commit ID: c738679d329e6e31d190dadf624186eb0c15fc09
14:40:52 [INFO ] GlobalSettings.logGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
14:40:52 [INFO ] GlobalSettings.logGlobalSettings - REFINEMENT_SYMMETRIC_LEARNING: FULL
14:40:52 [INFO ] Dartagnan.main - Program path: ../../sv-benchmarks/c/pthread-race-challenges/thread-join-counter-outer-race-4.i
14:40:52 [INFO ] Dartagnan.main - CAT file path: cat/svcomp.cat
14:40:52 [WARN ] Compilation.applyLlvmPasses - Failed to run opt (llvm optimizations). Continuing without optimizations.
14:40:53 [WARN ] VisitorLlvm.visitUndefConst - Encountered undef constant of type [4 x bv8]. Constant was replaced by zero.
14:40:53 [WARN ] VisitorLlvm.visitUndefConst - Encountered undef constant of type [4 x bv8]. Constant was replaced by zero.
14:40:53 [WARN ] VisitorLlvm.visitUndefConst - Encountered undef constant of type [4 x bv8]. Constant was replaced by zero.
14:40:53 [WARN ] VisitorLlvm.visitUndefConst - Encountered undef constant of type [4 x bv8]. Constant was replaced by zero.
14:40:53 [INFO ] Dartagnan.main - Witness path: ../../results-verified/LOGDIR/SV-COMP24_no-data-race/thread-join-counter-outer-race-4.yml/witness.graphml
14:40:53 [INFO ] ParserWitness.parse - Witness graph produced by GemCutter
14:40:53 [INFO ] ParserWitness.parse - Witness graph stats: #Nodes 26
14:40:53 [INFO ] ParserWitness.parse - Witness graph stats: #Edges 25
14:40:53 [INFO ] Wmm.configureAll - encoding.wmm.reduceAcyclicityEncodeSets: true
14:40:53 [ERROR] Dartagnan.main - Unknown intrinsics pthread_detach
java.lang.UnsupportedOperationException: Unknown intrinsics pthread_detach
	at com.dat3m.dartagnan.program.processing.Intrinsics.markIntrinsics(Intrinsics.java:302) ~[dartagnan.jar:?]
	at com.dat3m.dartagnan.program.processing.ProcessingManager.lambda$run$0(ProcessingManager.java:161) ~[dartagnan.jar:?]
	at java.base/java.util.ArrayList.forEach(ArrayList.java:1511) ~[?:?]
	at com.dat3m.dartagnan.program.processing.ProcessingManager.run(ProcessingManager.java:161) ~[dartagnan.jar:?]
	at com.dat3m.dartagnan.verification.solving.ModelChecker.preprocessProgram(ModelChecker.java:66) ~[dartagnan.jar:?]
	at com.dat3m.dartagnan.verification.solving.DataRaceSolver.run(DataRaceSolver.java:50) ~[dartagnan.jar:?]
	at com.dat3m.dartagnan.verification.solving.DataRaceSolver.run(DataRaceSolver.java:40) ~[dartagnan.jar:?]
	at com.dat3m.dartagnan.Dartagnan.main(Dartagnan.java:179) [dartagnan.jar:?]
ERROR