ed255/pod2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat: add bool frontend type (#63)

Browse source
This commit is contained in:
Richard Liu 2025-02-18 10:16:46 -08:00 • committed by GitHub
parent 2d4d31dce9
commit 83a4f8969f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 71 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/backends/mock_main.rs
View file

@ -505,7 +505,7 @@ impl Pod for MockMainPod {
pub mod tests {
use super::*;
use crate::backends::mock_signed::MockSigner;
use crate::examples::{great_boy_pod_full_flow, zu_kyc_pod_builder, zu_kyc_sign_pod_builders};
use crate::examples::{great_boy_pod_full_flow, tickets_pod_full_flow, zu_kyc_pod_builder, zu_kyc_sign_pod_builders};
use crate::middleware;
#[test]
@ -550,4 +550,15 @@ pub mod tests {
assert_eq!(pod.verify(), true);
}
#[test]
fn test_mock_main_tickets() {
let tickets_builder = tickets_pod_full_flow();
let mut prover = MockProver {};
let proof_pod = tickets_builder.prove(&mut prover).unwrap();
let pod = proof_pod.pod.into_any().downcast::<MockMainPod>().unwrap();
println!("{}", pod);
assert_eq!(pod.verify(), true);
}
}