CBMC
|
Property Decider for Goto-Symex. More...
Go to the source code of this file.
Classes | |
class | goto_symex_property_decidert |
Provides management of goal variables that encode properties. More... | |
struct | goto_symex_property_decidert::goalt |
Property Decider for Goto-Symex.
Definition in file goto_symex_property_decider.h.