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


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


02:24:57 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp-2024
02:24:57 [INFO ] GitInfo.CreateGitInfo - Git commit ID: 17eeec33cbc9c310519b08551b317469f878ce8c
02:24:57 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
02:24:57 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRIC_LEARNING: FULL
02:24:57 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/benchexec/tools-pldi24/dartagnan/output/main-opt.ll
02:24:57 [INFO ] Dartagnan.main - CAT file path: cat/svcomp.cat
02:24:58 [WARN ] VisitorLlvm.visitUndefConst - Encountered undef constant of type bv64. Constant was replaced by zero.
02:24:58 [WARN ] VisitorLlvm.visitUndefConst - Encountered undef constant of type bv64. Constant was replaced by zero.
02:24:58 [WARN ] VisitorLlvm.visitUndefConst - Encountered undef constant of type bv64. Constant was replaced by zero.
02:24:58 [INFO ] Wmm.configureAll - encoding.wmm.reduceAcyclicityEncodeSets: true
02:24:58 [ERROR] Dartagnan.main - Unknown intrinsics __errno_location, _exit, access, atexit, atoi, cbreak, chdir, chmod, close, closedir, ctermid, curs_set, dirfd, dprintf, dup2, endwin, execvp, fcntl, ffs, fork, fstat, fstatat, fts_close, fts_open, fts_read, getcwd, getenv, getopt, getpid, getppid, getrlimit, init_pair, initscr, inotify_add_watch, inotify_init1, inotify_rm_watch, isatty, keyname, keypad, link, llvm.memmove.p0i8.p0i8.i64, localtime_r, lstat, mbstowcs, memccpy, memchr, memmem, memrchr, mkdir, mkdtemp, mkfifo, mkstemp, newterm, noecho, nonl, open, opendir, perror, pipe, posix_fadvise, printw, qsort, rawmemchr, read, readdir, readlink, realloc, realpath, regcomp, regexec, regfree, renameat, rmdir, set_escdelay, setenv, setrlimit, setsid, sigaction, snprintf, start_color, stat, statvfs, strcasecmp, strcasestr, strchr, strcmp, strerror, strncmp, strstr, strtoll, symlink, time, unget_wch, unlink, use_default_colors, usleep, waddch, waddnstr, waddnwstr, waitpid, wattr_off, wattr_on, wclrtoeol, wcstombs, wcswidth, werase, wget_wch, wmove, wrefresh, write, wtimeout
java.lang.UnsupportedOperationException: Unknown intrinsics __errno_location, _exit, access, atexit, atoi, cbreak, chdir, chmod, close, closedir, ctermid, curs_set, dirfd, dprintf, dup2, endwin, execvp, fcntl, ffs, fork, fstat, fstatat, fts_close, fts_open, fts_read, getcwd, getenv, getopt, getpid, getppid, getrlimit, init_pair, initscr, inotify_add_watch, inotify_init1, inotify_rm_watch, isatty, keyname, keypad, link, llvm.memmove.p0i8.p0i8.i64, localtime_r, lstat, mbstowcs, memccpy, memchr, memmem, memrchr, mkdir, mkdtemp, mkfifo, mkstemp, newterm, noecho, nonl, open, opendir, perror, pipe, posix_fadvise, printw, qsort, rawmemchr, read, readdir, readlink, realloc, realpath, regcomp, regexec, regfree, renameat, rmdir, set_escdelay, setenv, setrlimit, setsid, sigaction, snprintf, start_color, stat, statvfs, strcasecmp, strcasestr, strchr, strcmp, strerror, strncmp, strstr, strtoll, symlink, time, unget_wch, unlink, use_default_colors, usleep, waddch, waddnstr, waddnwstr, waitpid, wattr_off, wattr_on, wclrtoeol, wcstombs, wcswidth, werase, wget_wch, wmove, wrefresh, write, wtimeout
	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
