Opened 5 months ago

Closed 4 months ago

#56 closed defect (fixed)

Showing globals does not work

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

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 (1)

comment:1 Changed 4 months ago by mornfall

Cc: Marek Chalupa added
Resolution: fixed
Status: newclosed

Should be fixed in next.

Note: See TracTickets for help on using tickets.