[ 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] + divine verify --threads 1 --capture capture/link:follow:/ capture/fs-open-capture.c
[ 0:00] compiling capture/fs-open-capture.c
[ 0:00] states per second: 0
[ 0:11] state count: 0
[ 0:11] mips: 0
[ 0:11] 
[ 0:13] error found: boot
[ 0:13] error trace: |
[ 0:13]   FAULT: access of size 1 at [heap* 8559c461 1fffffff ddp] is 536870888 bytes out of bounds
[ 0:13] 
[ 0:13] a report was written to fs-open-capture.report
[ 0:13] + check debris