./Dartagnan-SVCOMP.sh /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c


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


02:24:40 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp-2024
02:24:40 [INFO ] GitInfo.CreateGitInfo - Git commit ID: 17eeec33cbc9c310519b08551b317469f878ce8c
02:24:40 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
02:24:40 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRIC_LEARNING: FULL
02:24:40 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/benchexec/tools-pldi24/dartagnan/output/main-opt.ll
02:24:40 [INFO ] Dartagnan.main - CAT file path: cat/svcomp.cat
02:24:41 [INFO ] Wmm.configureAll - encoding.wmm.reduceAcyclicityEncodeSets: true
02:24:41 [ERROR] Dartagnan.main - Unknown intrinsics fclose, fflush, fopen, fseek, ftell, fwrite, getpid, llvm.va_end, llvm.va_start, localtime_r, memchr, pthread_attr_destroy, pthread_attr_init, pthread_attr_setschedparam, pthread_attr_setschedpolicy, pthread_attr_setstacksize, pthread_self, remove, rename, sched_get_priority_max, sem_destroy, sem_init, sem_post, sem_wait, semctl, semget, semop, setbuf, snprintf, strftime, strlen, strncmp, strncpy, strstr, time, usleep, vsnprintf
java.lang.UnsupportedOperationException: Unknown intrinsics fclose, fflush, fopen, fseek, ftell, fwrite, getpid, llvm.va_end, llvm.va_start, localtime_r, memchr, pthread_attr_destroy, pthread_attr_init, pthread_attr_setschedparam, pthread_attr_setschedpolicy, pthread_attr_setstacksize, pthread_self, remove, rename, sched_get_priority_max, sem_destroy, sem_init, sem_post, sem_wait, semctl, semget, semop, setbuf, snprintf, strftime, strlen, strncmp, strncpy, strstr, time, usleep, vsnprintf
	at com.dat3m.dartagnan.program.processing.Intrinsics.markIntrinsics(Intrinsics.java:287) ~[dartagnan.jar:?]
	at com.dat3m.dartagnan.program.processing.ProcessingManager.lambda$run$0(ProcessingManager.java:142) ~[dartagnan.jar:?]
	at java.util.ArrayList.forEach(ArrayList.java:1511) ~[?:?]
	at com.dat3m.dartagnan.program.processing.ProcessingManager.run(ProcessingManager.java:142) ~[dartagnan.jar:?]
	at com.dat3m.dartagnan.verification.solving.ModelChecker.preprocessProgram(ModelChecker.java:71) ~[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:157) [dartagnan.jar:?]
ERROR
