From 827e85547e5aaf6bce2b984ee3a0e76da3034af2 Mon Sep 17 00:00:00 2001
From: Sean Bowe <ewillbefull@gmail.com>
Date: Thu, 15 Mar 2018 11:42:22 -0600
Subject: [PATCH] Public input verification utility for the test framework

---
 src/circuit/test/mod.rs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/src/circuit/test/mod.rs b/src/circuit/test/mod.rs
index 9728e04..12fe0ca 100644
--- a/src/circuit/test/mod.rs
+++ b/src/circuit/test/mod.rs
@@ -294,6 +294,20 @@ impl<E: Engine> TestConstraintSystem<E> {
         }
     }
 
+    pub fn verify(&self, expected: &[E::Fr]) -> bool
+    {
+        assert_eq!(expected.len() + 1, self.inputs.len());
+
+        for (a, b) in self.inputs.iter().skip(1).zip(expected.iter())
+        {
+            if &a.0 != b {
+                return false
+            }
+        }
+
+        return true;
+    }
+
     pub fn num_inputs(&self) -> usize {
         self.inputs.len()
     }