[ 0:01] --symbolic
[ 0:01] compiling /home/xrockai/src/divine/nightly/test/abstract/2.sym-cast-f.cpp
[ 0:01] loading bitcode … LART … setting up pass: abstraction, options = sym
[ 0:04] RR … constants … done
[ 0:08] booting … done
[ 0:09] 
[ 0:09] searching: 1 states found in 0:00, averaging 166.7, queued: 0      
[ 0:09] searching: 56 states found in 0:00, averaging 109.4, queued: 0      
[ 0:10] found 61 states in 0:01, averaging 60.3                             
[ 0:10] 
[ 0:10] state count: 61
[ 0:10] states per second: 60.2767
[ 0:10] version: 4.0.6+30677c5c7985
[ 0:10] 
[ 0:10] architecture: Intel(R) Xeon(R) CPU E5-2630 v2 @ 2.60GHz
[ 0:10] memory used: 949040
[ 0:10] physical memory used: 361060
[ 0:10] user time: 5.130000
[ 0:10] system time: 0.480000
[ 0:10] wall time: 6.202422
[ 0:10] 
[ 0:11] timers:
[ 0:12]   lart: 1.27
[ 0:12]   loader: 1.81
[ 0:12]   boot: 1.33
[ 0:12]   search: 1.01
[ 0:12]   ce: 1.65
[ 0:12] error found: yes
[ 0:12] error trace: |
[ 0:12]   t2901962410: Assertion failed: y != -32768, file /home/xrockai/src/divine/nightly/test/abstract/2.sym-cast-f.cpp, line 22.
[ 0:12]   Fault in userspace: diosassert
[ 0:12]   Backtrace:
[ 0:12]     1: __dios_fault
[ 0:12]     2: _PDCLIB_assert_dios
[ 0:12]     3: main
[ 0:12]     4: _start
[ 0:12] 
[ 0:12] choices made: 0^18 1 0^15
[ 0:12] error state:
[ 0:12]   backtrace 1: # active stack
[ 0:12]     - address: heap* 879c5d4e 0+0
[ 0:12]       pc: code* 16c 50
[ 0:12]       location: /divine/include/dios/core/fault.hpp:85
[ 0:12]       symbol: __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::fault_handler(int, _VM_Frame*, int)
[ 0:12] 
[ 0:12]     - address: heap* 86cfb29 0+0
[ 0:12]       pc: code* 16b 24
[ 0:12]       location: /divine/include/dios/core/syscall.hpp:72
[ 0:12]       symbol: auto std::__1::enable_if<std::is_same<void, void>::value, void>::type __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::unpack<brick::hlist::TypeList<>, std::__1::tuple<int, _VM_Frame*, int>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__1::tuple<int, _VM_Frame*, int>, __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()<int, _VM_Frame*, int>(brick::hlist::TypeList<>) const
[ 0:12] 
[ 0:12]     - address: heap* 68f05f54 0+0
[ 0:12]       pc: code* 16a d
[ 0:12]       location: /home/xrockai/src/divine/nightly/bricks/brick-tuple:122
[ 0:12]       symbol: decltype(fp(std::get<0>(fp0)std::get<1>(fp0)std::get<2>(fp0))) brick::tuple::_Pass<brick::tuple::Indices<0, 1, 2> >::call<std::__1::enable_if<std::is_same<void, void>::value, void>::type __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::unpack<brick::hlist::TypeList<>, std::__1::tuple<int, _VM_Frame*, int>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__1::tuple<int, _VM_Frame*, int>, __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::__1::tuple<int, _VM_Frame*, int>&>(std::__1::enable_if<std::is_same<void, void>::value, void>::type __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::unpack<brick::hlist::TypeList<>, std::__1::tuple<int, _VM_Frame*, int>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__1::tuple<int, _VM_Frame*, int>, __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::__1::remove_reference<std::__1::tuple<int, _VM_Frame*, int> >::type&)
[ 0:12] 
[ 0:12]     - address: heap* 96e6ea05 0+0
[ 0:12]       pc: code* 169 2d
[ 0:12]       location: /home/xrockai/src/divine/nightly/bricks/brick-tuple:183
[ 0:12]       symbol: void __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::unpack<brick::hlist::TypeList<int>, std::__1::tuple<int, _VM_Frame*>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__1::tuple<int, _VM_Frame*>, __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:12] 
[ 0:12]     - address: heap* 18f112c 0+0
[ 0:12]       pc: code* 168 2
[ 0:12]       location: /divine/include/dios/core/syscall.hpp:80
[ 0:12]       symbol: void __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::unpack<brick::hlist::TypeList<_VM_Frame*, int>, std::__1::tuple<int>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__1::tuple<int>, __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:12] 
[ 0:12]     - address: heap* 196d3a73 0+0
[ 0:12]       pc: code* 167 2
[ 0:12]       location: /divine/include/dios/core/syscall.hpp:80
[ 0:12]       symbol: void __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::unpack<brick::hlist::TypeList<int, _VM_Frame*, int>, std::__1::tuple<>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__1::tuple<>, __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:12] 
[ 0:12]     - address: heap* 38e011fc 0+0
[ 0:12]       pc: code* 166 1
[ 0:12]       location: /divine/include/dios/core/syscall.hpp:86
[ 0:12]       symbol: __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::fault_handlerWrappper(__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > >&, void*, __va_list_tag*)
[ 0:12] 
[ 0:12]     - address: heap* 5aeecbde 0+0
[ 0:12]       pc: code* 2d1 12
[ 0:12]       location: /divine/include/dios/core/syscall.hpp:43
[ 0:12]       symbol: __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::handle(__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > >&, _DiOS_Syscall&)
[ 0:12] 
[ 0:12]     - address: heap* 11 0+0
[ 0:12]       pc: code* 2d3 27
[ 0:12]       location: /divine/include/dios/core/scheduling.hpp:468
[ 0:12]       symbol: void __dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > >::run_scheduler<false>()
[ 0:12] 
[ 0:12]   backtrace 2:
[ 0:12]     - address: heap* 8a092942 0+0
[ 0:12]       pc: code* da6 12
[ 0:12]       location: /divine/src/libc/functions/unistd/syscall.c:13
[ 0:12]       symbol: __dios_trap
[ 0:12] 
[ 0:12]     - address: heap* b2dd33e 0+0
[ 0:12]       pc: code* da7 5
[ 0:12]       location: /divine/src/libc/functions/unistd/syscall.c:25
[ 0:12]       symbol: __dios_syscall
[ 0:12] 
[ 0:12]     - address: heap* f6d5991b 0+0
[ 0:12]       pc: code* 2d5 14
[ 0:12]       location: /divine/include/dios/core/fault.hpp:112
[ 0:12]       symbol: __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::handler(_VM_Fault, _VM_Frame*, void (*)(), ...)
[ 0:12] 
[ 0:12]     - address: heap* f62993bd 0+0
[ 0:12]       pc: code* d52 e
[ 0:12]       location: /divine/src/libc/functions/sys/fault.c:25
[ 0:12]       symbol: __dios_fault
[ 0:12] 
[ 0:12]     - address: heap* 2ffbb129 0+0
[ 0:12]       pc: code* d4d 1
[ 0:12]       location: /divine/src/libc/functions/_PDCLIB/assert.c:21
[ 0:12]       symbol: _PDCLIB_assert_dios
[ 0:12] 
[ 0:12]     - address: heap* 96c75834 0+0
[ 0:12]       pc: code* 1 51
[ 0:12]       location: /home/xrockai/src/divine/nightly/test/abstract/2.sym-cast-f.cpp:22
[ 0:12]       symbol: main
[ 0:12] 
[ 0:12]     - address: heap* 797b4e39 0+0
[ 0:12]       pc: code* 2f8 7
[ 0:12]       location: /divine/src/dios/core/main.cpp:173
[ 0:12]       symbol: _start
[ 0:12] 
[ 0:12] setting up pass: abstraction, options = sym
[ 0:14] 
[ 0:18]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
[ 0:18]           ———      |     |   |   |     |   |   |\    |  |         |    |
[ 0:18]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
[ 0:18]         ———————    |     |   |    \   /    |   |    \|  |              |
[ 0:18]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
[ 0:18] 
[ 0:18] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
[ 0:18] # executing __boot at /divine/src/dios/core/dios.cpp:213
[ 0:18] 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
[ 0:19] trace:
[ 0:19] T: t2901962410: Assertion failed: y != -32768, file /home/xrockai/src/divine/nightly/test/abstract/2.sym-cast-f.cpp, line 22.
[ 0:19] # executing __dios_trace at /divine/src/dios/core/trace.cpp:104
[ 0:19] T: Fault in userspace: diosassert
[ 0:19] # executing __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::fault_handler(int, _VM_Frame*, int)
[ 0:19] #        at /divine/include/dios/core/fault.hpp:85
[ 0:19]     - address: heap* 879c5d4e 0+0
[ 0:19]       pc: code* 16c 50
[ 0:19]       location: /divine/include/dios/core/fault.hpp:85
[ 0:19]       symbol: __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::fault_handler(int, _VM_Frame*, int)
[ 0:19] 
[ 0:19]     - address: heap* 86cfb29 0+0
[ 0:19]       pc: code* 16b 24
[ 0:19]       location: /divine/include/dios/core/syscall.hpp:72
[ 0:19]       symbol: auto std::__1::enable_if<std::is_same<void, void>::value, void>::type __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::unpack<brick::hlist::TypeList<>, std::__1::tuple<int, _VM_Frame*, int>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__1::tuple<int, _VM_Frame*, int>, __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()<int, _VM_Frame*, int>(brick::hlist::TypeList<>) const
[ 0:19] 
[ 0:19]     - address: heap* 68f05f54 0+0
[ 0:19]       pc: code* 16a d
[ 0:19]       location: /home/xrockai/src/divine/nightly/bricks/brick-tuple:122
[ 0:19]       symbol: decltype(fp(std::get<0>(fp0)std::get<1>(fp0)std::get<2>(fp0))) brick::tuple::_Pass<brick::tuple::Indices<0, 1, 2> >::call<std::__1::enable_if<std::is_same<void, void>::value, void>::type __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::unpack<brick::hlist::TypeList<>, std::__1::tuple<int, _VM_Frame*, int>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__1::tuple<int, _VM_Frame*, int>, __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::__1::tuple<int, _VM_Frame*, int>&>(std::__1::enable_if<std::is_same<void, void>::value, void>::type __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::unpack<brick::hlist::TypeList<>, std::__1::tuple<int, _VM_Frame*, int>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__1::tuple<int, _VM_Frame*, int>, __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::__1::remove_reference<std::__1::tuple<int, _VM_Frame*, int> >::type&)
[ 0:19] 
[ 0:19]     - address: heap* 96e6ea05 0+0
[ 0:19]       pc: code* 169 2d
[ 0:19]       location: /home/xrockai/src/divine/nightly/bricks/brick-tuple:183
[ 0:19]       symbol: void __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::unpack<brick::hlist::TypeList<int>, std::__1::tuple<int, _VM_Frame*>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__1::tuple<int, _VM_Frame*>, __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:19] 
[ 0:19]     - address: heap* 18f112c 0+0
[ 0:19]       pc: code* 168 2
[ 0:19]       location: /divine/include/dios/core/syscall.hpp:80
[ 0:19]       symbol: void __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::unpack<brick::hlist::TypeList<_VM_Frame*, int>, std::__1::tuple<int>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__1::tuple<int>, __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:19] 
[ 0:19]     - address: heap* 196d3a73 0+0
[ 0:19]       pc: code* 167 2
[ 0:19]       location: /divine/include/dios/core/syscall.hpp:80
[ 0:19]       symbol: void __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::unpack<brick::hlist::TypeList<int, _VM_Frame*, int>, std::__1::tuple<>, __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >, void, int, _VM_Frame*, int>(std::__1::tuple<>, __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:19] 
[ 0:19]     - address: heap* 38e011fc 0+0
[ 0:19]       pc: code* 166 1
[ 0:19]       location: /divine/include/dios/core/syscall.hpp:86
[ 0:19]       symbol: __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::fault_handlerWrappper(__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > >&, void*, __va_list_tag*)
[ 0:19] 
[ 0:19]     - address: heap* 5aeecbde 0+0
[ 0:19]       pc: code* 2d1 12
[ 0:19]       location: /divine/include/dios/core/syscall.hpp:43
[ 0:19]       symbol: __dios::Syscall<__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > > >::handle(__dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > >&, _DiOS_Syscall&)
[ 0:19] 
[ 0:19]     - address: heap* 11 0+0
[ 0:19]       pc: code* 2cd 28
[ 0:19]       location: /divine/include/dios/core/scheduling.hpp:468
[ 0:19]       symbol: void __dios::Scheduler<__dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > > >::run_scheduler<true>()
[ 0:19] 
[ 0:19]   backtrace 1:
[ 0:19]     - address: heap* 8a092942 0+0
[ 0:19]       pc: code* da6 12
[ 0:19]       location: /divine/src/libc/functions/unistd/syscall.c:13
[ 0:19]       symbol: __dios_trap
[ 0:19] 
[ 0:19]     - address: heap* b2dd33e 0+0
[ 0:19]       pc: code* da7 5
[ 0:19]       location: /divine/src/libc/functions/unistd/syscall.c:25
[ 0:19]       symbol: __dios_syscall
[ 0:19] 
[ 0:19]     - address: heap* f6d5991b 0+0
[ 0:19]       pc: code* 2d5 14
[ 0:19]       location: /divine/include/dios/core/fault.hpp:112
[ 0:19]       symbol: __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::handler(_VM_Fault, _VM_Frame*, void (*)(), ...)
[ 0:19] 
[ 0:19]     - address: heap* f62993bd 0+0
[ 0:19]       pc: code* d52 e
[ 0:19]       location: /divine/src/libc/functions/sys/fault.c:25
[ 0:19]       symbol: __dios_fault
[ 0:19] 
[ 0:19]     - address: heap* 2ffbb129 0+0
[ 0:19]       pc: code* d4d 1
[ 0:19]       location: /divine/src/libc/functions/_PDCLIB/assert.c:21
[ 0:19]       symbol: _PDCLIB_assert_dios
[ 0:19] 
[ 0:19]     - address: heap* 96c75834 0+0
[ 0:19]       pc: code* 1 51
[ 0:19]       location: /home/xrockai/src/divine/nightly/test/abstract/2.sym-cast-f.cpp:22
[ 0:19]       symbol: main
[ 0:19] 
[ 0:19]     - address: heap* 797b4e39 0+0
[ 0:19]       pc: code* 2f8 7
[ 0:19]       location: /divine/src/dios/core/main.cpp:173
[ 0:19]       symbol: _start
[ 0:19] 
[ 0:19] # executing __dios::Fault<__dios::fs::VFS<__dios::MachineParams<__dios::MonitorManager<__dios::BaseContext> > > >::fault_handler(int, _VM_Frame*, int)
[ 0:20] #        at /divine/include/dios/core/fault.hpp:85