loading bitcode … DiOS … LART … RR … constants … done
booting … done
states per second: 5529.41
state count: 564
mips: 2.1

error found: yes
error trace: |
  FAULT: cannot enter kernel mode here
  [0] FATAL: unknown in userspace

active stack:
  - symbol: void __dios::FaultBase::handler<__dios::Context>(_VM_Fault, _VM_Frame*, void (*)())
    location: /dios/sys/fault.hpp:119
  - symbol: __dios::SysProxy::start_task(void (*)(void*), void*, int) (.1388)
    location: /dios/sys/syscall.hpp:64
  - symbol: __dios_start_task.1387
    location: /dios/include/sys/argpad.hpp:104
  - symbol: pthread_create.1386
    location: /dios/libc/pthread/pthread-core.cpp:106
  - symbol: std::__2::thread::thread<void (ADAPRO::Control::Thread::*)(), ADAPRO::Control::Thread*, void>(void (ADAPRO::Control::Thread::*&&)(), ADAPRO::Control::Thread*&&) (.1385)
    location: /dios/libcxx/include/__threading_support:336
  - symbol: ADAPRO::Control::Thread::start_async()
    location: /dios/libcxx/include/memory:3003
  - symbol: ADAPRO::Control::Thread::start_sync()
    location: /usr/include/adapro/ADAPOS/../control/Thread.hpp:592
  - symbol: main
    location: Model.cpp:73
  - symbol: __dios_start
    location: /dios/libc/sys/start.cpp:94
a report was written to model-divine.report