From c4b300917ab15f4ac83e99dd3b0ec234b1fbb839 Mon Sep 17 00:00:00 2001 From: Tom French Date: Tue, 18 Jun 2024 14:10:55 +0100 Subject: [PATCH] chore: move test to `compile_success_empty` --- .../compile_success_empty/comptime_array_len/Nargo.toml | 6 ++++++ .../compile_success_empty/comptime_array_len/src/main.nr | 6 ++++++ test_programs/execution_success/array_len/src/main.nr | 4 ---- 3 files changed, 12 insertions(+), 4 deletions(-) create mode 100644 test_programs/compile_success_empty/comptime_array_len/Nargo.toml create mode 100644 test_programs/compile_success_empty/comptime_array_len/src/main.nr diff --git a/test_programs/compile_success_empty/comptime_array_len/Nargo.toml b/test_programs/compile_success_empty/comptime_array_len/Nargo.toml new file mode 100644 index 00000000000..c07deddc6c5 --- /dev/null +++ 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 new file mode 100644 index 00000000000..c98a3de01dd --- /dev/null +++ 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 index fc5853f6625..45c09b8a282 100644 --- 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(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);