[ 0:01] | load /home/xrockai/src/divine/nightly/test/demo/gtest.cpp gtest.cpp [ 0:01] | expect --result error --location gtest.cpp:8 [ 0:01] | expect --trace FAULT: --trace-count 1 [ 0:01] | cc -o testcase.bc -std=c++14 gtest.cpp /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest-all.cc /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest_main.cc -I/home/xrockai/src/divine/nightly/test/lib/gtest -lm [ 0:01] | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --leakcheck exit -o nofail:malloc testcase.bc [ 0:01] compiling gtest.cpp [ 0:01] compiling /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest-all.cc [ 0:02] compiling /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest_main.cc [ 0:07] loading bitcode … DiOS … LART … RR … constants … done [ 0:47] booting … done [ 0:47] states per second: 443.613 [ 0:49] state count: 889 [ 0:49] mips: 0.23 [ 0:49] [ 0:53] error found: yes [ 0:53] error trace: | [ 0:53] [0] Running main() from gtest_main.cc [ 0:53] [0] [==========] Running 1 test from 1 test case. [ 0:53] [0] [----------] Global test environment set-up. [ 0:53] [0] [----------] 1 test from Buggy [ 0:53] [0] [ RUN ] Buggy.Foo [ 0:53] FAULT: gtest.cpp:8: virtual void Buggy_Foo_Test::TestBody(): assertion '0' failed [ 0:53] [0] FATAL: assertion failure in userspace [ 0:53] [ 0:53] active stack: [ 0:54] - symbol: void __dios::FaultBase::handler<__dios::Context>(_VM_Fault, _VM_Frame*, void (*)()) [ 0:55] location: /dios/sys/fault.hpp:118 [ 0:55] - symbol: __dios_fault [ 0:55] location: /dios/arch/divm/fault.c:12 [ 0:55] - symbol: __assert_fail [ 0:55] location: /dios/libc/_PDCLIB/assert.c:24 [ 0:55] - symbol: Buggy_Foo_Test::TestBody() [ 0:55] location: gtest.cpp:8 [ 0:55] - symbol: void testing::internal::HandleSehExceptionsInMethodIfSupported(testing::Test*, void (testing::Test::*)(), char const*) [ 0:55] location: /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:2402 [ 0:55] - symbol: void testing::internal::HandleExceptionsInMethodIfSupported(testing::Test*, void (testing::Test::*)(), char const*) [ 0:55] location: /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:2438 [ 0:55] - symbol: testing::Test::Run() [ 0:55] location: /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:2474 [ 0:55] - symbol: testing::TestInfo::Run() [ 0:55] location: /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:2656 [ 0:55] - symbol: testing::TestCase::Run() [ 0:55] location: /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:2774 [ 0:55] - symbol: testing::internal::UnitTestImpl::RunAllTests() [ 0:55] location: /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:4649 [ 0:55] + divine sim --batch --skip-init --load-report verify.out [ 0:55] [ 1:29] ^ —————. —.— . . —.— . . .————— . . [ 1:29] ——— | | | | | | |\ | | | | [ 1:29] —(o)— | | | | | | | \ | |———— '————| [ 1:29] ——————— | | | \ / | | \| | | [ 1:29] ————————— —————' —'— ' —'— ' ' '————— ' [ 1:29] [ 1:29] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 1:29] traced states: [ 1:36] trace: [ 1:36] T: [0] Running main() from gtest_main.cc [ 1:36] T: [0] [==========] Running 1 test from 1 test case. [ 1:36] T: [0] [----------] Global test environment set-up. [ 1:36] T: [0] [----------] 1 test from Buggy [ 1:36] T: [0] [ RUN ] Buggy.Foo [ 1:36] ▶ state #888 [new] -- active threads: [0:0] -- [ 1:36] T: FAULT: gtest.cpp:8: virtual void Buggy_Foo_Test::TestBody(): assertion '0' failed [ 1:37] # executing void __dios::FaultBase::handler<{Context}>(_VM_Fault, _VM_Frame*, void (*)()) at /dios/sys/fault.hpp:118 [ 1:37] # NOTE: $frame in __dios_fault [ 1:37] > backtrace [ 1:37] void __dios::FaultBase::handler<{Context}>(_VM_Fault, _VM_Frame*, void (*)()) at /dios/sys/fault.hpp:118 [ 1:37] __dios_fault at /dios/arch/divm/fault.c:12 [ 1:37] __assert_fail at /dios/libc/_PDCLIB/assert.c:24 [ 1:37] Buggy_Foo_Test::TestBody() at gtest.cpp:8 [ 1:37] void testing::internal::HandleSehExceptionsInMethodIfSupported(testing::Test*, void (testing::Test::*)(), char const*) at /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:2402 [ 1:37] void testing::internal::HandleExceptionsInMethodIfSupported(testing::Test*, void (testing::Test::*)(), char const*) at /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:2438 [ 1:37] testing::Test::Run() at /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:2474 [ 1:37] testing::TestInfo::Run() at /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:2656 [ 1:37] testing::TestCase::Run() at /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:2774 [ 1:37] testing::internal::UnitTestImpl::RunAllTests() at /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:4649 [ 1:37] bool testing::internal::HandleSehExceptionsInMethodIfSupported(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) at /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:2402 [ 1:37] bool testing::internal::HandleExceptionsInMethodIfSupported(testing::internal::UnitTestImpl*, bool (testing::internal::UnitTestImpl::*)(), char const*) at /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:2438 [ 1:37] testing::UnitTest::Run() at /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest.cc:4257 [ 1:37] RUN_ALL_TESTS() at /home/xrockai/src/divine/nightly/test/lib/gtest/gtest/gtest.h:2233 [ 1:37] main at /home/xrockai/src/divine/nightly/test/lib/gtest/src/gtest_main.cc:37 [ 1:37] __dios_start at /dios/libc/sys/start.cpp:97 [ 1:37] # executing void __dios::FaultBase::handler<{Context}>(_VM_Fault, _VM_Frame*, void (*)()) at /dios/sys/fault.hpp:118 [ 1:37] # NOTE: $frame in __dios_fault