Searched defs:proof2 (Results 1 – 3 of 3) sorted by relevance
74 TimeProof proof2 = timeProofService.getProof(time2, key); in TEST() local
569 let mut proof2 = proof.clone(); in test_complex_statement() localVariable585 let mut proof2 = proof.clone(); in test_complex_statement() localVariable593 let mut proof2 = proof.clone(); in test_complex_statement() localVariable
582 let mut proof2 = proof.clone(); in test_complex_statement() localVariable598 let mut proof2 = proof.clone(); in test_complex_statement() localVariable606 let mut proof2 = proof.clone(); in test_complex_statement() localVariable