Add missing cs.is_satisfied() to bellman test
This commit is contained in:
parent
52bf23c5ce
commit
54d31221cd
|
@ -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();
|
||||||
|
|
Loading…
Reference in New Issue