gib# out run test/verify/capture-list.chk.cpp
gib# cmd /usr/bin/env
gib#     srcdir=/home/xrockai/src/divine/nightly
gib#     PATH=/home/xrockai/src/divine/nightly/test/lib:/usr/bin:/bin:/opt/klee/bin
gib#     sh
gib#     /home/xrockai/src/divine/nightly/test/lib/check
gib#     test/verify/capture-list.chk.cpp
expect --result valid
cc     -o test.bc /home/xrockai/src/divine/nightly/test/verify/capture-list.chk.cpp
verify --capture /home/xrockai/src/divine/nightly/test/verify/subdir:follow:/ -o nofail:malloc -o nofail:vfs test.bc

compiling /home/xrockai/src/divine/nightly/test/verify/capture-list.chk.cpp
loading bitcode … DiOS … LART … RR … constants … done
booting … done
states per second: 145.374
state count: 33
mips: 0.25

error found: yes
error trace: |
  (0) found: /
  (0) found: /bar
  (0) found: /bar/baz
  (0) found: /dev
  (0) found: /dev/null
  (0) found: /foo
  FAULT: /home/xrockai/src/divine/nightly/test/verify/capture-list.chk.cpp:45: int main(): assertion 'paths.size() == 4' failed
  [0] FATAL: assertion failure in userspace

active stack:
  - symbol: void __dios::FaultBase::handler<__dios::Context>(_VM_Fault, _VM_Frame*, void (*)())
    location: /dios/sys/fault.hpp:118
  - symbol: __dios_fault
    location: /dios/arch/divm/fault.c:12
  - symbol: __assert_fail
    location: /dios/libc/_PDCLIB/assert.c:19
  - symbol: main
    location: /home/xrockai/src/divine/nightly/test/verify/capture-list.chk.cpp:45
  - symbol: __dios_start
    location: /dios/libc/sys/start.cpp:94
E: expect --result valid failed [result]