Searched refs:Expect (Results 1 – 3 of 3) sorted by relevance
27 Expect(fn(&TermSignature) -> VerificationResult), enumerator144 TestResult::Expect(expect) => term_signatures in test_rules_with_term()
42 Pulley is very much still a work in progress! Expect the details of the bytecode
979 TestResult::Expect(|sig| { in test_broken_uextend()