gib# out run test/vm/tau-rrw-2w.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/vm/tau-rrw-2w.chk.cpp
expect --result error --location-comment ERROR
cc     -o test.bc   /home/xrockai/src/divine/nightly/test/vm/tau-rrw-2w.chk.cpp
verify -o nofail:malloc  test.bc

compiling /home/xrockai/src/divine/nightly/test/vm/tau-rrw-2w.chk.cpp
loading bitcode … DiOS … LART … RR … constants … done
booting … done
states per second: 198.693
state count: 456
mips: 0.35

error found: yes
error trace: |
  FAULT: /home/xrockai/src/divine/nightly/test/vm/tau-rrw-2w.chk.cpp:28: auto main()::(anonymous class)::operator()() const: assertion 'r == 0' failed
  [2] 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::$_1::operator()() const
    location: /home/xrockai/src/divine/nightly/test/vm/tau-rrw-2w.chk.cpp:28
  - symbol: decltype ((static_cast<main::$_1>({parm#1}))()) std::__2::__invoke<main::$_1>(main::$_1&&)
    location: /dios/libcxx/include/type_traits:3918
  - symbol: void std::__2::__thread_execute<std::__2::unique_ptr<std::__2::__thread_struct, std::__2::default_delete<std::__2::__thread_struct> >, main::$_1>(std::__2::tuple<std::__2::unique_ptr<std::__2::__thread_struct, std::__2::default_delete<std::__2::__thread_struct> >, main::$_1>&, std::__2::__tuple_indices<>)
    location: /dios/libcxx/include/thread:280
  - symbol: void* std::__2::__thread_proxy<std::__2::tuple<std::__2::unique_ptr<std::__2::__thread_struct, std::__2::default_delete<std::__2::__thread_struct> >, main::$_1> >(void*)
    location: /dios/libcxx/include/thread:291
  - symbol: __pthread_start
    location: /dios/libc/pthread/pthread-init.cpp:82
  - symbol: __pthread_entry
    location: /dios/libc/pthread/pthread-core.cpp:51