Struct test_generation::summaries::Summary
source · pub struct Summary {
pub preconditions: Vec<Box<Precondition>>,
pub effects: Effects,
}
Expand description
The Summary
of a bytecode instruction contains a list of Precondition
s
and a list of Effect
s.
Fields§
§preconditions: Vec<Box<Precondition>>
§effects: Effects