More progress towards Alpha cleanup

* Get rid of unecessary parsing tests * Finish up the migration of gadgets specific to Lurk data construction and deconstruction
argumentcomputer · Nov 11, 2023 · 7277446 · 7277446
1 parent dae0d6c
commit 7277446
Show file tree

Hide file tree

Showing 8 changed files with 632 additions and 673 deletions.
diff --git a/src/coprocessor/circom.rs b/src/coprocessor/circom.rs
@@ -149,9 +149,7 @@ Then run `lurk coprocessor --name {name} <{}_FOLDER>` to instantiate a new gadge
                     SynthesisError::Unsatisfiable
                 })?;
             let output = circom_scotia::synthesize(cs, self.config.r1cs.clone(), Some(witness))?;
-            let num_tag = g
-                .get_tag(&crate::tag::ExprTag::Num)
-                .expect("Num tag should have been allocated");
+            let num_tag = g.get_tag(&crate::tag::ExprTag::Num)?;
             let res = AllocatedPtr::from_parts(num_tag.clone(), output);
 
             Ok(res)