From 37ee9e6119d50fbb1953ba2f7322c09843f8a052 Mon Sep 17 00:00:00 2001
From: Bobbin Threadbare <bobbinth@protonmail.com>
Date: Mon, 22 Jul 2024 16:33:31 -0700
Subject: [PATCH] chore: fix CI

---
 assembly/src/assembler/tests.rs                      | 2 +-
 miden/tests/integration/flow_control/mod.rs          | 4 ++--
 miden/tests/integration/operations/io_ops/env_ops.rs | 2 ++
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/assembly/src/assembler/tests.rs b/assembly/src/assembler/tests.rs
index c60a786acc..523d9072c5 100644
--- a/assembly/src/assembler/tests.rs
+++ b/assembly/src/assembler/tests.rs
@@ -16,7 +16,7 @@ use crate::{
 // TESTS
 // ================================================================================================
 
-// TODO: Remove #[ignore] after we implement the new `Assembler::add_library()`
+// TODO: Fix test after we implement the new `Assembler::add_library()`
 #[ignore]
 #[allow(unused)]
 #[test]
diff --git a/miden/tests/integration/flow_control/mod.rs b/miden/tests/integration/flow_control/mod.rs
index 43ce94b10c..9d2954f960 100644
--- a/miden/tests/integration/flow_control/mod.rs
+++ b/miden/tests/integration/flow_control/mod.rs
@@ -187,7 +187,7 @@ fn local_fn_call_with_mem_access() {
     test.prove_and_verify(vec![3, 7], false);
 }
 
-// TODO: Fix test after we implement `Assembler::add_library()`
+// TODO: Fix test after we implement the new `Assembler::add_library()`
 #[ignore]
 #[test]
 fn simple_syscall() {
@@ -389,7 +389,7 @@ fn simple_dyncall() {
 // PROCREF INSTRUCTION
 // ================================================================================================
 
-// TODO: fix test after we implement the new `Assembler::add_library()`
+// TODO: Fix test after we implement the new `Assembler::add_library()`
 #[ignore]
 #[allow(unused)]
 #[test]
diff --git a/miden/tests/integration/operations/io_ops/env_ops.rs b/miden/tests/integration/operations/io_ops/env_ops.rs
index 379a974652..f125f1dbd8 100644
--- a/miden/tests/integration/operations/io_ops/env_ops.rs
+++ b/miden/tests/integration/operations/io_ops/env_ops.rs
@@ -126,6 +126,8 @@ fn locaddr() {
 // CALLER INSTRUCTION
 // ================================================================================================
 
+// TODO: Fix test after we implement the new `Assembler::add_library()`
+#[ignore]
 #[test]
 fn caller() {
     let kernel_source = "