test: Remove test subdir in favor of inline mod (#809)

miden-lib/src/lib.rs

@@ -18,9 +18,6 @@ pub mod accounts;
 pub mod notes;
 pub mod transaction;
 
-#[cfg(all(test, feature = "std"))]
-mod tests;
-
 // RE-EXPORTS
 // ================================================================================================
 
@@ -60,3 +57,27 @@ impl Library for MidenLib {
         self.contents.dependencies()
     }
 }
+
+// TESTS
+// ================================================================================================
+
+// NOTE: Most kernel-related tests can be found under /miden-tx/kernel_tests
+#[cfg(all(test, feature = "std"))]
+mod tests {
+    use miden_objects::assembly::Library;
+
+    #[test]
+    fn test_compile() {
+        let path = "miden::kernels::tx::memory::get_input_note_ptr";
+        let miden = super::MidenLib::default();
+        let exists = miden.modules().any(|module| {
+            module
+                .ast
+                .procs()
+                .iter()
+                .any(|proc| module.path.append(&proc.name).unwrap().as_str() == path)
+        });
+
+        assert!(exists);
+    }
+}