Expand description
Configuration for symbolic testing.
Re-exports§
use serde::Deserialize;🔒use serde::Deserialize;🔒use serde::Serialize;🔒use serde::Serialize;🔒use std::collections::BTreeMap;🔒
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.