[ 0:01] --symbolic [ 0:01] compiling /home/xrockai/src/divine/nightly/test/abstract/2.sym-cast-h.cpp [ 0:01] loading bitcode … LART … setting up pass: abstraction, options = sym [ 0:08] RR … constants … done [ 0:12] booting … done [ 0:14] [ 0:14] searching: 1 states found in 0:00, averaging 125.0, queued: 0 [ 0:14] searching: 38 states found in 0:00, averaging 74.8, queued: 0 [ 0:15] found 47 states in 0:01, averaging 46.6 [ 0:15] [ 0:15] state count: 47 [ 0:15] states per second: 46.627 [ 0:15] version: 4.0.12+eacd646fbc26 [ 0:15] [ 0:15] architecture: Intel(R) Xeon(R) CPU E5-2630 v2 @ 2.60GHz [ 0:15] memory used: 1136556 [ 0:15] physical memory used: 477108 [ 0:15] user time: 7.650000 [ 0:15] system time: 0.330000 [ 0:15] wall time: 8.511886 [ 0:15] [ 0:16] timers: [ 0:17] lart: 1.48 [ 0:17] loader: 2.84 [ 0:17] boot: 1.91 [ 0:17] search: 1.01 [ 0:17] ce: 2.36 [ 0:17] error found: yes [ 0:17] error trace: | [ 0:17] t2901962410: DiOS Fault: Assertion failed: x == 0, file /home/xrockai/src/divine/nightly/test/abstract/2.sym-cast-h.cpp, line 22. [ 0:17] Fault in userspace: diosassert [ 0:17] Backtrace: [ 0:17] 1: __dios_fault [ 0:17] 2: _PDCLIB_assert_dios [ 0:17] 3: main [ 0:17] 4: _start [ 0:17] [ 0:17] choices made: 0^14 1 0^6 1 0^14 [ 0:17] error state: [ 0:17] backtrace 1: # active stack [ 0:17] - address: heap* f5ae824b 0+0 [ 0:17] pc: code* 1b0 69 [ 0:17] location: /divine/include/dios/core/fault.hpp:113 [ 0:17] symbol: __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::fault_handler(int, _VM_Frame*, int) [ 0:17] [ 0:17] - address: heap* 5c8ad34 0+0 [ 0:17] pc: code* 1af 28 [ 0:17] location: /divine/include/dios/core/syscall.hpp:67 [ 0:17] symbol: auto std::__2::enable_if::value, void>::type __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::unpack, std::__2::tuple, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__2::tuple, __dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void (__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::*)(int, _VM_Frame*, int), void*, __va_list_tag*, int)::'lambda'(brick::hlist::TypeList<>)::operator()(brick::hlist::TypeList<>) const [ 0:17] [ 0:17] - address: heap* 73223bd1 0+0 [ 0:17] pc: code* 1ae 12 [ 0:17] location: /home/xrockai/src/divine/nightly/bricks/brick-tuple:122 [ 0:17] symbol: decltype(fp(std::get<0>(fp0)std::get<1>(fp0)std::get<2>(fp0))) brick::tuple::_Pass >::call::value, void>::type __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::unpack, std::__2::tuple, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__2::tuple, __dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void (__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::*)(int, _VM_Frame*, int), void*, __va_list_tag*, int)::'lambda'(brick::hlist::TypeList<>), std::__2::tuple&>(std::__2::enable_if::value, void>::type __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::unpack, std::__2::tuple, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__2::tuple, __dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void (__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::*)(int, _VM_Frame*, int), void*, __va_list_tag*, int)::'lambda'(brick::hlist::TypeList<>)&&, std::__2::remove_reference >::type&) [ 0:17] [ 0:17] - address: heap* 6a69aa09 0+0 [ 0:17] pc: code* 1ad 92 [ 0:17] location: /home/xrockai/src/divine/nightly/bricks/brick-tuple:183 [ 0:17] symbol: void __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::unpack, std::__2::tuple, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__2::tuple, __dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void (__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::*)(int, _VM_Frame*, int), void*, __va_list_tag*) [ 0:17] [ 0:17] - address: heap* f31f90ca 0+0 [ 0:17] pc: code* 1ac 3f [ 0:17] location: /divine/include/dios/core/syscall.hpp:75 [ 0:17] symbol: void __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::unpack, std::__2::tuple, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__2::tuple, __dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void (__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::*)(int, _VM_Frame*, int), void*, __va_list_tag*) [ 0:17] [ 0:17] - address: heap* 42fdd1a5 0+0 [ 0:17] pc: code* 1ab 2b [ 0:17] location: /divine/include/dios/core/syscall.hpp:75 [ 0:17] symbol: void __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::unpack, std::__2::tuple<>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__2::tuple<>, __dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void (__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::*)(int, _VM_Frame*, int), void*, __va_list_tag*) [ 0:17] [ 0:17] - address: heap* 2714453d 0+0 [ 0:17] pc: code* 1aa c [ 0:17] location: /divine/include/dios/core/syscall.hpp:81 [ 0:17] symbol: __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::fault_handlerWrappper(__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void*, __va_list_tag*) [ 0:17] [ 0:17] - address: heap* e45a08c8 0+0 [ 0:17] pc: code* 351 14 [ 0:17] location: /divine/include/dios/core/syscall.hpp:38 [ 0:17] symbol: __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::handle(__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, _DiOS_Syscall&) [ 0:17] [ 0:17] - address: heap* 11 0+0 [ 0:17] pc: code* 353 35 [ 0:17] location: /divine/include/dios/core/scheduling.hpp:524 [ 0:17] symbol: void __dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > >::run_scheduler<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >, false>() [ 0:17] [ 0:17] backtrace 2: [ 0:17] - address: heap* 1bbf0459 0+0 [ 0:17] pc: code* 12e7 16 [ 0:17] location: /divine/src/libc/functions/unistd/syscall.c:13 [ 0:17] symbol: __dios_trap [ 0:17] [ 0:17] - address: heap* da58b149 0+0 [ 0:17] pc: code* 12e8 9 [ 0:17] location: /divine/src/libc/functions/unistd/syscall.c:25 [ 0:17] symbol: __dios_syscall [ 0:17] [ 0:17] - address: heap* f602391e 0+0 [ 0:17] pc: code* 355 1a [ 0:17] location: /divine/include/dios/core/fault.hpp:140 [ 0:17] symbol: __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::handler(_VM_Fault, _VM_Frame*, void (*)(), ...) [ 0:17] [ 0:17] - address: heap* c04d1399 0+0 [ 0:17] pc: code* 128c 11 [ 0:17] location: /divine/src/libc/functions/sys/fault.c:25 [ 0:17] symbol: __dios_fault [ 0:17] [ 0:17] - address: heap* f8562319 0+0 [ 0:17] pc: code* 1287 2 [ 0:17] location: /divine/src/libc/functions/_PDCLIB/assert.c:21 [ 0:17] symbol: _PDCLIB_assert_dios [ 0:17] [ 0:17] - address: heap* 6e612314 0+0 [ 0:17] pc: code* 1 55 [ 0:17] location: /home/xrockai/src/divine/nightly/test/abstract/2.sym-cast-h.cpp:22 [ 0:17] symbol: main [ 0:17] [ 0:17] - address: heap* 797b4e39 0+0 [ 0:17] pc: code* 1293 b [ 0:17] location: /divine/src/libc/functions/sys/start.cpp:72 [ 0:17] symbol: _start [ 0:17] [ 0:17] setting up pass: abstraction, options = sym [ 0:19] [ 0:26] ^ —————. —.— . . —.— . . .————— . . [ 0:26] ——— | | | | | | |\ | | | | [ 0:26] —(o)— | | | | | | | \ | |———— '————| [ 0:26] ——————— | | | \ / | | \| | | [ 0:26] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:26] [ 0:26] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:26] # executing __boot at /divine/src/dios/core/dios.cpp:166 [ 0:26] traced states: #1 #2 #3 #4 #5 #6 #7 #8 #9 #10 #11 #12 #13 #14 #15 #16 #17 #18 #19 #20 #21 #22 #23 #24 #25 #26 #27 #28 #29 #30 #31 #32 [ 0:28] trace: [ 0:28] T: t2901962410: DiOS Fault: Assertion failed: x == 0, file /home/xrockai/src/divine/nightly/test/abstract/2.sym-cast-h.cpp, line 22. [ 0:28] # executing __dios_trace_f at /divine/src/dios/core/trace.cpp:111 [ 0:28] T: Fault in userspace: diosassert [ 0:28] # executing __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::fault_handler(int, _VM_Frame*, int) [ 0:28] # at /divine/include/dios/core/fault.hpp:113 [ 0:28] - address: heap* f5ae824b 0+0 [ 0:28] pc: code* 1b0 69 [ 0:28] location: /divine/include/dios/core/fault.hpp:113 [ 0:28] symbol: __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::fault_handler(int, _VM_Frame*, int) [ 0:28] [ 0:28] - address: heap* 5c8ad34 0+0 [ 0:28] pc: code* 1af 28 [ 0:28] location: /divine/include/dios/core/syscall.hpp:67 [ 0:28] symbol: auto std::__2::enable_if::value, void>::type __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::unpack, std::__2::tuple, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__2::tuple, __dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void (__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::*)(int, _VM_Frame*, int), void*, __va_list_tag*, int)::'lambda'(brick::hlist::TypeList<>)::operator()(brick::hlist::TypeList<>) const [ 0:28] [ 0:28] - address: heap* 73223bd1 0+0 [ 0:28] pc: code* 1ae 12 [ 0:28] location: /home/xrockai/src/divine/nightly/bricks/brick-tuple:122 [ 0:28] symbol: decltype(fp(std::get<0>(fp0)std::get<1>(fp0)std::get<2>(fp0))) brick::tuple::_Pass >::call::value, void>::type __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::unpack, std::__2::tuple, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__2::tuple, __dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void (__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::*)(int, _VM_Frame*, int), void*, __va_list_tag*, int)::'lambda'(brick::hlist::TypeList<>), std::__2::tuple&>(std::__2::enable_if::value, void>::type __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::unpack, std::__2::tuple, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__2::tuple, __dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void (__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::*)(int, _VM_Frame*, int), void*, __va_list_tag*, int)::'lambda'(brick::hlist::TypeList<>)&&, std::__2::remove_reference >::type&) [ 0:28] [ 0:28] - address: heap* 6a69aa09 0+0 [ 0:28] pc: code* 1ad 92 [ 0:28] location: /home/xrockai/src/divine/nightly/bricks/brick-tuple:183 [ 0:28] symbol: void __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::unpack, std::__2::tuple, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__2::tuple, __dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void (__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::*)(int, _VM_Frame*, int), void*, __va_list_tag*) [ 0:28] [ 0:28] - address: heap* f31f90ca 0+0 [ 0:28] pc: code* 1ac 3f [ 0:28] location: /divine/include/dios/core/syscall.hpp:75 [ 0:28] symbol: void __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::unpack, std::__2::tuple, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__2::tuple, __dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void (__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::*)(int, _VM_Frame*, int), void*, __va_list_tag*) [ 0:28] [ 0:28] - address: heap* 42fdd1a5 0+0 [ 0:28] pc: code* 1ab 2b [ 0:28] location: /divine/include/dios/core/syscall.hpp:75 [ 0:28] symbol: void __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::unpack, std::__2::tuple<>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__2::tuple<>, __dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void (__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::*)(int, _VM_Frame*, int), void*, __va_list_tag*) [ 0:28] [ 0:28] - address: heap* 2714453d 0+0 [ 0:28] pc: code* 1aa c [ 0:28] location: /divine/include/dios/core/syscall.hpp:81 [ 0:28] symbol: __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::fault_handlerWrappper(__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, void*, __va_list_tag*) [ 0:28] [ 0:28] - address: heap* e45a08c8 0+0 [ 0:28] pc: code* 351 14 [ 0:28] location: /divine/include/dios/core/syscall.hpp:38 [ 0:28] symbol: __dios::Syscall<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > > >::handle(__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >&, _DiOS_Syscall&) [ 0:28] [ 0:28] - address: heap* 11 0+0 [ 0:28] pc: code* 33e 36 [ 0:28] location: /divine/include/dios/core/scheduling.hpp:524 [ 0:28] symbol: void __dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > >::run_scheduler<__dios::ProcessManager<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >, true>() [ 0:28] [ 0:28] backtrace 1: [ 0:28] - address: heap* 1bbf0459 0+0 [ 0:28] pc: code* 12e7 16 [ 0:28] location: /divine/src/libc/functions/unistd/syscall.c:13 [ 0:28] symbol: __dios_trap [ 0:28] [ 0:28] - address: heap* da58b149 0+0 [ 0:28] pc: code* 12e8 9 [ 0:28] location: /divine/src/libc/functions/unistd/syscall.c:25 [ 0:28] symbol: __dios_syscall [ 0:28] [ 0:28] - address: heap* f602391e 0+0 [ 0:28] pc: code* 355 1a [ 0:28] location: /divine/include/dios/core/fault.hpp:140 [ 0:28] symbol: __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::handler(_VM_Fault, _VM_Frame*, void (*)(), ...) [ 0:28] [ 0:28] - address: heap* c04d1399 0+0 [ 0:28] pc: code* 128c 11 [ 0:28] location: /divine/src/libc/functions/sys/fault.c:25 [ 0:28] symbol: __dios_fault [ 0:28] [ 0:28] - address: heap* f8562319 0+0 [ 0:28] pc: code* 1287 2 [ 0:28] location: /divine/src/libc/functions/_PDCLIB/assert.c:21 [ 0:28] symbol: _PDCLIB_assert_dios [ 0:28] [ 0:28] - address: heap* 6e612314 0+0 [ 0:28] pc: code* 1 55 [ 0:28] location: /home/xrockai/src/divine/nightly/test/abstract/2.sym-cast-h.cpp:22 [ 0:28] symbol: main [ 0:28] [ 0:28] - address: heap* 797b4e39 0+0 [ 0:28] pc: code* 1293 b [ 0:28] location: /divine/src/libc/functions/sys/start.cpp:72 [ 0:28] symbol: _start [ 0:28] [ 0:28] # executing __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::fault_handler(int, _VM_Frame*, int) [ 0:28] # at /divine/include/dios/core/fault.hpp:113