CBMC
goto-inspect

Folder goto-inspect

Author
Fotis Koutoulakis

The goto-inspect/ contains the code for the binary goto-inspect, intended to provide an all-purpose tool for inspection of goto-binaries (properties, goto-functions, etc).