transaction_fuzzer::transaction_fuzzer::invariants

Static STATE

Source 
pub static STATE: Lazy<RwLock<Vec<Checks>>>