From 39a73c8eda3af3ad94bde3eb9aea018b7e5c5c31 Mon Sep 17 00:00:00 2001
From: Jack Grigg <jack@z.cash>
Date: Tue, 17 Sep 2019 00:16:33 +0100
Subject: [PATCH] Add missing cs.is_satisfied() to bellman test

---
 bellman/src/gadgets/boolean.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bellman/src/gadgets/boolean.rs b/bellman/src/gadgets/boolean.rs
index a228d39..52b6cb8 100644
--- a/bellman/src/gadgets/boolean.rs
+++ b/bellman/src/gadgets/boolean.rs
@@ -1797,6 +1797,8 @@ mod test {
             AllocatedBit::alloc_conditionally(cs.namespace(|| "alloc_conditionally"), value, &b1)
                 .unwrap();
 
+            assert!(cs.is_satisfied());
+
             //check with true bit
             let mut cs = TestConstraintSystem::<Bls12>::new();
             let b2 = AllocatedBit::alloc(&mut cs, Some(true)).unwrap();