./Dartagnan-SVCOMP.sh /mnt/goblint-svcomp/goblint-bench/the-continuous-race/properties/no-data-race.prp /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/dnspod-sr/main.c


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


00:26:17 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp-2024
00:26:17 [INFO ] GitInfo.CreateGitInfo - Git commit ID: 17eeec33cbc9c310519b08551b317469f878ce8c
00:26:17 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
00:26:17 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRIC_LEARNING: FULL
00:26:17 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/tools/svcomp24/dartagnan/output/main-opt.ll
00:26:17 [INFO ] Dartagnan.main - CAT file path: cat/svcomp.cat
00:26:18 [INFO ] Wmm.configureAll - encoding.wmm.reduceAcyclicityEncodeSets: true
00:26:19 [ERROR] Dartagnan.main - Unknown intrinsics __errno_location, __isoc99_sscanf, accept, atoi, bind, close, connect, daemon, epoll_create, epoll_ctl, epoll_wait, fclose, fcntl, fflush, fgets, fopen, fprintf, getopt, getpagesize, getpid, gettimeofday, htonl, htons, inet_pton, kill, listen, llvm.va_end, llvm.va_start, mkdir, ntohl, ntohs, open, perror, pthread_detach, pthread_self, pthread_setaffinity_np, pthread_sigmask, pthread_spin_init, pthread_spin_lock, pthread_spin_trylock, pthread_spin_unlock, random, read, recv, recvfrom, send, sendto, setsockopt, shmat, shmget, sigaction, sigaddset, sigemptyset, sigtimedwait, socket, sprintf, stat, strchr, strcmp, strcpy, strdup, strlen, strncmp, strncpy, strrchr, strstr, time, unlink, usleep, vprintf, write
java.lang.UnsupportedOperationException: Unknown intrinsics __errno_location, __isoc99_sscanf, accept, atoi, bind, close, connect, daemon, epoll_create, epoll_ctl, epoll_wait, fclose, fcntl, fflush, fgets, fopen, fprintf, getopt, getpagesize, getpid, gettimeofday, htonl, htons, inet_pton, kill, listen, llvm.va_end, llvm.va_start, mkdir, ntohl, ntohs, open, perror, pthread_detach, pthread_self, pthread_setaffinity_np, pthread_sigmask, pthread_spin_init, pthread_spin_lock, pthread_spin_trylock, pthread_spin_unlock, random, read, recv, recvfrom, send, sendto, setsockopt, shmat, shmget, sigaction, sigaddset, sigemptyset, sigtimedwait, socket, sprintf, stat, strchr, strcmp, strcpy, strdup, strlen, strncmp, strncpy, strrchr, strstr, time, unlink, usleep, vprintf, write
	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
