chore: Switch to tokio test macro for async function (#191)

Cargo.toml

@@ -40,7 +40,7 @@ pkg-config = "0.3"
 blake2 = "0.10.6"
 sled = "0.34.6"
 tempfile = "3.3"
-tokio = "1.0"
+tokio = { version = "1.0", features = [ "macros" ] }
 
 [features]
 default = ["native"]

src/acvm_interop/smart_contract.rs

@@ -75,47 +75,50 @@ impl SmartContract for Barretenberg {
     }
 }
 
-#[test]
-fn test_smart_contract() -> Result<(), BackendError> {
-    use crate::barretenberg_structures::{Constraint, ConstraintSystem};
-    use crate::composer::Composer;
-    use crate::Barretenberg;
-    use acvm::FieldElement;
-    use tokio::runtime::Builder;
-
-    let constraint = Constraint {
-        a: 1,
-        b: 2,
-        c: 3,
-        qm: FieldElement::zero(),
-        ql: FieldElement::one(),
-        qr: FieldElement::one(),
-        qo: -FieldElement::one(),
-        qc: FieldElement::zero(),
-    };
-
-    let constraint_system = ConstraintSystem::new()
-        .var_num(4)
-        .public_inputs(vec![1, 2])
-        .constraints(vec![constraint]);
-
-    let bb = Barretenberg::new();
-    let crs = Builder::new_current_thread()
-        .enable_all()
-        .build()
-        .unwrap()
-        .block_on(bb.get_crs(&constraint_system))?;
-
-    let proving_key = bb.compute_proving_key(&constraint_system)?;
-    let verification_key = bb.compute_verification_key(&crs, &proving_key)?;
-
-    let common_reference_string: Vec<u8> = crs.try_into()?;
-
-    let contract = bb.eth_contract_from_vk(&common_reference_string, &verification_key)?;
-
-    assert!(contract.contains("contract BaseUltraVerifier"));
-    assert!(contract.contains("contract UltraVerifier"));
-    assert!(contract.contains("library UltraVerificationKey"));
-
-    Ok(())
+#[cfg(test)]
+mod tests {
+    use acvm::SmartContract;
+    use tokio::test;
+
+    use crate::BackendError;
+
+    #[test]
+    async fn test_smart_contract() -> Result<(), BackendError> {
+        use crate::barretenberg_structures::{Constraint, ConstraintSystem};
+        use crate::composer::Composer;
+        use crate::Barretenberg;
+        use acvm::FieldElement;
+
+        let constraint = Constraint {
+            a: 1,
+            b: 2,
+            c: 3,
+            qm: FieldElement::zero(),
+            ql: FieldElement::one(),
+            qr: FieldElement::one(),
+            qo: -FieldElement::one(),
+            qc: FieldElement::zero(),
+        };
+
+        let constraint_system = ConstraintSystem::new()
+            .var_num(4)
+            .public_inputs(vec![1, 2])
+            .constraints(vec![constraint]);
+
+        let bb = Barretenberg::new();
+        let crs = bb.get_crs(&constraint_system).await?;
+
+        let proving_key = bb.compute_proving_key(&constraint_system)?;
+        let verification_key = bb.compute_verification_key(&crs, &proving_key)?;
+
+        let common_reference_string: Vec<u8> = crs.try_into()?;
+
+        let contract = bb.eth_contract_from_vk(&common_reference_string, &verification_key)?;
+
+        assert!(contract.contains("contract BaseUltraVerifier"));
+        assert!(contract.contains("contract UltraVerifier"));
+        assert!(contract.contains("library UltraVerificationKey"));
+
+        Ok(())
+    }
 }