./sv-sanitizers.py -j 8 --property /mnt/goblint-svcomp/goblint-bench/the-continuous-race/properties/no-data-race.prp --data-model LP64 /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c


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


/usr/bin/ld: /tmp/ccCevE89.o: warning: relocation against `COLORS' in read-only section `.text'
/usr/bin/ld: /tmp/ccCevE89.o: in function `clean_exit_sighandler':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:996: undefined reference to `endwin'
/usr/bin/ld: /tmp/ccCevE89.o: in function `handle_key_resize':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1589: undefined reference to `endwin'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1590: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1590: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1590: undefined reference to `wrefresh'
/usr/bin/ld: /tmp/ccCevE89.o: in function `clearoldprompt':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1599: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1599: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1599: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1600: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1600: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1600: undefined reference to `wclrtoeol'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1601: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1601: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1601: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1602: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1602: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1602: undefined reference to `wclrtoeol'
/usr/bin/ld: /tmp/ccCevE89.o: in function `printmsg_nc':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1612: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1612: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1612: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1613: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1613: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1613: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1614: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1614: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1614: undefined reference to `wclrtoeol'
/usr/bin/ld: /tmp/ccCevE89.o: in function `printmsg':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1623: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1623: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1623: undefined reference to `wattr_on'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1625: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1625: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1625: undefined reference to `wattr_off'
/usr/bin/ld: /tmp/ccCevE89.o: in function `printerr':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1650: undefined reference to `endwin'
/usr/bin/ld: /tmp/ccCevE89.o: in function `get_input':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1686: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1686: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1686: undefined reference to `wtimeout'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1687: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1687: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1687: undefined reference to `wget_wch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1691: undefined reference to `LINES'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1691: undefined reference to `LINES'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1694: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1694: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1694: undefined reference to `wget_wch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1696: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1696: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1696: undefined reference to `wtimeout'
/usr/bin/ld: /tmp/ccCevE89.o: in function `xdelay':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1774: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1774: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:1774: undefined reference to `wrefresh'
/usr/bin/ld: /tmp/ccCevE89.o: in function `init_fcolors':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2678: undefined reference to `init_pair'
/usr/bin/ld: /tmp/ccCevE89.o: in function `initcurses':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2708: undefined reference to `newterm'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2714: undefined reference to `initscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2720: undefined reference to `cbreak'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2721: undefined reference to `noecho'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2722: undefined reference to `nonl'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2723: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2723: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2723: undefined reference to `keypad'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2724: undefined reference to `curs_set'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2734: undefined reference to `start_color'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2735: undefined reference to `use_default_colors'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2736: undefined reference to `COLORS'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2736: undefined reference to `COLORS'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2740: undefined reference to `endwin'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2753: undefined reference to `COLORS'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2753: undefined reference to `COLORS'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2786: undefined reference to `endwin'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2806: undefined reference to `init_pair'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2811: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2811: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2811: undefined reference to `wtimeout'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:2812: undefined reference to `set_escdelay'
/usr/bin/ld: /tmp/ccCevE89.o: in function `spawn':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3091: undefined reference to `endwin'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3141: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3141: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3141: undefined reference to `wrefresh'
/usr/bin/ld: /tmp/ccCevE89.o: in function `handle_alt_key':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3880: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3880: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3880: undefined reference to `wtimeout'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3881: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3881: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3881: undefined reference to `wget_wch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3886: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3886: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3886: undefined reference to `wtimeout'
/usr/bin/ld: /tmp/ccCevE89.o: in function `nextsel':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3925: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3925: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3925: undefined reference to `wget_wch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3930: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3930: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3930: undefined reference to `wtimeout'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3931: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3931: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3931: undefined reference to `wget_wch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3936: undefined reference to `unget_wch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3939: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3939: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3939: undefined reference to `wtimeout'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3942: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3942: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3942: undefined reference to `wtimeout'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3946: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3946: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:3946: undefined reference to `wtimeout'
/usr/bin/ld: /tmp/ccCevE89.o: in function `showfilterinfo':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4105: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4105: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4105: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4107: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4107: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4107: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4131: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4131: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4131: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4133: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4133: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4133: undefined reference to `waddnstr'
/usr/bin/ld: /tmp/ccCevE89.o: in function `showfilter':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4143: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4143: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4143: undefined reference to `wattr_on'
/usr/bin/ld: /tmp/ccCevE89.o: in function `filterentries':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4302: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4302: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4302: undefined reference to `wtimeout'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4303: undefined reference to `curs_set'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4306: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4306: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4306: undefined reference to `wget_wch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4363: undefined reference to `unget_wch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4373: undefined reference to `keyname'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4464: undefined reference to `curs_set'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4465: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4465: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4465: undefined reference to `wtimeout'
/usr/bin/ld: /tmp/ccCevE89.o: in function `xreadline':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4494: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4494: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4494: undefined reference to `wtimeout'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4508: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4508: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4509: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4509: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4513: undefined reference to `curs_set'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4516: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4516: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4516: undefined reference to `wattr_on'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4518: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4518: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4518: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4520: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4520: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4520: undefined reference to `waddnwstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4523: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4523: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4523: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4525: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4525: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4525: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4527: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4527: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4527: undefined reference to `waddnwstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4530: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4530: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4530: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4532: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4532: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4532: undefined reference to `wattr_off'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4533: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4533: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4533: undefined reference to `wget_wch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4630: undefined reference to `keyname'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4646: undefined reference to `LINES'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4646: undefined reference to `LINES'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4702: undefined reference to `curs_set'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4703: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4703: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4703: undefined reference to `wtimeout'
/usr/bin/ld: /tmp/ccCevE89.o: in function `resetdircolor':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4950: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4950: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:4950: undefined reference to `wattr_off'
/usr/bin/ld: /tmp/ccCevE89.o: in function `print_time':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5167: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5167: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5167: undefined reference to `wattr_on'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5171: undefined reference to `printw'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5173: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5173: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5173: undefined reference to `wattr_off'
/usr/bin/ld: /tmp/ccCevE89.o: in function `printent':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5309: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5309: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5309: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5322: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5322: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5322: undefined reference to `wattr_on'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5342: undefined reference to `printw'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5344: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5344: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5344: undefined reference to `wattr_off'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5355: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5355: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5355: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5372: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5372: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5372: undefined reference to `wattr_on'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5383: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5383: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5383: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5385: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5385: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5385: undefined reference to `wattr_off'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5388: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5388: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:5388: undefined reference to `waddch'
/usr/bin/ld: /tmp/ccCevE89.o: in function `run_plugin':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:7900: undefined reference to `endwin'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:7954: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:7954: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:7954: undefined reference to `wrefresh'
/usr/bin/ld: /tmp/ccCevE89.o: in function `dirwalk':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8257: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8257: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8257: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8259: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8259: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8259: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8260: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8260: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8260: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8261: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8261: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8261: undefined reference to `wrefresh'
/usr/bin/ld: /tmp/ccCevE89.o: in function `dentfill':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8411: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8411: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8411: undefined reference to `wattr_on'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8633: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8633: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:8633: undefined reference to `wattr_off'
/usr/bin/ld: /tmp/ccCevE89.o: in function `statusbar':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9333: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9333: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9333: undefined reference to `wattr_on'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9338: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9338: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9338: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9340: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9340: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9340: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9344: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9344: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9344: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9346: undefined reference to `printw'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9352: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9352: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9352: undefined reference to `wattr_on'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9353: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9353: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9353: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9355: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9355: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9355: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9358: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9358: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9358: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9362: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9362: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9362: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9364: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9364: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9364: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9365: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9365: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9365: undefined reference to `wattr_off'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9366: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9366: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9366: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9378: undefined reference to `printw'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9389: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9389: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9389: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9392: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9392: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9392: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9394: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9394: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9394: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9395: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9395: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9395: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9407: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9407: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9407: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9409: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9409: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9409: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9410: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9410: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9411: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9411: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9415: undefined reference to `stdscr'
/usr/bin/ld: /tmp/ccCevE89.o:/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9415: more undefined references to `stdscr' follow
/usr/bin/ld: /tmp/ccCevE89.o: in function `statusbar':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9426: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9431: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9431: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9431: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9432: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9432: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9432: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9433: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9433: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9433: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9437: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9437: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9437: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9439: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9439: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9439: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9440: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9440: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9440: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9442: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9442: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9442: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9446: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9446: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9446: undefined reference to `wclrtoeol'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9448: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9448: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9448: undefined reference to `wattr_off'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9449: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9449: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9449: undefined reference to `wmove'
/usr/bin/ld: /tmp/ccCevE89.o: in function `markhovered':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9460: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9460: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9460: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9461: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9461: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9461: undefined reference to `waddch'
/usr/bin/ld: /tmp/ccCevE89.o: in function `draw_line':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9491: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9491: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9491: undefined reference to `wattr_on'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9496: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9496: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9496: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9501: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9501: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9501: undefined reference to `wattr_on'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9511: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9511: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9511: undefined reference to `wattr_off'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9515: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9515: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9515: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9518: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9518: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9518: undefined reference to `wattr_off'
/usr/bin/ld: /tmp/ccCevE89.o: in function `redraw':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9544: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9544: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9545: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9545: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9549: undefined reference to `stdscr'
/usr/bin/ld: /tmp/ccCevE89.o:/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9549: more undefined references to `stdscr' follow
/usr/bin/ld: /tmp/ccCevE89.o: in function `redraw':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9571: undefined reference to `werase'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9580: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9580: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9580: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9587: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9587: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9587: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9589: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9589: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9589: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9592: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9592: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9592: undefined reference to `wattr_on'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9605: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9605: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9605: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9610: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9610: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9610: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9625: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9625: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9625: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9627: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9627: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9627: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9634: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9634: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9634: undefined reference to `waddnstr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9640: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9640: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9640: undefined reference to `wattr_off'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9643: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9643: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9643: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9644: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9644: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9644: undefined reference to `waddch'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9647: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9647: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9647: undefined reference to `wattr_on'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9662: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9662: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9662: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9670: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9670: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9670: undefined reference to `wattr_off'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9675: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9675: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9675: undefined reference to `wmove'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9676: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9676: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9676: undefined reference to `waddch'
/usr/bin/ld: /tmp/ccCevE89.o: in function `browse':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9857: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9857: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9858: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9858: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9862: undefined reference to `stdscr'
/usr/bin/ld: /tmp/ccCevE89.o:/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:9862: more undefined references to `stdscr' follow
/usr/bin/ld: /tmp/ccCevE89.o: in function `browse':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:10721: undefined reference to `wrefresh'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:10726: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:10726: undefined reference to `stdscr'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:10726: undefined reference to `wrefresh'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:11333: undefined reference to `LINES'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:11333: undefined reference to `LINES'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:11336: undefined reference to `COLS'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:11336: undefined reference to `COLS'
/usr/bin/ld: /tmp/ccCevE89.o: in function `check_key_collision':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:11651: undefined reference to `keyname'
/usr/bin/ld: /tmp/ccCevE89.o: in function `main':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/nnn/main.c:12256: undefined reference to `endwin'
/usr/bin/ld: warning: creating DT_TEXTREL in a PIE
collect2: error: ld returned 1 exit status
Traceback (most recent call last):
  File "/mnt/goblint-svcomp/benchexec/tools-pldi/sv-sanitizers/./sv-sanitizers.py", line 212, in <module>
    asyncio.run(main())
  File "/usr/lib/python3.10/asyncio/runners.py", line 44, in run
    return loop.run_until_complete(main)
  File "/usr/lib/python3.10/asyncio/base_events.py", line 649, in run_until_complete
    return future.result()
  File "/mnt/goblint-svcomp/benchexec/tools-pldi/sv-sanitizers/./sv-sanitizers.py", line 204, in main
    executable = await compile(args)
  File "/mnt/goblint-svcomp/benchexec/tools-pldi/sv-sanitizers/./sv-sanitizers.py", line 65, in compile
    raise RuntimeError("compile error")
RuntimeError: compile error
