MCPcopy Create free account
hub / github.com/PLSysSec/wave / EncodeQuickCheck

Interface EncodeQuickCheck

tools/fuzz-gen/src/qc_rewriter.rs:166–168  ·  view source on GitHub ↗

Encodes the specification as a boolean expression for quick checking...

Source from the content-addressed store, hash-verified

164
165// Encodes the specification as a boolean expression for quick checking...
166pub trait EncodeQuickCheck {
167 fn encode_quick_check(&self) -> (TokenStream, TokenStream);
168}
169
170/*impl EncodeQuickCheck for Vec<Specification> {
171 fn encode_quick_check(&self, tokens: &mut TokenStream) {

Callers

nothing calls this directly

Implementers 1

qc_rewriter.rstools/fuzz-gen/src/qc_rewriter.rs

Calls

no outgoing calls

Tested by

no test coverage detected