[ 0:01] + mkdir -p capture [ 0:01] + cat [ 0:01] ++ dirname [ 0:01] dirname: missing operand [ 0:01] Try 'dirname --help' for more information. [ 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] + divine verify -std=c++14 --threads 1 --capture capture/link:follow:/ capture/fs-rmmkdir-capture.cpp [ 0:01] compiling capture/fs-rmmkdir-capture.cpp [ 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-rmmkdir-capture.report [ 0:14] + check debris