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 13, 2023 · 80d75ef · 80d75ef
1 parent 5aa86d8
commit 80d75ef
Show file tree

Hide file tree

Showing 8 changed files with 612 additions and 679 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)