Print debugging info if a pod does not verify

Author: tideofwords

src/backends/plonky2/mock_main/mod.rs

@@ -430,10 +430,22 @@ impl Pod for MockMainPod {
                 self.operations[i]
                     .deref(&self.statements[..input_statement_offset + i])
                     .unwrap()
-                    .check(&self.params, &s.clone().try_into().unwrap())
+                    .check_and_print(&self.params, &s.clone().try_into().unwrap())
             })
             .collect::<Result<Vec<_>>>()
             .unwrap();
+        if !ids_match {
+            println!("Verification failed: POD ID is incorrect.");
+        }
+        if !has_type_statement {
+            println!("Verification failed: POD does not have type statement.");
+        }
+        if !value_ofs_unique {
+            println!("Verification failed: Repeated ValueOf");
+        }
+        if !statement_check.iter().all(|b| *b) {
+            println!("Verification failed: Statement did not check.")
+        }
         ids_match && has_type_statement && value_ofs_unique & statement_check.into_iter().all(|b| b)
     }
     fn id(&self) -> PodId {

src/middleware/operation.rs

@@ -308,6 +308,15 @@ impl Operation {
             .map(|(pred, st_args)| Statement::from_args(pred, st_args));
         x.transpose()
     }
+    /// Checks the given operation against a statement, and prints information if the check does not pass
+    pub fn check_and_print(&self, params: &Params, output_statement: &Statement) -> Result<bool> {
+        let valid: bool = self.check(params, output_statement)?;
+        if !valid {
+            println!("Check failed on the following statement");
+            println!("{}", output_statement);
+        }
+        Ok(valid)
+    }
     /// Checks the given operation against a statement.
     pub fn check(&self, _params: &Params, output_statement: &Statement) -> Result<bool> {
         use Statement::*;