(claim: &Claim)
| 1732 | assert!(claim_roundtrip(&claim)); |
| 1733 | } |
| 1734 | |
| 1735 | #[test] |
| 1736 | fn test_reveal_proof_roundtrip() { |
| 1737 | let proof = Proof::new( |
| 1738 | Claim::Reveal { |
| 1739 | comm: Address::hash(b"comm"), |
| 1740 | info: RevealConstantInfo::Axio { |
| 1741 | is_unsafe: Some(false), |