[ 0:01] + mkdir -p capture [ 0:01] + cat [ 0:01] + mkdir capture/link [ 0:01] + mkdir capture/link/dir [ 0:01] + touch capture/link/file [ 0:01] + ln capture/link/file capture/link/hardlinkFile [ 0:01] + verify capture/fs-open-capture.c [ 0:01] | load capture/fs-open-capture.c fs-open-capture.c [ 0:01] | expect --result valid [ 0:01] | cc -o testcase.bc fs-open-capture.c [ 0:01] | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --leakcheck exit --capture capture/link:follow:/ testcase.bc [ 0:01] compiling fs-open-capture.c [ 0:01] loading bitcode … DiOS … LART … RR … constants … done [ 0:04] booting … done [ 0:04] states per second: 88.2353 [ 0:04] state count: 3 [ 0:04] mips: 0.21 [ 0:04] error found: no [ 0:04] + check debris [ 0:04] + test -e warning