Expand description
Configuration for symbolic testing.
Structs§
- Symbolic
Config - Configuration for symbolic testing.
Enums§
- Symbolic
Exploration Order - Pending symbolic path exploration order.
- Symbolic
Storage Layout - Storage modelling mode for symbolic tests.