cprover
|
See goto_programt.
See instructiont.
See instructiont.
To be documented.
To be documented.
goto_functionst is a map from function names to function bodies (CFGs).
To be documented.
goto_modelt is a compilation unit.
To be documented.
To be documented.