chore: move test to compile_success_empty

noir-lang · Jun 18, 2024 · c4b3009 · c4b3009
1 parent 75bfd13
commit c4b3009
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 4 deletions.
diff --git a/test_programs/compile_success_empty/comptime_array_len/Nargo.toml b/test_programs/compile_success_empty/comptime_array_len/Nargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "comptime_array_len"
+type = "bin"
+authors = [""]
+
+[dependencies]
diff --git a/test_programs/compile_success_empty/comptime_array_len/src/main.nr b/test_programs/compile_success_empty/comptime_array_len/src/main.nr
@@ -0,0 +1,6 @@
+fn main() {
+    comptime
+    {
+        assert_eq([1, 2, 3].len(), 3);
+    }
+}
diff --git a/test_programs/execution_success/array_len/src/main.nr b/test_programs/execution_success/array_len/src/main.nr
@@ -11,10 +11,6 @@ fn nested_call<N>(b: [Field; N]) -> u32 {
 }
 
 fn main(x: Field, len3: [u8; 3], len4: [Field; 4]) {
-    comptime
-    {
-        assert_eq([1, 2, 3].len(), 3);
-    }
     assert(len_plus_1(len3) == 4);
     assert(len_plus_1(len4) == 5);
     assert(add_lens(len3, len4) == 7);