[ 0:00] --symbolic
[ 0:00] compiling /home/xrockai/src/divine/nightly/test/abstract/2.sym-struct-a.cpp
[ 0:00] symbolic: 1loading bitcode … LART … RR … constants … done
[ 0:12] booting … done
[ 0:13] 
[ 0:13] searching: 1 states found in 0:00, averaging 200.0, queued: 0      
[ 0:14] searching: 3 states found in 0:00, averaging 5.7, queued: 0      
[ 0:15] searching: 7 states found in 0:01, averaging 6.8, queued: 0      
[ 0:15] found 9 states in 0:01, averaging 5.9                             
[ 0:15] 
[ 0:15] state count: 9
[ 0:15] states per second: 5.90939
[ 0:15] version: 4.0.13+8316a51de34d
[ 0:15] 
[ 0:15] architecture: Intel(R) Xeon(R) CPU E5-2630 v2 @ 2.60GHz
[ 0:15] memory used: 1059560
[ 0:15] physical memory used: 463488
[ 0:15] user time: 8.130000
[ 0:15] system time: 0.570000
[ 0:15] wall time: 9.424739
[ 0:15] 
[ 0:18] timers:
[ 0:18]   lart: 1.64
[ 0:18]   loader: 2.95
[ 0:18]   boot: 1.9
[ 0:18]   search: 1.52
[ 0:18]   ce: 2.92
[ 0:18] error found: yes
[ 0:18] error trace: |
[ 0:18]   t2901962410: DiOS Fault: Assertion failed: s.x != 0, file /home/xrockai/src/divine/nightly/test/abstract/2.sym-struct-a.cpp, line 14.
[ 0:18]   Fault in userspace: diosassert
[ 0:18]   Backtrace:
[ 0:18]     1: __dios_fault
[ 0:18]     2: _PDCLIB_assert_dios
[ 0:18]     3: main
[ 0:18]     4: _start
[ 0:18] 
[ 0:18] error state:
[ 0:18]   backtrace 1: # active stack
[ 0:18]     - address: heap* 2ea2216a 0+0
[ 0:18]       pc: code* 14c 6d
[ 0:18]       location: /divine/include/dios/core/fault.hpp:179
[ 0:18]       symbol: {Fault}::fault_handler(int, _VM_Frame*, int)
[ 0:18] 
[ 0:18]     - address: heap* 97326f7c 0+0
[ 0:18]       pc: code* 14b e3
[ 0:18]       location: /divine/include/dios/core/syscall.hpp:70
[ 0:18]       symbol: {Syscall}::fault_handlerWrappper({Context}&, void*, __va_list_tag*)
[ 0:18] 
[ 0:18]     - address: heap* b12e3e81 0+0
[ 0:18]       pc: code* 250 14
[ 0:18]       location: /divine/include/dios/core/syscall.hpp:41
[ 0:18]       symbol: {Syscall}::handle({Context}&, _DiOS_Syscall&)
[ 0:18] 
[ 0:18]     - address: heap* 11 0+0
[ 0:18]       pc: code* 23d 35
[ 0:18]       location: /divine/include/dios/core/scheduling.hpp:512
[ 0:18]       symbol: void {Scheduler}::run_scheduler<{Context} >()
[ 0:18] 
[ 0:18]   backtrace 2:
[ 0:18]     - address: heap* 5abafa2d 0+0
[ 0:18]       pc: code* fea 15
[ 0:18]       location: /divine/src/libc/functions/unistd/syscall.c:14
[ 0:18]       symbol: __dios_trap
[ 0:18] 
[ 0:18]     - address: heap* ce86f7d6 0+0
[ 0:18]       pc: code* feb 9
[ 0:18]       location: /divine/src/libc/functions/unistd/syscall.c:26
[ 0:18]       symbol: __dios_syscall
[ 0:18] 
[ 0:18]     - address: heap* af373b98 0+0
[ 0:18]       pc: code* 228 1a
[ 0:18]       location: /divine/include/dios/core/fault.hpp:203
[ 0:18]       symbol: {Fault}::handler(_VM_Fault, _VM_Frame*, void (*)(), ...)
[ 0:18] 
[ 0:18]     - address: heap* c0c506ad 0+0
[ 0:18]       pc: code* fe1 11
[ 0:18]       location: /divine/src/libc/functions/sys/fault.c:25
[ 0:18]       symbol: __dios_fault
[ 0:18] 
[ 0:18]     - address: heap* 5ddcbdee 0+0
[ 0:18]       pc: code* fdc 2
[ 0:18]       location: /divine/src/libc/functions/_PDCLIB/assert.c:21
[ 0:18]       symbol: _PDCLIB_assert_dios
[ 0:18] 
[ 0:18]     - address: heap* 6e612314 0+0
[ 0:18]       pc: code* 1 18
[ 0:18]       location: /home/xrockai/src/divine/nightly/test/abstract/2.sym-struct-a.cpp:14
[ 0:18]       symbol: main
[ 0:18] 
[ 0:18]     - address: heap* 797b4e39 0+0
[ 0:18]       pc: code* fe8 b
[ 0:18]       location: /divine/src/libc/functions/sys/start.cpp:72
[ 0:18]       symbol: _start
[ 0:18] 
[ 0:18] a report was written to verify.out
[ 0:18] 
[ 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] traced states: #1 #2 #3 #4 #5 #6
[ 0:28] trace:
[ 0:28] T: t2901962410: DiOS Fault: Assertion failed: s.x != 0, file /home/xrockai/src/divine/nightly/test/abstract/2.sym-struct-a.cpp, line 14.
[ 0:28] # executing void {Scheduler}::run_scheduler<{Context} >()
[ 0:28] #        at /divine/include/dios/core/scheduling.hpp:502
[ 0:28] T: Fault in userspace: diosassert
[ 0:28] # executing {Fault}::fault_handler(int, _VM_Frame*, int)
[ 0:28] #        at /divine/include/dios/core/fault.hpp:179
[ 0:28]     - address: heap* 2ea2216a 0+0
[ 0:28]       pc: code* 14c 6d
[ 0:28]       location: /divine/include/dios/core/fault.hpp:179
[ 0:28]       symbol: {Fault}::fault_handler(int, _VM_Frame*, int)
[ 0:28] 
[ 0:28]     - address: heap* 97326f7c 0+0
[ 0:28]       pc: code* 14b e3
[ 0:28]       location: /divine/include/dios/core/syscall.hpp:70
[ 0:28]       symbol: {Syscall}::fault_handlerWrappper({Context}&, void*, __va_list_tag*)
[ 0:28] 
[ 0:28]     - address: heap* b12e3e81 0+0
[ 0:28]       pc: code* 250 14
[ 0:28]       location: /divine/include/dios/core/syscall.hpp:41
[ 0:28]       symbol: {Syscall}::handle({Context}&, _DiOS_Syscall&)
[ 0:28] 
[ 0:28]     - address: heap* 11 0+0
[ 0:28]       pc: code* 23d 35
[ 0:28]       location: /divine/include/dios/core/scheduling.hpp:512
[ 0:28]       symbol: void {Scheduler}::run_scheduler<{Context} >()
[ 0:28] 
[ 0:28]   backtrace 1:
[ 0:28]     - address: heap* 5abafa2d 0+0
[ 0:28]       pc: code* fea 15
[ 0:28]       location: /divine/src/libc/functions/unistd/syscall.c:14
[ 0:28]       symbol: __dios_trap
[ 0:28] 
[ 0:28]     - address: heap* ce86f7d6 0+0
[ 0:28]       pc: code* feb 9
[ 0:28]       location: /divine/src/libc/functions/unistd/syscall.c:26
[ 0:28]       symbol: __dios_syscall
[ 0:28] 
[ 0:28]     - address: heap* af373b98 0+0
[ 0:28]       pc: code* 228 1a
[ 0:28]       location: /divine/include/dios/core/fault.hpp:203
[ 0:28]       symbol: {Fault}::handler(_VM_Fault, _VM_Frame*, void (*)(), ...)
[ 0:28] 
[ 0:28]     - address: heap* c0c506ad 0+0
[ 0:28]       pc: code* fe1 11
[ 0:28]       location: /divine/src/libc/functions/sys/fault.c:25
[ 0:28]       symbol: __dios_fault
[ 0:28] 
[ 0:28]     - address: heap* 5ddcbdee 0+0
[ 0:28]       pc: code* fdc 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 18
[ 0:28]       location: /home/xrockai/src/divine/nightly/test/abstract/2.sym-struct-a.cpp:14
[ 0:28]       symbol: main
[ 0:28] 
[ 0:28]     - address: heap* 797b4e39 0+0
[ 0:28]       pc: code* fe8 b
[ 0:28]       location: /divine/src/libc/functions/sys/start.cpp:72
[ 0:28]       symbol: _start
[ 0:28] 
[ 0:28] # executing {Fault}::fault_handler(int, _VM_Frame*, int)
[ 0:28] #        at /divine/include/dios/core/fault.hpp:179