Showing globals does not work
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.