[ 0:01] + mkdir -p capture
[ 0:01] + cat
[ 0:01] + mkdir capture/grants
[ 0:01] + touch capture/grants/noAccess
[ 0:01] + touch capture/grants/writeOnly
[ 0:01] + touch capture/grants/readOnly
[ 0:01] + chmod -rwx capture/grants/noAccess
[ 0:01] + chmod -rx capture/grants/writeOnly
[ 0:01] + chmod -wx capture/grants/readOnly
[ 0:01] + divine verify --threads 1 --capture capture/grants:follow:/ capture/fs-grants-capture.c
[ 0:01] compiling capture/fs-grants-capture.c
[ 0:01] states per second: 0
[ 0:11] state count: 0
[ 0:11] mips: 0
[ 0:11] 
[ 0:14] error found: boot
[ 0:14] error trace: |
[ 0:14]   FAULT: access of size 1 at [heap* 8559c461 1fffffff ddp] is 536870888 bytes out of bounds
[ 0:14] 
[ 0:14] a report was written to fs-grants-capture.report
[ 0:14] + check debris