CBMC
|
Utilities for building havoc code for expressions. More...
Go to the source code of this file.
Classes | |
class | havoc_utils_can_forward_propagatet |
A class containing utility functions for havocing expressions. More... | |
class | havoc_utilst |
Typedefs | |
typedef std::set< exprt > | assignst |
Utilities for building havoc code for expressions.
Definition in file havoc_utils.h.
Definition at line 24 of file havoc_utils.h.