Skip to main content

summary

Function summary 

Source
pub fn summary(state: &DomainState) -> String
Expand description

ct-inv2.sh summary parity.