Qortal/pirate-librustzcash
1
0
Fork 1
mirror of https://github.com/Qortal/pirate-librustzcash.git synced 2025-07-30 20:11:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add missing cs.is_satisfied() to bellman test

Browse Source
This commit is contained in:
Jack Grigg
2019-09-17 00:16:33 +01:00
parent 3701c2b442
commit 39a73c8eda
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
bellman/src/gadgets/boolean.rs
View File

@@ -1797,6 +1797,8 @@ mod test {
AllocatedBit::alloc_conditionally(cs.namespace(|| "alloc_conditionally"), value, &b1) AllocatedBit::alloc_conditionally(cs.namespace(|| "alloc_conditionally"), value, &b1)
.unwrap(); .unwrap();
assert!(cs.is_satisfied());
//check with true bit //check with true bit
let mut cs = TestConstraintSystem::<Bls12>::new(); let mut cs = TestConstraintSystem::<Bls12>::new();
let b2 = AllocatedBit::alloc(&mut cs, Some(true)).unwrap(); let b2 = AllocatedBit::alloc(&mut cs, Some(true)).unwrap();