[ 0:00] + mkdir -p capture [ 0:00] + cat [ 0:00] + mkdir capture/link [ 0:00] + mkdir capture/link/dir [ 0:00] + touch capture/link/file [ 0:00] + ln capture/link/file capture/link/hardlinkFile [ 0:00] + verify capture/fs-rw-capture.c [ 0:00] | load capture/fs-rw-capture.c fs-rw-capture.c [ 0:01] | expect --result valid [ 0:01] | cc -o testcase.bc fs-rw-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-rw-capture.c [ 0:01] loading bitcode … DiOS … LART … RR … constants … done [ 0:03] booting … done [ 0:04] states per second: 50.8475 [ 0:04] state count: 3 [ 0:04] mips: 0.21 [ 0:04] error found: no [ 0:04] + check debris [ 0:04] + test -e warning