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: 159.938 state count: 416 mips: 0.28 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({parm#1}))()) std::__2::__invoke(main::$_1&&) location: /dios/libcxx/include/type_traits:3918 - symbol: void std::__2::__thread_execute >, main::$_1>(std::__2::tuple >, main::$_1>&, std::__2::__tuple_indices<>) location: /dios/libcxx/include/thread:280 - symbol: void* std::__2::__thread_proxy >, 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