Module haybale::config

The Config structure for configuring haybale, and other associated definitions

Structs

Config

Various settings which affect how the symbolic execution is performed.

Enums

Concretize	Enum used for the concretize_memcpy_lengths option in Config.
Demangling	Enum used for the demangling option in Config.
NullPointerChecking	Enum used for the null_pointer_checking option in Config.