Opened 6 weeks ago

#56 new defect

Showing globals does not work

Reported by: Vladimír Štill Owned by: mornfall
Priority: major Milestone: 4.3
Component: sim Keywords:
Cc:

Description

From Marek:

DIVINE reaches abort() when trying to show a global variable. I used the latest static binary from the web.

> show $globals.result
E: .../divine/dbg/node.cpp: 754:
  encountered a missing implementation
Aborted (core dumped)

From the error message, I see that you are aware of this, but this is quite an important feature, therefore I filed this issue.

Change History (0)

Note: See TracTickets for help on using tickets.