[ 0:00] + divine verify -std=c++11 /home/xrockai/src/divine/nightly/test/demo/thread.cpp [ 0:00] + tee report.txt [ 0:00] compiling /home/xrockai/src/divine/nightly/test/demo/thread.cpp [ 0:00] states per second: 318.729 [ 0:14] state count: 371 [ 0:14] mips: 0.82 [ 0:14] [ 0:15] error found: yes [ 0:15] error trace: | [ 0:15] [0] starting thread [ 0:15] [1] thread started [ 0:15] [0] incrementing [ 0:15] [1] thread done [ 0:15] [0] waiting for the thread [ 0:15] FAULT: invalid pointer passed to __vm_obj_free [ 0:15] [0] thread joined [ 0:15] (0) Assertion failed: x == 2, file /home/xrockai/src/divine/nightly/test/demo/thread.cpp, line 18. [ 0:15] [0] FATAL: assertion failure in userspace [ 0:15] [ 0:15] active stack: [ 0:15] a report was written to thread.report [ 0:15] - symbol: void __dios::FaultBase::handler<__dios::Upcall<__dios::fs::VFS<__dios::ProcessManager<__dios::Fault<__dios::Scheduler<__dios::config::Base> > > > > >(_VM_Fault, _VM_Frame*, void (*)()) [ 0:15] location: /dios/include/dios/sys/fault.hpp:87 [ 0:15] - symbol: __dios_fault [ 0:15] location: /dios/src/libc/sys/fault.c:14 [ 0:15] - symbol: __assert_fail [ 0:15] location: /dios/src/libc/_PDCLIB/assert.c:21 [ 0:15] - symbol: main [ 0:15] location: /home/xrockai/src/divine/nightly/test/demo/thread.cpp:18 [ 0:15] - symbol: _start [ 0:15] location: /dios/src/libc/sys/start.cpp:102 [ 0:15] + cat [ 0:15] + ordgrep expected [ 0:15] [0] starting thread | \[0\] starting thread [ 0:15] [0] incrementing | \[0\] incrementing [ 0:15] [1] thread done | \[1\] thread done [ 0:15] + check debris