From 8c86407b9134e35c2e862965cdea166bedad0c9e Mon Sep 17 00:00:00 2001 From: gluax Date: Wed, 27 Apr 2022 11:44:05 -0700 Subject: [PATCH] cleaning up tests, fixed compiler bug, found input parse bug --- Cargo.lock | 1 + Cargo.toml | 4 +++ compiler/compiler/Cargo.toml | 11 ++++--- compiler/compiler/src/lib.rs | 3 +- .../compiler/address/index.leo | 0 .../alias_circuit_namespace_conflict_fail.leo | 0 ...alias_function_namespace_conflict_fail.leo | 0 ...bal_const_namespace_conflict_fail copy.leo | 0 .../compiler/aliases/arith.leo | 0 .../compiler/aliases/basic.leo | 0 .../compiler/aliases/circuit.leo | 0 .../compiler/aliases/duplicate_name_fail.leo | 0 .../compiler/aliases/fn_return.leo | 0 .../compiler/aliases/inputs/basic.in | 0 .../compiler/aliases/inputs/dummy.in | 0 .../aliases/inputs/wrong_type_assign_fail.in | 0 .../compiler/aliases/shadowing_arg.leo | 0 .../aliases/shadowing_var_allowed.leo | 0 .../aliases/wrong_type_assign_fail.leo | 0 .../array/array_range_access_fail.leo | 0 .../compiler/array/array_size_zero_fail.leo | 0 .../compiler/array/complex_access.leo | 0 .../compiler/array/equal_initializer.leo | 0 .../compiler/array/equal_initializer_2.leo | 0 .../array/input/array_range_access_fail.in | 0 .../compiler/array/input/complex_access.in | 0 .../compiler/array/input/count_to_6.in | 0 .../compiler/array/input/dummy.in | 0 .../compiler/array/input/initializer_fail.in | 0 .../compiler/array/input/input_nested_3x2.in | 0 .../array/input/input_nested_3x2_fail.in | 0 .../compiler/array/input/input_tuple_3x2.in | 0 .../array/input/input_tuple_3x2_fail.in | 0 .../compiler/array/input/registers_ones.in | 0 .../compiler/array/input/registers_zeros.in | 0 .../compiler/array/input/six_zeros.in | 0 .../compiler/array/input/three_ones.in | 0 .../input/type_nested_value_nested_3x2.in | 0 .../type_nested_value_nested_3x2_fail.in | 0 .../input/type_nested_value_nested_4x3x2.in | 0 .../type_nested_value_nested_4x3x2_fail.in | 0 .../input/type_nested_value_tuple_3x2.in | 0 .../input/type_nested_value_tuple_3x2_fail.in | 0 .../input/type_nested_value_tuple_4x3x2.in | 0 .../type_nested_value_tuple_4x3x2_fail.in | 0 .../input/type_tuple_value_nested_3x2.in | 0 .../input/type_tuple_value_nested_3x2_fail.in | 0 .../input/type_tuple_value_nested_4x3x2.in | 0 .../type_tuple_value_nested_4x3x2_fail.in | 0 .../array/input/type_tuple_value_tuple_3x2.in | 0 .../input/type_tuple_value_tuple_3x2_fail.in | 0 .../input/type_tuple_value_tuple_4x3x2.in | 0 .../type_tuple_value_tuple_4x3x2_fail.in | 0 .../compiler/array/input_nested_3x2.leo | 0 .../compiler/array/input_nested_3x2_fail.leo | 0 .../compiler/array/input_tuple_3x2.leo | 0 .../compiler/array/input_tuple_3x2_fail.leo | 0 .../compiler/array/multi_fail_initializer.leo | 0 .../compiler/array/multi_fail_inline.leo | 0 .../compiler/array/multi_initializer.leo | 0 .../compiler/array/multi_initializer_fail.leo | 0 .../compiler/array/nested.leo | 0 .../compiler/array/nested_3x2_value.leo | 0 .../compiler/array/nested_3x2_value_fail.leo | 0 .../compiler/array/registers.leo | 0 .../compiler/array/slice.leo | 0 .../compiler/array/slice_lower.leo | 0 .../compiler/array/spread.leo | 0 .../compiler/array/ternary_in_array.leo | 0 .../compiler/array/tuple_3x2_value.leo | 0 .../compiler/array/tuple_3x2_value_fail.leo | 0 .../compiler/array/type_fail.leo | 0 .../compiler/array/type_input_3x2.leo | 0 .../compiler/array/type_input_4x3x2.leo | 0 .../array/type_nested_value_nested_3x2.leo | 0 .../type_nested_value_nested_3x2_fail.leo | 0 .../array/type_nested_value_nested_4x3x2.leo | 0 .../type_nested_value_nested_4x3x2_fail.leo | 0 .../array/type_nested_value_tuple_3x2.leo | 0 .../type_nested_value_tuple_3x2_fail.leo | 0 .../array/type_nested_value_tuple_4x3x2.leo | 0 .../type_nested_value_tuple_4x3x2_fail.leo | 0 .../array/type_tuple_value_nested_3x2.leo | 0 .../type_tuple_value_nested_3x2_fail.leo | 0 .../array/type_tuple_value_nested_4x3x2.leo | 0 .../type_tuple_value_nested_4x3x2_fail.leo | 0 .../array/type_tuple_value_tuple_3x2.leo | 0 .../array/type_tuple_value_tuple_3x2_fail.leo | 0 .../array/type_tuple_value_tuple_4x3x2.leo | 0 .../type_tuple_value_tuple_4x3x2_fail.leo | 0 .../compiler/array/variable_slice_fail.leo | 0 .../compiler/char/circuit.leo | 0 .../compiler/char/inputs/ascii.in | 0 .../compiler/char/inputs/escaped.in | 0 .../compiler/char/inputs/escaped_unicode1.in | 0 .../compiler/char/inputs/escaped_unicode2.in | 0 .../compiler/char/inputs/escaped_unicode3.in | 0 .../compiler/char/inputs/escaped_unicode4.in | 0 .../compiler/char/inputs/escaped_unicode5.in | 0 .../compiler/char/inputs/escaped_unicode6.in | 0 .../compiler/char/inputs/hex1.in | 0 .../compiler/char/inputs/hex2.in | 0 .../compiler/char/inputs/nonprinting.in | 0 .../compiler/char/inputs/unicode1.in | 0 .../compiler/char/inputs/unicode2.in | 0 .../compiler/char/inputs/unicode3.in | 0 .../compiler/char/inputs/unicode4.in | 0 .../compiler/char/inputs/unicode5.in | 0 .../compiler/char/invalid_char.leo | 0 .../compiler/char/neq.leo | 0 .../compiler/char/nonprinting.leo | 0 .../compiler/char/out.leo | 0 .../compiler/char/output/output_char.out | 0 .../big_self_in_circuit_replacement.leo | 0 .../big_self_outside_circuit_fail.leo | 0 .../circuit_alias_namespace_conflict_fail.leo | 0 ...rcuit_function_namespace_conflict_fail.leo | 0 ...bal_const_namespace_conflict_fail copy.leo | 0 .../compiler/circuits/const_self_variable.leo | 0 .../circuits/const_self_variable_fail.leo | 0 ...define_circuit_inside_circuit_function.leo | 0 .../circuits/duplicate_name_context.leo | 0 .../compiler/circuits/inline.leo | 0 .../compiler/circuits/inline_fail.leo | 0 .../compiler/circuits/inline_member_fail.leo | 0 .../compiler/circuits/inline_member_pass.leo | 0 .../compiler/circuits/inline_undefined.leo | 0 .../compiler/circuits/input/dummy.in | 0 .../compiler/circuits/member_function.leo | 0 .../circuits/member_function_fail.leo | 0 .../circuits/member_function_invalid.leo | 0 .../circuits/member_function_nested.leo | 0 .../circuits/member_static_function.leo | 0 .../member_static_function_invalid.leo | 0 .../member_static_function_nested.leo | 0 .../member_static_function_undefined.leo | 0 .../compiler/circuits/member_variable.leo | 0 .../circuits/member_variable_and_function.leo | 0 .../circuits/member_variable_fail.leo | 0 .../compiler/circuits/mut_function_fail.leo | 0 .../circuits/mut_self_function_fail.leo | 0 .../mut_self_static_function_fail.leo | 0 .../compiler/circuits/mut_self_variable.leo | 0 .../circuits/mut_self_variable_branch.leo | 0 .../mut_self_variable_conditional.leo | 0 .../circuits/mut_self_variable_fail.leo | 0 .../circuits/mut_static_function_fail.leo | 0 .../compiler/circuits/mut_variable.leo | 0 .../compiler/circuits/mut_variable_fail.leo | 0 .../mutable_call_immutable_context.leo | 0 .../compiler/circuits/pedersen_mock.leo | 0 .../circuits/return_self_type_array.leo | 0 .../circuits/return_self_type_tuple.leo | 0 .../compiler/circuits/self_circuit.leo | 0 .../compiler/circuits/self_fail.leo | 0 .../compiler/circuits/self_member.leo | 0 .../compiler/circuits/self_member_invalid.leo | 0 .../circuits/self_member_undefined.leo | 0 .../compiler/console/assert.leo | 0 .../compiler/console/conditional_assert.leo | 0 .../compiler/console/error.leo | 0 .../compiler/console/input/dummy.in | 0 .../compiler/console/input/input_equal.in | 0 .../compiler/console/input/input_unequal.in | 0 .../compiler/console/log.leo | 0 .../compiler/console/log_conditional.leo | 0 .../compiler/console/log_fail.leo | 0 .../compiler/console/log_input.leo | 0 .../compiler/console/log_parameter.leo | 0 .../console/log_parameter_fail_empty.leo | 0 .../console/log_parameter_fail_none.leo | 0 .../console/log_parameter_fail_unknown.leo | 0 .../compiler/console/log_parameter_many.leo | 0 .../compiler/function/array_input.leo | 0 .../function/array_params_direct_call.leo | 0 .../compiler/function/conditional_return.leo | 0 .../function/duplicate_definition_fail.leo | 0 .../function/duplicate_parameter_fail.leo | 0 .../compiler/function/empty.leo | 0 ...function_alias_namespace_conflict_fail.leo | 0 ...nction_circuit_namespace_conflict_fail.leo | 0 ...bal_const_namespace_conflict_fail copy.leo | 0 .../compiler/function/input/dummy.in | 0 .../compiler/function/input/integers.in | 0 .../compiler/function/iteration.leo | 0 .../compiler/function/iteration_repeated.leo | 0 .../compiler/function/multiple_returns.leo | 0 .../function/multiple_returns_fail.leo | 0 .../multiple_returns_fail_conditional.leo | 0 .../function/multiple_returns_main.leo | 0 .../compiler/function/newlines.leo | 0 .../compiler/function/repeated.leo | 0 .../compiler/function/return.leo | 0 .../function/return_array_nested_fail.leo | 0 .../function/return_array_nested_pass.leo | 0 .../function/return_array_tuple_fail.leo | 0 .../function/return_array_tuple_pass.leo | 0 .../compiler/function/return_tuple.leo | 0 .../function/return_tuple_conditional.leo | 0 .../compiler/function/scope_fail.leo | 0 .../shadow_global_const_input_fail copy.leo | 0 .../function/shadow_global_const_var_fail.leo | 0 .../function/shadow_parameter_fail.leo | 0 .../compiler/function/undefined.leo | 0 .../compiler/function/value_unchanged.leo | 0 ...al_const_alias_namespace_conflict_fail.leo | 0 ...t_circuit_namespace_conflict_fail copy.leo | 0 ...const_function_namespace_conflict_fail.leo | 0 .../global_consts/global_const_types.leo | 0 .../compiler/global_consts/inputs/dummy.in | 0 .../global_consts/modify_global_const.leo | 0 .../imports/dependency/inputs/dependency.in | 0 .../imports/dependency/src/main.leo | 0 .../compiler/import_dependency/input/dummy.in | 0 .../compiler/import_dependency/readme.md | 0 .../tests/import_dependency_folder.leo | 0 .../compiler/import_local/import_all.leo | 0 .../compiler/import_local/import_as.leo | 0 .../compiler/import_local/import_dir.leo | 0 .../compiler/import_local/import_files.leo | 0 .../compiler/import_local/import_many.leo | 0 .../import_local/import_weird_names.leo | 0 .../import_weird_names_nested.leo | 0 .../compiler/import_local/input/dummy.in | 0 .../import_local/local_imports/a-9.leo | 0 .../import_local/local_imports/circuits.leo | 0 .../import_local/local_imports/lib.leo | 0 .../import_local/local_imports/nested/c-d.leo | 0 .../local_imports/nested/hello.leo | 0 .../compiler/import_old/alias.leo | 0 .../compiler/import_old/basic.leo | 0 .../compiler/import_old/imports/a-9.leo | 0 .../compiler/import_old/imports/a0-f.leo | 0 .../import_old/imports/bar/.gitignore | 0 .../compiler/import_old/imports/bar/Leo.toml | 0 .../import_old/imports/bar/src/bat/bat.leo | 0 .../import_old/imports/bar/src/baz.leo | 0 .../import_old/imports/bar/src/lib.leo | 0 .../import_old/imports/car/.gitignore | 0 .../compiler/import_old/imports/car/Leo.toml | 0 .../import_old/imports/car/src/lib.leo | 0 .../import_old/imports/hello-world.leo | 0 .../compiler/import_old/imports/lib.leo | 0 .../import_old/imports/test-import.leo | 0 .../compiler/import_old/input/dummy.in | 0 .../compiler/import_old/many_import.leo | 0 .../compiler/import_old/many_import_star.leo | 0 .../compiler/import_old/multiple.leo | 0 .../compiler/import_old/names.leo | 0 .../compiler/import_old/names_a_dash_fail.leo | 0 .../compiler/import_old/names_dash_a_fail.leo | 0 .../compiler/import_old/names_dollar_fail.leo | 0 .../import_old/names_underscore_fail.leo | 0 .../compiler/import_old/star.leo | 0 .../compiler/import_old/star_fail.leo | 0 .../compiler/import_old/string_import.leo | 0 .../different_types_const_signed_fail.leo | 0 .../different_types_fail_signed.leo | 0 .../different_types_unsigned_fail.leo | 0 .../input_files/program_input/main_array.leo | 0 .../program_input/main_array_fail.leo | 0 .../input_files/program_input/main_char.leo | 0 .../main_multi_dimension_array.leo | 0 .../program_input/main_multiple.leo | 0 .../input_files/program_input/main_string.leo | 0 .../input_files/program_input/main_tuple.leo | 0 .../program_input/main_tuple_fail.leo | 0 .../program_input/non_const_input_const.leo | 0 .../program_input_and_program_state/basic.leo | 0 .../input/basic.in | 0 .../input/basic.state | 0 .../input/token_withdraw.in | 0 .../input/token_withdraw.state | 0 .../token_withdraw.leo | 0 .../program_input_constants/input/main.in | 8 +++++ .../input/main_array.in | 8 +++++ .../input/main_array_fail.in | 2 ++ .../input/main_char.in | 8 +++++ .../input/main_fail_name.in | 2 ++ .../input/main_fail_type.in | 2 ++ .../input/main_field.in | 9 ++++++ .../input/main_group.in | 10 +++++++ .../input/main_multi_dimension_array.in | 8 +++++ .../input/main_multiple.in | 9 ++++++ .../input/main_string.in | 8 +++++ .../input/main_tuple.in | 8 +++++ .../input/main_tuple_fail.in | 2 ++ .../program_input_constants/main_array.leo | 0 .../main_array_fail.leo | 0 .../program_input_constants/main_char.leo | 0 .../main_multi_dimension_array.leo | 0 .../program_input_constants/main_multiple.leo | 9 ++++++ .../program_input_constants/main_string.leo | 0 .../main_tuple_fail.leo | 0 .../program_registers/input/array.in | 0 .../program_registers/input/main.in | 0 .../program_registers/registers_array.leo | 0 .../program_registers/registers_fail.leo | 0 .../program_registers/registers_pass.leo | 0 .../input_files/program_state/access_all.leo | 0 .../program_state/access_state.leo | 0 .../input_files/program_state/basic.leo | 0 .../program_state/input/basic.state | 0 .../input_files/program_state/input/dummy.in | 0 .../program_state/input/section_invalid.state | 0 .../input/section_undefined.state | 0 .../program_state/input/token_withdraw.state | 0 .../program_state/input/visibility_fail.state | 0 .../program_state/section_invalid.leo | 0 .../program_state/section_undefined.leo | 0 .../program_state/visibility_fail.leo | 0 .../compiler/integers/i128/max_fail.leo | 0 .../compiler/integers/i128/min_fail.leo | 0 .../compiler/integers/i128/negate_min.leo | 0 .../compiler/integers/i16/max_fail.leo | 0 .../compiler/integers/i16/min_fail.leo | 0 .../compiler/integers/i16/negate_min.leo | 0 disabled_tests/compiler/integers/i32/max.leo | 10 +++++++ .../compiler/integers/i32/max_fail.leo | 0 disabled_tests/compiler/integers/i32/min.leo | 10 +++++++ .../compiler/integers/i32/min_fail.leo | 0 disabled_tests/compiler/integers/i32/mul.leo | 17 +++++++++++ disabled_tests/compiler/integers/i32/ne.leo | 25 ++++++++++++++++ .../compiler/integers/i32/negate.leo | 23 +++++++++++++++ .../compiler/integers/i32/negate_min.leo | 0 .../compiler/integers/i32/negate_zero.leo | 17 +++++++++++ .../integers/i32/no_space_between_literal.leo | 2 +- disabled_tests/compiler/integers/i32/pow.leo | 3 ++ disabled_tests/compiler/integers/i32/sub.leo | 17 +++++++++++ .../compiler/integers/i32/ternary.leo | 29 +++++++++++++++++++ .../compiler/integers/i64/max_fail.leo | 0 .../compiler/integers/i64/min_fail.leo | 0 .../compiler/integers/i64/negate_min.leo | 0 .../compiler/integers/i8/max_fail.leo | 0 .../compiler/integers/i8/min_fail.leo | 0 .../compiler/integers/i8/negate_min.leo | 0 .../compiler/integers/u16/max_fail.leo | 0 .../compiler/integers/u16/min_fail.leo | 0 .../compiler/integers/u32/max_fail.leo | 0 .../compiler/integers/u32/min_fail.leo | 0 .../compiler/integers/u64/max_fail.leo | 0 .../compiler/integers/u64/min_fail.leo | 0 .../compiler/integers/u8/max_fail.leo | 0 .../compiler/integers/u8/min_fail.leo | 0 .../compiler/mutability/array_dyn_mut.leo | 0 .../mutability/array_dyn_mut_indirect.leo | 0 .../compiler/mutability/array_fail.leo | 0 .../compiler/mutability/array_mut.leo | 0 .../compiler/mutability/array_splice_mut.leo | 0 .../compiler/mutability/array_tuple_mut.leo | 0 .../compiler/mutability/circuit_fail.leo | 0 .../mutability/circuit_function_const.leo | 0 .../mutability/circuit_function_mut.leo | 0 .../circuit_static_function_mut_fail.leo | 0 .../mutability/circuit_variable_mut.leo | 0 .../compiler/mutability/const.leo | 0 .../compiler/mutability/function_input.leo | 0 .../compiler/mutability/let_fail.leo | 0 .../compiler/mutability/let_mut_nested.leo | 12 ++++++++ .../compiler/mutability/swap.leo | 0 .../compiler/statements/all_loops.leo | 0 .../compiler/statements/assign_ternary.leo | 0 .../compiler/statements/block.leo | 0 .../statements/compound_assignment.leo | 0 .../statements/duplicate_variable.leo | 0 .../compiler/statements/for_loop.leo | 0 .../compiler/statements/iteration_basic.leo | 0 .../statements/iteration_variable.leo | 0 .../compiler/statements/nested_mutate.leo | 0 .../compiler/statements/reverse_loops.leo | 0 .../compiler/statements/reverse_one.leo | 0 .../statements/ternary_non_const_fail.leo | 0 .../stdlib/core_circuit_star_fail.leo | 0 .../compiler/stdlib/core_package_invalid.leo | 0 .../stdlib/core_unstable_package_invalid.leo | 0 .../compiler/stdlib/strings.leo | 0 .../compiler/string/circuit.leo | 0 .../compiler/string/equality.leo | 0 .../compiler/string/inputs/string.in | 0 .../compiler/string/inputs/string_out.in | 0 .../compiler/string/inputs/two.in | 0 .../compiler/string/inputs/weird.in | 0 .../compiler/string/replace.leo | 0 .../compiler/string/string_transformation.leo | 0 .../compiler/tuples/access.leo | 0 .../compiler/tuples/basic.leo | 0 .../compiler/tuples/dependent.leo | 0 .../compiler/tuples/destructured.leo | 0 .../compiler/tuples/inputs/true_true.in | 0 .../compiler/tuples/nested_access.leo | 0 leo/main.rs | 3 +- tests/compiler/definition/out_of_order.leo | 6 ++-- .../program_input/const_input_non_const.leo | 9 ------ .../const_var_in_both_sections_fail.leo | 9 ------ .../different_types_const_unsigned_fail.leo | 9 ------ .../input/const_input_non_const.in | 4 +-- .../input/var_in_both_sections_fail.in | 5 ---- .../var_in_both_sections_fail.leo | 9 ------ .../program_input_constants/main_tuple.leo | 9 ------ tests/compiler/integers/u128/max_fail.leo | 8 ----- .../integers/u128/negative_input_fail.leo | 10 ------- .../integers/u16/negative_input_fail.leo | 10 ------- .../integers/u32/negative_input_fail.leo | 10 ------- .../integers/u64/negative_input_fail.leo | 10 ------- .../integers/u8/negative_input_fail.leo | 10 ------- tests/compiler/mutability/cond_mut.leo | 2 +- tests/compiler/mutability/input/dummy.in | 2 +- tests/compiler/mutability/let_mut.leo | 13 --------- .../compiler/compiler/function/empty.leo.out | 23 ++++----------- tests/parser/inputs/input_const.leo | 2 ++ tests/parser/inputs/input_constant.leo | 2 ++ .../inputs/input_constant_public_fail.leo | 3 +- tests/parser/inputs/input_public.leo | 3 +- .../inputs/input_public_constant_fail.leo | 4 ++- 414 files changed, 295 insertions(+), 157 deletions(-) rename {tests => disabled_tests}/compiler/address/index.leo (100%) rename {tests => disabled_tests}/compiler/aliases/alias_circuit_namespace_conflict_fail.leo (100%) rename {tests => disabled_tests}/compiler/aliases/alias_function_namespace_conflict_fail.leo (100%) rename {tests => disabled_tests}/compiler/aliases/alias_global_const_namespace_conflict_fail copy.leo (100%) rename {tests => disabled_tests}/compiler/aliases/arith.leo (100%) rename {tests => disabled_tests}/compiler/aliases/basic.leo (100%) rename {tests => disabled_tests}/compiler/aliases/circuit.leo (100%) rename {tests => disabled_tests}/compiler/aliases/duplicate_name_fail.leo (100%) rename {tests => disabled_tests}/compiler/aliases/fn_return.leo (100%) rename {tests => disabled_tests}/compiler/aliases/inputs/basic.in (100%) rename {tests => disabled_tests}/compiler/aliases/inputs/dummy.in (100%) rename {tests => disabled_tests}/compiler/aliases/inputs/wrong_type_assign_fail.in (100%) rename {tests => disabled_tests}/compiler/aliases/shadowing_arg.leo (100%) rename {tests => disabled_tests}/compiler/aliases/shadowing_var_allowed.leo (100%) rename {tests => disabled_tests}/compiler/aliases/wrong_type_assign_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/array_range_access_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/array_size_zero_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/complex_access.leo (100%) rename {tests => disabled_tests}/compiler/array/equal_initializer.leo (100%) rename {tests => disabled_tests}/compiler/array/equal_initializer_2.leo (100%) rename {tests => disabled_tests}/compiler/array/input/array_range_access_fail.in (100%) rename {tests => disabled_tests}/compiler/array/input/complex_access.in (100%) rename {tests => disabled_tests}/compiler/array/input/count_to_6.in (100%) rename {tests => disabled_tests}/compiler/array/input/dummy.in (100%) rename {tests => disabled_tests}/compiler/array/input/initializer_fail.in (100%) rename {tests => disabled_tests}/compiler/array/input/input_nested_3x2.in (100%) rename {tests => disabled_tests}/compiler/array/input/input_nested_3x2_fail.in (100%) rename {tests => disabled_tests}/compiler/array/input/input_tuple_3x2.in (100%) rename {tests => disabled_tests}/compiler/array/input/input_tuple_3x2_fail.in (100%) rename {tests => disabled_tests}/compiler/array/input/registers_ones.in (100%) rename {tests => disabled_tests}/compiler/array/input/registers_zeros.in (100%) rename {tests => disabled_tests}/compiler/array/input/six_zeros.in (100%) rename {tests => disabled_tests}/compiler/array/input/three_ones.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_nested_value_nested_3x2.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_nested_value_nested_3x2_fail.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_nested_value_nested_4x3x2.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_nested_value_nested_4x3x2_fail.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_nested_value_tuple_3x2.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_nested_value_tuple_3x2_fail.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_nested_value_tuple_4x3x2.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_nested_value_tuple_4x3x2_fail.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_tuple_value_nested_3x2.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_tuple_value_nested_3x2_fail.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_tuple_value_nested_4x3x2.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_tuple_value_nested_4x3x2_fail.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_tuple_value_tuple_3x2.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_tuple_value_tuple_3x2_fail.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_tuple_value_tuple_4x3x2.in (100%) rename {tests => disabled_tests}/compiler/array/input/type_tuple_value_tuple_4x3x2_fail.in (100%) rename {tests => disabled_tests}/compiler/array/input_nested_3x2.leo (100%) rename {tests => disabled_tests}/compiler/array/input_nested_3x2_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/input_tuple_3x2.leo (100%) rename {tests => disabled_tests}/compiler/array/input_tuple_3x2_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/multi_fail_initializer.leo (100%) rename {tests => disabled_tests}/compiler/array/multi_fail_inline.leo (100%) rename {tests => disabled_tests}/compiler/array/multi_initializer.leo (100%) rename {tests => disabled_tests}/compiler/array/multi_initializer_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/nested.leo (100%) rename {tests => disabled_tests}/compiler/array/nested_3x2_value.leo (100%) rename {tests => disabled_tests}/compiler/array/nested_3x2_value_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/registers.leo (100%) rename {tests => disabled_tests}/compiler/array/slice.leo (100%) rename {tests => disabled_tests}/compiler/array/slice_lower.leo (100%) rename {tests => disabled_tests}/compiler/array/spread.leo (100%) rename {tests => disabled_tests}/compiler/array/ternary_in_array.leo (100%) rename {tests => disabled_tests}/compiler/array/tuple_3x2_value.leo (100%) rename {tests => disabled_tests}/compiler/array/tuple_3x2_value_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/type_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/type_input_3x2.leo (100%) rename {tests => disabled_tests}/compiler/array/type_input_4x3x2.leo (100%) rename {tests => disabled_tests}/compiler/array/type_nested_value_nested_3x2.leo (100%) rename {tests => disabled_tests}/compiler/array/type_nested_value_nested_3x2_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/type_nested_value_nested_4x3x2.leo (100%) rename {tests => disabled_tests}/compiler/array/type_nested_value_nested_4x3x2_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/type_nested_value_tuple_3x2.leo (100%) rename {tests => disabled_tests}/compiler/array/type_nested_value_tuple_3x2_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/type_nested_value_tuple_4x3x2.leo (100%) rename {tests => disabled_tests}/compiler/array/type_nested_value_tuple_4x3x2_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/type_tuple_value_nested_3x2.leo (100%) rename {tests => disabled_tests}/compiler/array/type_tuple_value_nested_3x2_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/type_tuple_value_nested_4x3x2.leo (100%) rename {tests => disabled_tests}/compiler/array/type_tuple_value_nested_4x3x2_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/type_tuple_value_tuple_3x2.leo (100%) rename {tests => disabled_tests}/compiler/array/type_tuple_value_tuple_3x2_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/type_tuple_value_tuple_4x3x2.leo (100%) rename {tests => disabled_tests}/compiler/array/type_tuple_value_tuple_4x3x2_fail.leo (100%) rename {tests => disabled_tests}/compiler/array/variable_slice_fail.leo (100%) rename {tests => disabled_tests}/compiler/char/circuit.leo (100%) rename {tests => disabled_tests}/compiler/char/inputs/ascii.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/escaped.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/escaped_unicode1.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/escaped_unicode2.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/escaped_unicode3.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/escaped_unicode4.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/escaped_unicode5.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/escaped_unicode6.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/hex1.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/hex2.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/nonprinting.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/unicode1.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/unicode2.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/unicode3.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/unicode4.in (100%) rename {tests => disabled_tests}/compiler/char/inputs/unicode5.in (100%) rename {tests => disabled_tests}/compiler/char/invalid_char.leo (100%) rename {tests => disabled_tests}/compiler/char/neq.leo (100%) rename {tests => disabled_tests}/compiler/char/nonprinting.leo (100%) rename {tests => disabled_tests}/compiler/char/out.leo (100%) rename {tests => disabled_tests}/compiler/char/output/output_char.out (100%) rename {tests => disabled_tests}/compiler/circuits/big_self_in_circuit_replacement.leo (100%) rename {tests => disabled_tests}/compiler/circuits/big_self_outside_circuit_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/circuit_alias_namespace_conflict_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/circuit_function_namespace_conflict_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/circuit_global_const_namespace_conflict_fail copy.leo (100%) rename {tests => disabled_tests}/compiler/circuits/const_self_variable.leo (100%) rename {tests => disabled_tests}/compiler/circuits/const_self_variable_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/define_circuit_inside_circuit_function.leo (100%) rename {tests => disabled_tests}/compiler/circuits/duplicate_name_context.leo (100%) rename {tests => disabled_tests}/compiler/circuits/inline.leo (100%) rename {tests => disabled_tests}/compiler/circuits/inline_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/inline_member_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/inline_member_pass.leo (100%) rename {tests => disabled_tests}/compiler/circuits/inline_undefined.leo (100%) rename {tests => disabled_tests}/compiler/circuits/input/dummy.in (100%) rename {tests => disabled_tests}/compiler/circuits/member_function.leo (100%) rename {tests => disabled_tests}/compiler/circuits/member_function_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/member_function_invalid.leo (100%) rename {tests => disabled_tests}/compiler/circuits/member_function_nested.leo (100%) rename {tests => disabled_tests}/compiler/circuits/member_static_function.leo (100%) rename {tests => disabled_tests}/compiler/circuits/member_static_function_invalid.leo (100%) rename {tests => disabled_tests}/compiler/circuits/member_static_function_nested.leo (100%) rename {tests => disabled_tests}/compiler/circuits/member_static_function_undefined.leo (100%) rename {tests => disabled_tests}/compiler/circuits/member_variable.leo (100%) rename {tests => disabled_tests}/compiler/circuits/member_variable_and_function.leo (100%) rename {tests => disabled_tests}/compiler/circuits/member_variable_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/mut_function_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/mut_self_function_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/mut_self_static_function_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/mut_self_variable.leo (100%) rename {tests => disabled_tests}/compiler/circuits/mut_self_variable_branch.leo (100%) rename {tests => disabled_tests}/compiler/circuits/mut_self_variable_conditional.leo (100%) rename {tests => disabled_tests}/compiler/circuits/mut_self_variable_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/mut_static_function_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/mut_variable.leo (100%) rename {tests => disabled_tests}/compiler/circuits/mut_variable_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/mutable_call_immutable_context.leo (100%) rename {tests => disabled_tests}/compiler/circuits/pedersen_mock.leo (100%) rename {tests => disabled_tests}/compiler/circuits/return_self_type_array.leo (100%) rename {tests => disabled_tests}/compiler/circuits/return_self_type_tuple.leo (100%) rename {tests => disabled_tests}/compiler/circuits/self_circuit.leo (100%) rename {tests => disabled_tests}/compiler/circuits/self_fail.leo (100%) rename {tests => disabled_tests}/compiler/circuits/self_member.leo (100%) rename {tests => disabled_tests}/compiler/circuits/self_member_invalid.leo (100%) rename {tests => disabled_tests}/compiler/circuits/self_member_undefined.leo (100%) rename {tests => disabled_tests}/compiler/console/assert.leo (100%) rename {tests => disabled_tests}/compiler/console/conditional_assert.leo (100%) rename {tests => disabled_tests}/compiler/console/error.leo (100%) rename {tests => disabled_tests}/compiler/console/input/dummy.in (100%) rename {tests => disabled_tests}/compiler/console/input/input_equal.in (100%) rename {tests => disabled_tests}/compiler/console/input/input_unequal.in (100%) rename {tests => disabled_tests}/compiler/console/log.leo (100%) rename {tests => disabled_tests}/compiler/console/log_conditional.leo (100%) rename {tests => disabled_tests}/compiler/console/log_fail.leo (100%) rename {tests => disabled_tests}/compiler/console/log_input.leo (100%) rename {tests => disabled_tests}/compiler/console/log_parameter.leo (100%) rename {tests => disabled_tests}/compiler/console/log_parameter_fail_empty.leo (100%) rename {tests => disabled_tests}/compiler/console/log_parameter_fail_none.leo (100%) rename {tests => disabled_tests}/compiler/console/log_parameter_fail_unknown.leo (100%) rename {tests => disabled_tests}/compiler/console/log_parameter_many.leo (100%) rename {tests => disabled_tests}/compiler/function/array_input.leo (100%) rename {tests => disabled_tests}/compiler/function/array_params_direct_call.leo (100%) rename {tests => disabled_tests}/compiler/function/conditional_return.leo (100%) rename {tests => disabled_tests}/compiler/function/duplicate_definition_fail.leo (100%) rename {tests => disabled_tests}/compiler/function/duplicate_parameter_fail.leo (100%) rename {tests => disabled_tests}/compiler/function/empty.leo (100%) rename {tests => disabled_tests}/compiler/function/function_alias_namespace_conflict_fail.leo (100%) rename {tests => disabled_tests}/compiler/function/function_circuit_namespace_conflict_fail.leo (100%) rename {tests => disabled_tests}/compiler/function/function_global_const_namespace_conflict_fail copy.leo (100%) rename {tests => disabled_tests}/compiler/function/input/dummy.in (100%) rename {tests => disabled_tests}/compiler/function/input/integers.in (100%) rename {tests => disabled_tests}/compiler/function/iteration.leo (100%) rename {tests => disabled_tests}/compiler/function/iteration_repeated.leo (100%) rename {tests => disabled_tests}/compiler/function/multiple_returns.leo (100%) rename {tests => disabled_tests}/compiler/function/multiple_returns_fail.leo (100%) rename {tests => disabled_tests}/compiler/function/multiple_returns_fail_conditional.leo (100%) rename {tests => disabled_tests}/compiler/function/multiple_returns_main.leo (100%) rename {tests => disabled_tests}/compiler/function/newlines.leo (100%) rename {tests => disabled_tests}/compiler/function/repeated.leo (100%) rename {tests => disabled_tests}/compiler/function/return.leo (100%) rename {tests => disabled_tests}/compiler/function/return_array_nested_fail.leo (100%) rename {tests => disabled_tests}/compiler/function/return_array_nested_pass.leo (100%) rename {tests => disabled_tests}/compiler/function/return_array_tuple_fail.leo (100%) rename {tests => disabled_tests}/compiler/function/return_array_tuple_pass.leo (100%) rename {tests => disabled_tests}/compiler/function/return_tuple.leo (100%) rename {tests => disabled_tests}/compiler/function/return_tuple_conditional.leo (100%) rename {tests => disabled_tests}/compiler/function/scope_fail.leo (100%) rename {tests => disabled_tests}/compiler/function/shadow_global_const_input_fail copy.leo (100%) rename {tests => disabled_tests}/compiler/function/shadow_global_const_var_fail.leo (100%) rename {tests => disabled_tests}/compiler/function/shadow_parameter_fail.leo (100%) rename {tests => disabled_tests}/compiler/function/undefined.leo (100%) rename {tests => disabled_tests}/compiler/function/value_unchanged.leo (100%) rename {tests => disabled_tests}/compiler/global_consts/global_const_alias_namespace_conflict_fail.leo (100%) rename {tests => disabled_tests}/compiler/global_consts/global_const_circuit_namespace_conflict_fail copy.leo (100%) rename {tests => disabled_tests}/compiler/global_consts/global_const_function_namespace_conflict_fail.leo (100%) rename {tests => disabled_tests}/compiler/global_consts/global_const_types.leo (100%) rename {tests => disabled_tests}/compiler/global_consts/inputs/dummy.in (100%) rename {tests => disabled_tests}/compiler/global_consts/modify_global_const.leo (100%) rename {tests => disabled_tests}/compiler/import_dependency/imports/dependency/inputs/dependency.in (100%) rename {tests => disabled_tests}/compiler/import_dependency/imports/dependency/src/main.leo (100%) rename {tests => disabled_tests}/compiler/import_dependency/input/dummy.in (100%) rename {tests => disabled_tests}/compiler/import_dependency/readme.md (100%) rename {tests => disabled_tests}/compiler/import_dependency/tests/import_dependency_folder.leo (100%) rename {tests => disabled_tests}/compiler/import_local/import_all.leo (100%) rename {tests => disabled_tests}/compiler/import_local/import_as.leo (100%) rename {tests => disabled_tests}/compiler/import_local/import_dir.leo (100%) rename {tests => disabled_tests}/compiler/import_local/import_files.leo (100%) rename {tests => disabled_tests}/compiler/import_local/import_many.leo (100%) rename {tests => disabled_tests}/compiler/import_local/import_weird_names.leo (100%) rename {tests => disabled_tests}/compiler/import_local/import_weird_names_nested.leo (100%) rename {tests => disabled_tests}/compiler/import_local/input/dummy.in (100%) rename {tests => disabled_tests}/compiler/import_local/local_imports/a-9.leo (100%) rename {tests => disabled_tests}/compiler/import_local/local_imports/circuits.leo (100%) rename {tests => disabled_tests}/compiler/import_local/local_imports/lib.leo (100%) rename {tests => disabled_tests}/compiler/import_local/local_imports/nested/c-d.leo (100%) rename {tests => disabled_tests}/compiler/import_local/local_imports/nested/hello.leo (100%) rename {tests => disabled_tests}/compiler/import_old/alias.leo (100%) rename {tests => disabled_tests}/compiler/import_old/basic.leo (100%) rename {tests => disabled_tests}/compiler/import_old/imports/a-9.leo (100%) rename {tests => disabled_tests}/compiler/import_old/imports/a0-f.leo (100%) rename {tests => disabled_tests}/compiler/import_old/imports/bar/.gitignore (100%) rename {tests => disabled_tests}/compiler/import_old/imports/bar/Leo.toml (100%) rename {tests => disabled_tests}/compiler/import_old/imports/bar/src/bat/bat.leo (100%) rename {tests => disabled_tests}/compiler/import_old/imports/bar/src/baz.leo (100%) rename {tests => disabled_tests}/compiler/import_old/imports/bar/src/lib.leo (100%) rename {tests => disabled_tests}/compiler/import_old/imports/car/.gitignore (100%) rename {tests => disabled_tests}/compiler/import_old/imports/car/Leo.toml (100%) rename {tests => disabled_tests}/compiler/import_old/imports/car/src/lib.leo (100%) rename {tests => disabled_tests}/compiler/import_old/imports/hello-world.leo (100%) rename {tests => disabled_tests}/compiler/import_old/imports/lib.leo (100%) rename {tests => disabled_tests}/compiler/import_old/imports/test-import.leo (100%) rename {tests => disabled_tests}/compiler/import_old/input/dummy.in (100%) rename {tests => disabled_tests}/compiler/import_old/many_import.leo (100%) rename {tests => disabled_tests}/compiler/import_old/many_import_star.leo (100%) rename {tests => disabled_tests}/compiler/import_old/multiple.leo (100%) rename {tests => disabled_tests}/compiler/import_old/names.leo (100%) rename {tests => disabled_tests}/compiler/import_old/names_a_dash_fail.leo (100%) rename {tests => disabled_tests}/compiler/import_old/names_dash_a_fail.leo (100%) rename {tests => disabled_tests}/compiler/import_old/names_dollar_fail.leo (100%) rename {tests => disabled_tests}/compiler/import_old/names_underscore_fail.leo (100%) rename {tests => disabled_tests}/compiler/import_old/star.leo (100%) rename {tests => disabled_tests}/compiler/import_old/star_fail.leo (100%) rename {tests => disabled_tests}/compiler/import_old/string_import.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input/different_types_const_signed_fail.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input/different_types_fail_signed.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input/different_types_unsigned_fail.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input/main_array.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input/main_array_fail.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input/main_char.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input/main_multi_dimension_array.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input/main_multiple.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input/main_string.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input/main_tuple.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input/main_tuple_fail.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input/non_const_input_const.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input_and_program_state/basic.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input_and_program_state/input/basic.in (100%) rename {tests => disabled_tests}/compiler/input_files/program_input_and_program_state/input/basic.state (100%) rename {tests => disabled_tests}/compiler/input_files/program_input_and_program_state/input/token_withdraw.in (100%) rename {tests => disabled_tests}/compiler/input_files/program_input_and_program_state/input/token_withdraw.state (100%) rename {tests => disabled_tests}/compiler/input_files/program_input_and_program_state/token_withdraw.leo (100%) create mode 100644 disabled_tests/compiler/input_files/program_input_constants/input/main.in create mode 100644 disabled_tests/compiler/input_files/program_input_constants/input/main_array.in create mode 100644 disabled_tests/compiler/input_files/program_input_constants/input/main_array_fail.in create mode 100644 disabled_tests/compiler/input_files/program_input_constants/input/main_char.in create mode 100644 disabled_tests/compiler/input_files/program_input_constants/input/main_fail_name.in create mode 100644 disabled_tests/compiler/input_files/program_input_constants/input/main_fail_type.in create mode 100644 disabled_tests/compiler/input_files/program_input_constants/input/main_field.in create mode 100644 disabled_tests/compiler/input_files/program_input_constants/input/main_group.in create mode 100644 disabled_tests/compiler/input_files/program_input_constants/input/main_multi_dimension_array.in create mode 100644 disabled_tests/compiler/input_files/program_input_constants/input/main_multiple.in create mode 100644 disabled_tests/compiler/input_files/program_input_constants/input/main_string.in create mode 100644 disabled_tests/compiler/input_files/program_input_constants/input/main_tuple.in create mode 100644 disabled_tests/compiler/input_files/program_input_constants/input/main_tuple_fail.in rename {tests => disabled_tests}/compiler/input_files/program_input_constants/main_array.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input_constants/main_array_fail.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input_constants/main_char.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input_constants/main_multi_dimension_array.leo (100%) create mode 100644 disabled_tests/compiler/input_files/program_input_constants/main_multiple.leo rename {tests => disabled_tests}/compiler/input_files/program_input_constants/main_string.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_input_constants/main_tuple_fail.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_registers/input/array.in (100%) rename {tests => disabled_tests}/compiler/input_files/program_registers/input/main.in (100%) rename {tests => disabled_tests}/compiler/input_files/program_registers/registers_array.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_registers/registers_fail.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_registers/registers_pass.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_state/access_all.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_state/access_state.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_state/basic.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_state/input/basic.state (100%) rename {tests => disabled_tests}/compiler/input_files/program_state/input/dummy.in (100%) rename {tests => disabled_tests}/compiler/input_files/program_state/input/section_invalid.state (100%) rename {tests => disabled_tests}/compiler/input_files/program_state/input/section_undefined.state (100%) rename {tests => disabled_tests}/compiler/input_files/program_state/input/token_withdraw.state (100%) rename {tests => disabled_tests}/compiler/input_files/program_state/input/visibility_fail.state (100%) rename {tests => disabled_tests}/compiler/input_files/program_state/section_invalid.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_state/section_undefined.leo (100%) rename {tests => disabled_tests}/compiler/input_files/program_state/visibility_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/i128/max_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/i128/min_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/i128/negate_min.leo (100%) rename {tests => disabled_tests}/compiler/integers/i16/max_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/i16/min_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/i16/negate_min.leo (100%) create mode 100644 disabled_tests/compiler/integers/i32/max.leo rename {tests => disabled_tests}/compiler/integers/i32/max_fail.leo (100%) create mode 100644 disabled_tests/compiler/integers/i32/min.leo rename {tests => disabled_tests}/compiler/integers/i32/min_fail.leo (100%) create mode 100644 disabled_tests/compiler/integers/i32/mul.leo create mode 100644 disabled_tests/compiler/integers/i32/ne.leo create mode 100644 disabled_tests/compiler/integers/i32/negate.leo rename {tests => disabled_tests}/compiler/integers/i32/negate_min.leo (100%) create mode 100644 disabled_tests/compiler/integers/i32/negate_zero.leo rename tests/compiler/integers/u128/min_fail.leo => disabled_tests/compiler/integers/i32/no_space_between_literal.leo (72%) create mode 100644 disabled_tests/compiler/integers/i32/pow.leo create mode 100644 disabled_tests/compiler/integers/i32/sub.leo create mode 100644 disabled_tests/compiler/integers/i32/ternary.leo rename {tests => disabled_tests}/compiler/integers/i64/max_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/i64/min_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/i64/negate_min.leo (100%) rename {tests => disabled_tests}/compiler/integers/i8/max_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/i8/min_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/i8/negate_min.leo (100%) rename {tests => disabled_tests}/compiler/integers/u16/max_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/u16/min_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/u32/max_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/u32/min_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/u64/max_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/u64/min_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/u8/max_fail.leo (100%) rename {tests => disabled_tests}/compiler/integers/u8/min_fail.leo (100%) rename {tests => disabled_tests}/compiler/mutability/array_dyn_mut.leo (100%) rename {tests => disabled_tests}/compiler/mutability/array_dyn_mut_indirect.leo (100%) rename {tests => disabled_tests}/compiler/mutability/array_fail.leo (100%) rename {tests => disabled_tests}/compiler/mutability/array_mut.leo (100%) rename {tests => disabled_tests}/compiler/mutability/array_splice_mut.leo (100%) rename {tests => disabled_tests}/compiler/mutability/array_tuple_mut.leo (100%) rename {tests => disabled_tests}/compiler/mutability/circuit_fail.leo (100%) rename {tests => disabled_tests}/compiler/mutability/circuit_function_const.leo (100%) rename {tests => disabled_tests}/compiler/mutability/circuit_function_mut.leo (100%) rename {tests => disabled_tests}/compiler/mutability/circuit_static_function_mut_fail.leo (100%) rename {tests => disabled_tests}/compiler/mutability/circuit_variable_mut.leo (100%) rename {tests => disabled_tests}/compiler/mutability/const.leo (100%) rename {tests => disabled_tests}/compiler/mutability/function_input.leo (100%) rename {tests => disabled_tests}/compiler/mutability/let_fail.leo (100%) create mode 100644 disabled_tests/compiler/mutability/let_mut_nested.leo rename {tests => disabled_tests}/compiler/mutability/swap.leo (100%) rename {tests => disabled_tests}/compiler/statements/all_loops.leo (100%) rename {tests => disabled_tests}/compiler/statements/assign_ternary.leo (100%) rename {tests => disabled_tests}/compiler/statements/block.leo (100%) rename {tests => disabled_tests}/compiler/statements/compound_assignment.leo (100%) rename {tests => disabled_tests}/compiler/statements/duplicate_variable.leo (100%) rename {tests => disabled_tests}/compiler/statements/for_loop.leo (100%) rename {tests => disabled_tests}/compiler/statements/iteration_basic.leo (100%) rename {tests => disabled_tests}/compiler/statements/iteration_variable.leo (100%) rename {tests => disabled_tests}/compiler/statements/nested_mutate.leo (100%) rename {tests => disabled_tests}/compiler/statements/reverse_loops.leo (100%) rename {tests => disabled_tests}/compiler/statements/reverse_one.leo (100%) rename {tests => disabled_tests}/compiler/statements/ternary_non_const_fail.leo (100%) rename {tests => disabled_tests}/compiler/stdlib/core_circuit_star_fail.leo (100%) rename {tests => disabled_tests}/compiler/stdlib/core_package_invalid.leo (100%) rename {tests => disabled_tests}/compiler/stdlib/core_unstable_package_invalid.leo (100%) rename {tests => disabled_tests}/compiler/stdlib/strings.leo (100%) rename {tests => disabled_tests}/compiler/string/circuit.leo (100%) rename {tests => disabled_tests}/compiler/string/equality.leo (100%) rename {tests => disabled_tests}/compiler/string/inputs/string.in (100%) rename {tests => disabled_tests}/compiler/string/inputs/string_out.in (100%) rename {tests => disabled_tests}/compiler/string/inputs/two.in (100%) rename {tests => disabled_tests}/compiler/string/inputs/weird.in (100%) rename {tests => disabled_tests}/compiler/string/replace.leo (100%) rename {tests => disabled_tests}/compiler/string/string_transformation.leo (100%) rename {tests => disabled_tests}/compiler/tuples/access.leo (100%) rename {tests => disabled_tests}/compiler/tuples/basic.leo (100%) rename {tests => disabled_tests}/compiler/tuples/dependent.leo (100%) rename {tests => disabled_tests}/compiler/tuples/destructured.leo (100%) rename {tests => disabled_tests}/compiler/tuples/inputs/true_true.in (100%) rename {tests => disabled_tests}/compiler/tuples/nested_access.leo (100%) delete mode 100644 tests/compiler/input_files/program_input/const_input_non_const.leo delete mode 100644 tests/compiler/input_files/program_input/const_var_in_both_sections_fail.leo delete mode 100644 tests/compiler/input_files/program_input/different_types_const_unsigned_fail.leo delete mode 100644 tests/compiler/input_files/program_input/input/var_in_both_sections_fail.in delete mode 100644 tests/compiler/input_files/program_input/var_in_both_sections_fail.leo delete mode 100644 tests/compiler/input_files/program_input_constants/main_tuple.leo delete mode 100644 tests/compiler/integers/u128/max_fail.leo delete mode 100644 tests/compiler/integers/u128/negative_input_fail.leo delete mode 100644 tests/compiler/integers/u16/negative_input_fail.leo delete mode 100644 tests/compiler/integers/u32/negative_input_fail.leo delete mode 100644 tests/compiler/integers/u64/negative_input_fail.leo delete mode 100644 tests/compiler/integers/u8/negative_input_fail.leo delete mode 100644 tests/compiler/mutability/let_mut.leo diff --git a/Cargo.lock b/Cargo.lock index 9c88ebb2f9..671f1bb82a 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1265,6 +1265,7 @@ dependencies = [ "leo-compiler", "leo-errors", "leo-package", + "leo-span", "notify", "rand", "rand_core", diff --git a/Cargo.toml b/Cargo.toml index d725ffdf29..4b17ff9dbd 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -46,6 +46,10 @@ version = "1.5.3" path = "./leo/package" version = "1.5.3" +[dependencies.leo-span] +path = "./leo/span" +version = "1.5.3" + [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" rev = "51633e2" diff --git a/compiler/compiler/Cargo.toml b/compiler/compiler/Cargo.toml index d958d00b06..807fb31799 100644 --- a/compiler/compiler/Cargo.toml +++ b/compiler/compiler/Cargo.toml @@ -34,16 +34,19 @@ version = "1.5.3" path = "../parser" version = "1.5.3" -[dependencies.leo-span] +[dev-dependencies.leo-span] path = "../../leo/span" version = "1.5.3" [dependencies.sha2] version = "0.10" -[dev-dependencies] -serde = { version = "1.0.136", features = ["derive"] } -serde_yaml = "0.8.23" +[dev-dependencies.serde] +version = "1.0.136" +features = ["derive"] + +[dev-dependencies.serde_yaml] +version = "0.8.23" [dev-dependencies.leo-test-framework] path = "../../tests/test-framework" diff --git a/compiler/compiler/src/lib.rs b/compiler/compiler/src/lib.rs index 90fb5303c8..493af0e7f3 100644 --- a/compiler/compiler/src/lib.rs +++ b/compiler/compiler/src/lib.rs @@ -31,7 +31,6 @@ use leo_errors::emitter::Handler; use leo_errors::{CompilerError, Result}; pub use leo_passes::SymbolTable; use leo_passes::*; -use leo_span::symbol::create_session_if_not_set_then; use sha2::{Digest, Sha256}; use std::fs; @@ -143,6 +142,6 @@ impl<'a> Compiler<'a> { /// Returns a compiled Leo program. /// pub fn compile(&mut self, input_file_path: PathBuf) -> Result<(Option, SymbolTable<'_>)> { - create_session_if_not_set_then(|_| self.compiler_stages(input_file_path)) + self.compiler_stages(input_file_path) } } diff --git a/tests/compiler/address/index.leo b/disabled_tests/compiler/address/index.leo similarity index 100% rename from tests/compiler/address/index.leo rename to disabled_tests/compiler/address/index.leo diff --git a/tests/compiler/aliases/alias_circuit_namespace_conflict_fail.leo b/disabled_tests/compiler/aliases/alias_circuit_namespace_conflict_fail.leo similarity index 100% rename from tests/compiler/aliases/alias_circuit_namespace_conflict_fail.leo rename to disabled_tests/compiler/aliases/alias_circuit_namespace_conflict_fail.leo diff --git a/tests/compiler/aliases/alias_function_namespace_conflict_fail.leo b/disabled_tests/compiler/aliases/alias_function_namespace_conflict_fail.leo similarity index 100% rename from tests/compiler/aliases/alias_function_namespace_conflict_fail.leo rename to disabled_tests/compiler/aliases/alias_function_namespace_conflict_fail.leo diff --git a/tests/compiler/aliases/alias_global_const_namespace_conflict_fail copy.leo b/disabled_tests/compiler/aliases/alias_global_const_namespace_conflict_fail copy.leo similarity index 100% rename from tests/compiler/aliases/alias_global_const_namespace_conflict_fail copy.leo rename to disabled_tests/compiler/aliases/alias_global_const_namespace_conflict_fail copy.leo diff --git a/tests/compiler/aliases/arith.leo b/disabled_tests/compiler/aliases/arith.leo similarity index 100% rename from tests/compiler/aliases/arith.leo rename to disabled_tests/compiler/aliases/arith.leo diff --git a/tests/compiler/aliases/basic.leo b/disabled_tests/compiler/aliases/basic.leo similarity index 100% rename from tests/compiler/aliases/basic.leo rename to disabled_tests/compiler/aliases/basic.leo diff --git a/tests/compiler/aliases/circuit.leo b/disabled_tests/compiler/aliases/circuit.leo similarity index 100% rename from tests/compiler/aliases/circuit.leo rename to disabled_tests/compiler/aliases/circuit.leo diff --git a/tests/compiler/aliases/duplicate_name_fail.leo b/disabled_tests/compiler/aliases/duplicate_name_fail.leo similarity index 100% rename from tests/compiler/aliases/duplicate_name_fail.leo rename to disabled_tests/compiler/aliases/duplicate_name_fail.leo diff --git a/tests/compiler/aliases/fn_return.leo b/disabled_tests/compiler/aliases/fn_return.leo similarity index 100% rename from tests/compiler/aliases/fn_return.leo rename to disabled_tests/compiler/aliases/fn_return.leo diff --git a/tests/compiler/aliases/inputs/basic.in b/disabled_tests/compiler/aliases/inputs/basic.in similarity index 100% rename from tests/compiler/aliases/inputs/basic.in rename to disabled_tests/compiler/aliases/inputs/basic.in diff --git a/tests/compiler/aliases/inputs/dummy.in b/disabled_tests/compiler/aliases/inputs/dummy.in similarity index 100% rename from tests/compiler/aliases/inputs/dummy.in rename to disabled_tests/compiler/aliases/inputs/dummy.in diff --git a/tests/compiler/aliases/inputs/wrong_type_assign_fail.in b/disabled_tests/compiler/aliases/inputs/wrong_type_assign_fail.in similarity index 100% rename from tests/compiler/aliases/inputs/wrong_type_assign_fail.in rename to disabled_tests/compiler/aliases/inputs/wrong_type_assign_fail.in diff --git a/tests/compiler/aliases/shadowing_arg.leo b/disabled_tests/compiler/aliases/shadowing_arg.leo similarity index 100% rename from tests/compiler/aliases/shadowing_arg.leo rename to disabled_tests/compiler/aliases/shadowing_arg.leo diff --git a/tests/compiler/aliases/shadowing_var_allowed.leo b/disabled_tests/compiler/aliases/shadowing_var_allowed.leo similarity index 100% rename from tests/compiler/aliases/shadowing_var_allowed.leo rename to disabled_tests/compiler/aliases/shadowing_var_allowed.leo diff --git a/tests/compiler/aliases/wrong_type_assign_fail.leo b/disabled_tests/compiler/aliases/wrong_type_assign_fail.leo similarity index 100% rename from tests/compiler/aliases/wrong_type_assign_fail.leo rename to disabled_tests/compiler/aliases/wrong_type_assign_fail.leo diff --git a/tests/compiler/array/array_range_access_fail.leo b/disabled_tests/compiler/array/array_range_access_fail.leo similarity index 100% rename from tests/compiler/array/array_range_access_fail.leo rename to disabled_tests/compiler/array/array_range_access_fail.leo diff --git a/tests/compiler/array/array_size_zero_fail.leo b/disabled_tests/compiler/array/array_size_zero_fail.leo similarity index 100% rename from tests/compiler/array/array_size_zero_fail.leo rename to disabled_tests/compiler/array/array_size_zero_fail.leo diff --git a/tests/compiler/array/complex_access.leo b/disabled_tests/compiler/array/complex_access.leo similarity index 100% rename from tests/compiler/array/complex_access.leo rename to disabled_tests/compiler/array/complex_access.leo diff --git a/tests/compiler/array/equal_initializer.leo b/disabled_tests/compiler/array/equal_initializer.leo similarity index 100% rename from tests/compiler/array/equal_initializer.leo rename to disabled_tests/compiler/array/equal_initializer.leo diff --git a/tests/compiler/array/equal_initializer_2.leo b/disabled_tests/compiler/array/equal_initializer_2.leo similarity index 100% rename from tests/compiler/array/equal_initializer_2.leo rename to disabled_tests/compiler/array/equal_initializer_2.leo diff --git a/tests/compiler/array/input/array_range_access_fail.in b/disabled_tests/compiler/array/input/array_range_access_fail.in similarity index 100% rename from tests/compiler/array/input/array_range_access_fail.in rename to disabled_tests/compiler/array/input/array_range_access_fail.in diff --git a/tests/compiler/array/input/complex_access.in b/disabled_tests/compiler/array/input/complex_access.in similarity index 100% rename from tests/compiler/array/input/complex_access.in rename to disabled_tests/compiler/array/input/complex_access.in diff --git a/tests/compiler/array/input/count_to_6.in b/disabled_tests/compiler/array/input/count_to_6.in similarity index 100% rename from tests/compiler/array/input/count_to_6.in rename to disabled_tests/compiler/array/input/count_to_6.in diff --git a/tests/compiler/array/input/dummy.in b/disabled_tests/compiler/array/input/dummy.in similarity index 100% rename from tests/compiler/array/input/dummy.in rename to disabled_tests/compiler/array/input/dummy.in diff --git a/tests/compiler/array/input/initializer_fail.in b/disabled_tests/compiler/array/input/initializer_fail.in similarity index 100% rename from tests/compiler/array/input/initializer_fail.in rename to disabled_tests/compiler/array/input/initializer_fail.in diff --git a/tests/compiler/array/input/input_nested_3x2.in b/disabled_tests/compiler/array/input/input_nested_3x2.in similarity index 100% rename from tests/compiler/array/input/input_nested_3x2.in rename to disabled_tests/compiler/array/input/input_nested_3x2.in diff --git a/tests/compiler/array/input/input_nested_3x2_fail.in b/disabled_tests/compiler/array/input/input_nested_3x2_fail.in similarity index 100% rename from tests/compiler/array/input/input_nested_3x2_fail.in rename to disabled_tests/compiler/array/input/input_nested_3x2_fail.in diff --git a/tests/compiler/array/input/input_tuple_3x2.in b/disabled_tests/compiler/array/input/input_tuple_3x2.in similarity index 100% rename from tests/compiler/array/input/input_tuple_3x2.in rename to disabled_tests/compiler/array/input/input_tuple_3x2.in diff --git a/tests/compiler/array/input/input_tuple_3x2_fail.in b/disabled_tests/compiler/array/input/input_tuple_3x2_fail.in similarity index 100% rename from tests/compiler/array/input/input_tuple_3x2_fail.in rename to disabled_tests/compiler/array/input/input_tuple_3x2_fail.in diff --git a/tests/compiler/array/input/registers_ones.in b/disabled_tests/compiler/array/input/registers_ones.in similarity index 100% rename from tests/compiler/array/input/registers_ones.in rename to disabled_tests/compiler/array/input/registers_ones.in diff --git a/tests/compiler/array/input/registers_zeros.in b/disabled_tests/compiler/array/input/registers_zeros.in similarity index 100% rename from tests/compiler/array/input/registers_zeros.in rename to disabled_tests/compiler/array/input/registers_zeros.in diff --git a/tests/compiler/array/input/six_zeros.in b/disabled_tests/compiler/array/input/six_zeros.in similarity index 100% rename from tests/compiler/array/input/six_zeros.in rename to disabled_tests/compiler/array/input/six_zeros.in diff --git a/tests/compiler/array/input/three_ones.in b/disabled_tests/compiler/array/input/three_ones.in similarity index 100% rename from tests/compiler/array/input/three_ones.in rename to disabled_tests/compiler/array/input/three_ones.in diff --git a/tests/compiler/array/input/type_nested_value_nested_3x2.in b/disabled_tests/compiler/array/input/type_nested_value_nested_3x2.in similarity index 100% rename from tests/compiler/array/input/type_nested_value_nested_3x2.in rename to disabled_tests/compiler/array/input/type_nested_value_nested_3x2.in diff --git a/tests/compiler/array/input/type_nested_value_nested_3x2_fail.in b/disabled_tests/compiler/array/input/type_nested_value_nested_3x2_fail.in similarity index 100% rename from tests/compiler/array/input/type_nested_value_nested_3x2_fail.in rename to disabled_tests/compiler/array/input/type_nested_value_nested_3x2_fail.in diff --git a/tests/compiler/array/input/type_nested_value_nested_4x3x2.in b/disabled_tests/compiler/array/input/type_nested_value_nested_4x3x2.in similarity index 100% rename from tests/compiler/array/input/type_nested_value_nested_4x3x2.in rename to disabled_tests/compiler/array/input/type_nested_value_nested_4x3x2.in diff --git a/tests/compiler/array/input/type_nested_value_nested_4x3x2_fail.in b/disabled_tests/compiler/array/input/type_nested_value_nested_4x3x2_fail.in similarity index 100% rename from tests/compiler/array/input/type_nested_value_nested_4x3x2_fail.in rename to disabled_tests/compiler/array/input/type_nested_value_nested_4x3x2_fail.in diff --git a/tests/compiler/array/input/type_nested_value_tuple_3x2.in b/disabled_tests/compiler/array/input/type_nested_value_tuple_3x2.in similarity index 100% rename from tests/compiler/array/input/type_nested_value_tuple_3x2.in rename to disabled_tests/compiler/array/input/type_nested_value_tuple_3x2.in diff --git a/tests/compiler/array/input/type_nested_value_tuple_3x2_fail.in b/disabled_tests/compiler/array/input/type_nested_value_tuple_3x2_fail.in similarity index 100% rename from tests/compiler/array/input/type_nested_value_tuple_3x2_fail.in rename to disabled_tests/compiler/array/input/type_nested_value_tuple_3x2_fail.in diff --git a/tests/compiler/array/input/type_nested_value_tuple_4x3x2.in b/disabled_tests/compiler/array/input/type_nested_value_tuple_4x3x2.in similarity index 100% rename from tests/compiler/array/input/type_nested_value_tuple_4x3x2.in rename to disabled_tests/compiler/array/input/type_nested_value_tuple_4x3x2.in diff --git a/tests/compiler/array/input/type_nested_value_tuple_4x3x2_fail.in b/disabled_tests/compiler/array/input/type_nested_value_tuple_4x3x2_fail.in similarity index 100% rename from tests/compiler/array/input/type_nested_value_tuple_4x3x2_fail.in rename to disabled_tests/compiler/array/input/type_nested_value_tuple_4x3x2_fail.in diff --git a/tests/compiler/array/input/type_tuple_value_nested_3x2.in b/disabled_tests/compiler/array/input/type_tuple_value_nested_3x2.in similarity index 100% rename from tests/compiler/array/input/type_tuple_value_nested_3x2.in rename to disabled_tests/compiler/array/input/type_tuple_value_nested_3x2.in diff --git a/tests/compiler/array/input/type_tuple_value_nested_3x2_fail.in b/disabled_tests/compiler/array/input/type_tuple_value_nested_3x2_fail.in similarity index 100% rename from tests/compiler/array/input/type_tuple_value_nested_3x2_fail.in rename to disabled_tests/compiler/array/input/type_tuple_value_nested_3x2_fail.in diff --git a/tests/compiler/array/input/type_tuple_value_nested_4x3x2.in b/disabled_tests/compiler/array/input/type_tuple_value_nested_4x3x2.in similarity index 100% rename from tests/compiler/array/input/type_tuple_value_nested_4x3x2.in rename to disabled_tests/compiler/array/input/type_tuple_value_nested_4x3x2.in diff --git a/tests/compiler/array/input/type_tuple_value_nested_4x3x2_fail.in b/disabled_tests/compiler/array/input/type_tuple_value_nested_4x3x2_fail.in similarity index 100% rename from tests/compiler/array/input/type_tuple_value_nested_4x3x2_fail.in rename to disabled_tests/compiler/array/input/type_tuple_value_nested_4x3x2_fail.in diff --git a/tests/compiler/array/input/type_tuple_value_tuple_3x2.in b/disabled_tests/compiler/array/input/type_tuple_value_tuple_3x2.in similarity index 100% rename from tests/compiler/array/input/type_tuple_value_tuple_3x2.in rename to disabled_tests/compiler/array/input/type_tuple_value_tuple_3x2.in diff --git a/tests/compiler/array/input/type_tuple_value_tuple_3x2_fail.in b/disabled_tests/compiler/array/input/type_tuple_value_tuple_3x2_fail.in similarity index 100% rename from tests/compiler/array/input/type_tuple_value_tuple_3x2_fail.in rename to disabled_tests/compiler/array/input/type_tuple_value_tuple_3x2_fail.in diff --git a/tests/compiler/array/input/type_tuple_value_tuple_4x3x2.in b/disabled_tests/compiler/array/input/type_tuple_value_tuple_4x3x2.in similarity index 100% rename from tests/compiler/array/input/type_tuple_value_tuple_4x3x2.in rename to disabled_tests/compiler/array/input/type_tuple_value_tuple_4x3x2.in diff --git a/tests/compiler/array/input/type_tuple_value_tuple_4x3x2_fail.in b/disabled_tests/compiler/array/input/type_tuple_value_tuple_4x3x2_fail.in similarity index 100% rename from tests/compiler/array/input/type_tuple_value_tuple_4x3x2_fail.in rename to disabled_tests/compiler/array/input/type_tuple_value_tuple_4x3x2_fail.in diff --git a/tests/compiler/array/input_nested_3x2.leo b/disabled_tests/compiler/array/input_nested_3x2.leo similarity index 100% rename from tests/compiler/array/input_nested_3x2.leo rename to disabled_tests/compiler/array/input_nested_3x2.leo diff --git a/tests/compiler/array/input_nested_3x2_fail.leo b/disabled_tests/compiler/array/input_nested_3x2_fail.leo similarity index 100% rename from tests/compiler/array/input_nested_3x2_fail.leo rename to disabled_tests/compiler/array/input_nested_3x2_fail.leo diff --git a/tests/compiler/array/input_tuple_3x2.leo b/disabled_tests/compiler/array/input_tuple_3x2.leo similarity index 100% rename from tests/compiler/array/input_tuple_3x2.leo rename to disabled_tests/compiler/array/input_tuple_3x2.leo diff --git a/tests/compiler/array/input_tuple_3x2_fail.leo b/disabled_tests/compiler/array/input_tuple_3x2_fail.leo similarity index 100% rename from tests/compiler/array/input_tuple_3x2_fail.leo rename to disabled_tests/compiler/array/input_tuple_3x2_fail.leo diff --git a/tests/compiler/array/multi_fail_initializer.leo b/disabled_tests/compiler/array/multi_fail_initializer.leo similarity index 100% rename from tests/compiler/array/multi_fail_initializer.leo rename to disabled_tests/compiler/array/multi_fail_initializer.leo diff --git a/tests/compiler/array/multi_fail_inline.leo b/disabled_tests/compiler/array/multi_fail_inline.leo similarity index 100% rename from tests/compiler/array/multi_fail_inline.leo rename to disabled_tests/compiler/array/multi_fail_inline.leo diff --git a/tests/compiler/array/multi_initializer.leo b/disabled_tests/compiler/array/multi_initializer.leo similarity index 100% rename from tests/compiler/array/multi_initializer.leo rename to disabled_tests/compiler/array/multi_initializer.leo diff --git a/tests/compiler/array/multi_initializer_fail.leo b/disabled_tests/compiler/array/multi_initializer_fail.leo similarity index 100% rename from tests/compiler/array/multi_initializer_fail.leo rename to disabled_tests/compiler/array/multi_initializer_fail.leo diff --git a/tests/compiler/array/nested.leo b/disabled_tests/compiler/array/nested.leo similarity index 100% rename from tests/compiler/array/nested.leo rename to disabled_tests/compiler/array/nested.leo diff --git a/tests/compiler/array/nested_3x2_value.leo b/disabled_tests/compiler/array/nested_3x2_value.leo similarity index 100% rename from tests/compiler/array/nested_3x2_value.leo rename to disabled_tests/compiler/array/nested_3x2_value.leo diff --git a/tests/compiler/array/nested_3x2_value_fail.leo b/disabled_tests/compiler/array/nested_3x2_value_fail.leo similarity index 100% rename from tests/compiler/array/nested_3x2_value_fail.leo rename to disabled_tests/compiler/array/nested_3x2_value_fail.leo diff --git a/tests/compiler/array/registers.leo b/disabled_tests/compiler/array/registers.leo similarity index 100% rename from tests/compiler/array/registers.leo rename to disabled_tests/compiler/array/registers.leo diff --git a/tests/compiler/array/slice.leo b/disabled_tests/compiler/array/slice.leo similarity index 100% rename from tests/compiler/array/slice.leo rename to disabled_tests/compiler/array/slice.leo diff --git a/tests/compiler/array/slice_lower.leo b/disabled_tests/compiler/array/slice_lower.leo similarity index 100% rename from tests/compiler/array/slice_lower.leo rename to disabled_tests/compiler/array/slice_lower.leo diff --git a/tests/compiler/array/spread.leo b/disabled_tests/compiler/array/spread.leo similarity index 100% rename from tests/compiler/array/spread.leo rename to disabled_tests/compiler/array/spread.leo diff --git a/tests/compiler/array/ternary_in_array.leo b/disabled_tests/compiler/array/ternary_in_array.leo similarity index 100% rename from tests/compiler/array/ternary_in_array.leo rename to disabled_tests/compiler/array/ternary_in_array.leo diff --git a/tests/compiler/array/tuple_3x2_value.leo b/disabled_tests/compiler/array/tuple_3x2_value.leo similarity index 100% rename from tests/compiler/array/tuple_3x2_value.leo rename to disabled_tests/compiler/array/tuple_3x2_value.leo diff --git a/tests/compiler/array/tuple_3x2_value_fail.leo b/disabled_tests/compiler/array/tuple_3x2_value_fail.leo similarity index 100% rename from tests/compiler/array/tuple_3x2_value_fail.leo rename to disabled_tests/compiler/array/tuple_3x2_value_fail.leo diff --git a/tests/compiler/array/type_fail.leo b/disabled_tests/compiler/array/type_fail.leo similarity index 100% rename from tests/compiler/array/type_fail.leo rename to disabled_tests/compiler/array/type_fail.leo diff --git a/tests/compiler/array/type_input_3x2.leo b/disabled_tests/compiler/array/type_input_3x2.leo similarity index 100% rename from tests/compiler/array/type_input_3x2.leo rename to disabled_tests/compiler/array/type_input_3x2.leo diff --git a/tests/compiler/array/type_input_4x3x2.leo b/disabled_tests/compiler/array/type_input_4x3x2.leo similarity index 100% rename from tests/compiler/array/type_input_4x3x2.leo rename to disabled_tests/compiler/array/type_input_4x3x2.leo diff --git a/tests/compiler/array/type_nested_value_nested_3x2.leo b/disabled_tests/compiler/array/type_nested_value_nested_3x2.leo similarity index 100% rename from tests/compiler/array/type_nested_value_nested_3x2.leo rename to disabled_tests/compiler/array/type_nested_value_nested_3x2.leo diff --git a/tests/compiler/array/type_nested_value_nested_3x2_fail.leo b/disabled_tests/compiler/array/type_nested_value_nested_3x2_fail.leo similarity index 100% rename from tests/compiler/array/type_nested_value_nested_3x2_fail.leo rename to disabled_tests/compiler/array/type_nested_value_nested_3x2_fail.leo diff --git a/tests/compiler/array/type_nested_value_nested_4x3x2.leo b/disabled_tests/compiler/array/type_nested_value_nested_4x3x2.leo similarity index 100% rename from tests/compiler/array/type_nested_value_nested_4x3x2.leo rename to disabled_tests/compiler/array/type_nested_value_nested_4x3x2.leo diff --git a/tests/compiler/array/type_nested_value_nested_4x3x2_fail.leo b/disabled_tests/compiler/array/type_nested_value_nested_4x3x2_fail.leo similarity index 100% rename from tests/compiler/array/type_nested_value_nested_4x3x2_fail.leo rename to disabled_tests/compiler/array/type_nested_value_nested_4x3x2_fail.leo diff --git a/tests/compiler/array/type_nested_value_tuple_3x2.leo b/disabled_tests/compiler/array/type_nested_value_tuple_3x2.leo similarity index 100% rename from tests/compiler/array/type_nested_value_tuple_3x2.leo rename to disabled_tests/compiler/array/type_nested_value_tuple_3x2.leo diff --git a/tests/compiler/array/type_nested_value_tuple_3x2_fail.leo b/disabled_tests/compiler/array/type_nested_value_tuple_3x2_fail.leo similarity index 100% rename from tests/compiler/array/type_nested_value_tuple_3x2_fail.leo rename to disabled_tests/compiler/array/type_nested_value_tuple_3x2_fail.leo diff --git a/tests/compiler/array/type_nested_value_tuple_4x3x2.leo b/disabled_tests/compiler/array/type_nested_value_tuple_4x3x2.leo similarity index 100% rename from tests/compiler/array/type_nested_value_tuple_4x3x2.leo rename to disabled_tests/compiler/array/type_nested_value_tuple_4x3x2.leo diff --git a/tests/compiler/array/type_nested_value_tuple_4x3x2_fail.leo b/disabled_tests/compiler/array/type_nested_value_tuple_4x3x2_fail.leo similarity index 100% rename from tests/compiler/array/type_nested_value_tuple_4x3x2_fail.leo rename to disabled_tests/compiler/array/type_nested_value_tuple_4x3x2_fail.leo diff --git a/tests/compiler/array/type_tuple_value_nested_3x2.leo b/disabled_tests/compiler/array/type_tuple_value_nested_3x2.leo similarity index 100% rename from tests/compiler/array/type_tuple_value_nested_3x2.leo rename to disabled_tests/compiler/array/type_tuple_value_nested_3x2.leo diff --git a/tests/compiler/array/type_tuple_value_nested_3x2_fail.leo b/disabled_tests/compiler/array/type_tuple_value_nested_3x2_fail.leo similarity index 100% rename from tests/compiler/array/type_tuple_value_nested_3x2_fail.leo rename to disabled_tests/compiler/array/type_tuple_value_nested_3x2_fail.leo diff --git a/tests/compiler/array/type_tuple_value_nested_4x3x2.leo b/disabled_tests/compiler/array/type_tuple_value_nested_4x3x2.leo similarity index 100% rename from tests/compiler/array/type_tuple_value_nested_4x3x2.leo rename to disabled_tests/compiler/array/type_tuple_value_nested_4x3x2.leo diff --git a/tests/compiler/array/type_tuple_value_nested_4x3x2_fail.leo b/disabled_tests/compiler/array/type_tuple_value_nested_4x3x2_fail.leo similarity index 100% rename from tests/compiler/array/type_tuple_value_nested_4x3x2_fail.leo rename to disabled_tests/compiler/array/type_tuple_value_nested_4x3x2_fail.leo diff --git a/tests/compiler/array/type_tuple_value_tuple_3x2.leo b/disabled_tests/compiler/array/type_tuple_value_tuple_3x2.leo similarity index 100% rename from tests/compiler/array/type_tuple_value_tuple_3x2.leo rename to disabled_tests/compiler/array/type_tuple_value_tuple_3x2.leo diff --git a/tests/compiler/array/type_tuple_value_tuple_3x2_fail.leo b/disabled_tests/compiler/array/type_tuple_value_tuple_3x2_fail.leo similarity index 100% rename from tests/compiler/array/type_tuple_value_tuple_3x2_fail.leo rename to disabled_tests/compiler/array/type_tuple_value_tuple_3x2_fail.leo diff --git a/tests/compiler/array/type_tuple_value_tuple_4x3x2.leo b/disabled_tests/compiler/array/type_tuple_value_tuple_4x3x2.leo similarity index 100% rename from tests/compiler/array/type_tuple_value_tuple_4x3x2.leo rename to disabled_tests/compiler/array/type_tuple_value_tuple_4x3x2.leo diff --git a/tests/compiler/array/type_tuple_value_tuple_4x3x2_fail.leo b/disabled_tests/compiler/array/type_tuple_value_tuple_4x3x2_fail.leo similarity index 100% rename from tests/compiler/array/type_tuple_value_tuple_4x3x2_fail.leo rename to disabled_tests/compiler/array/type_tuple_value_tuple_4x3x2_fail.leo diff --git a/tests/compiler/array/variable_slice_fail.leo b/disabled_tests/compiler/array/variable_slice_fail.leo similarity index 100% rename from tests/compiler/array/variable_slice_fail.leo rename to disabled_tests/compiler/array/variable_slice_fail.leo diff --git a/tests/compiler/char/circuit.leo b/disabled_tests/compiler/char/circuit.leo similarity index 100% rename from tests/compiler/char/circuit.leo rename to disabled_tests/compiler/char/circuit.leo diff --git a/tests/compiler/char/inputs/ascii.in b/disabled_tests/compiler/char/inputs/ascii.in similarity index 100% rename from tests/compiler/char/inputs/ascii.in rename to disabled_tests/compiler/char/inputs/ascii.in diff --git a/tests/compiler/char/inputs/escaped.in b/disabled_tests/compiler/char/inputs/escaped.in similarity index 100% rename from tests/compiler/char/inputs/escaped.in rename to disabled_tests/compiler/char/inputs/escaped.in diff --git a/tests/compiler/char/inputs/escaped_unicode1.in b/disabled_tests/compiler/char/inputs/escaped_unicode1.in similarity index 100% rename from tests/compiler/char/inputs/escaped_unicode1.in rename to disabled_tests/compiler/char/inputs/escaped_unicode1.in diff --git a/tests/compiler/char/inputs/escaped_unicode2.in b/disabled_tests/compiler/char/inputs/escaped_unicode2.in similarity index 100% rename from tests/compiler/char/inputs/escaped_unicode2.in rename to disabled_tests/compiler/char/inputs/escaped_unicode2.in diff --git a/tests/compiler/char/inputs/escaped_unicode3.in b/disabled_tests/compiler/char/inputs/escaped_unicode3.in similarity index 100% rename from tests/compiler/char/inputs/escaped_unicode3.in rename to disabled_tests/compiler/char/inputs/escaped_unicode3.in diff --git a/tests/compiler/char/inputs/escaped_unicode4.in b/disabled_tests/compiler/char/inputs/escaped_unicode4.in similarity index 100% rename from tests/compiler/char/inputs/escaped_unicode4.in rename to disabled_tests/compiler/char/inputs/escaped_unicode4.in diff --git a/tests/compiler/char/inputs/escaped_unicode5.in b/disabled_tests/compiler/char/inputs/escaped_unicode5.in similarity index 100% rename from tests/compiler/char/inputs/escaped_unicode5.in rename to disabled_tests/compiler/char/inputs/escaped_unicode5.in diff --git a/tests/compiler/char/inputs/escaped_unicode6.in b/disabled_tests/compiler/char/inputs/escaped_unicode6.in similarity index 100% rename from tests/compiler/char/inputs/escaped_unicode6.in rename to disabled_tests/compiler/char/inputs/escaped_unicode6.in diff --git a/tests/compiler/char/inputs/hex1.in b/disabled_tests/compiler/char/inputs/hex1.in similarity index 100% rename from tests/compiler/char/inputs/hex1.in rename to disabled_tests/compiler/char/inputs/hex1.in diff --git a/tests/compiler/char/inputs/hex2.in b/disabled_tests/compiler/char/inputs/hex2.in similarity index 100% rename from tests/compiler/char/inputs/hex2.in rename to disabled_tests/compiler/char/inputs/hex2.in diff --git a/tests/compiler/char/inputs/nonprinting.in b/disabled_tests/compiler/char/inputs/nonprinting.in similarity index 100% rename from tests/compiler/char/inputs/nonprinting.in rename to disabled_tests/compiler/char/inputs/nonprinting.in diff --git a/tests/compiler/char/inputs/unicode1.in b/disabled_tests/compiler/char/inputs/unicode1.in similarity index 100% rename from tests/compiler/char/inputs/unicode1.in rename to disabled_tests/compiler/char/inputs/unicode1.in diff --git a/tests/compiler/char/inputs/unicode2.in b/disabled_tests/compiler/char/inputs/unicode2.in similarity index 100% rename from tests/compiler/char/inputs/unicode2.in rename to disabled_tests/compiler/char/inputs/unicode2.in diff --git a/tests/compiler/char/inputs/unicode3.in b/disabled_tests/compiler/char/inputs/unicode3.in similarity index 100% rename from tests/compiler/char/inputs/unicode3.in rename to disabled_tests/compiler/char/inputs/unicode3.in diff --git a/tests/compiler/char/inputs/unicode4.in b/disabled_tests/compiler/char/inputs/unicode4.in similarity index 100% rename from tests/compiler/char/inputs/unicode4.in rename to disabled_tests/compiler/char/inputs/unicode4.in diff --git a/tests/compiler/char/inputs/unicode5.in b/disabled_tests/compiler/char/inputs/unicode5.in similarity index 100% rename from tests/compiler/char/inputs/unicode5.in rename to disabled_tests/compiler/char/inputs/unicode5.in diff --git a/tests/compiler/char/invalid_char.leo b/disabled_tests/compiler/char/invalid_char.leo similarity index 100% rename from tests/compiler/char/invalid_char.leo rename to disabled_tests/compiler/char/invalid_char.leo diff --git a/tests/compiler/char/neq.leo b/disabled_tests/compiler/char/neq.leo similarity index 100% rename from tests/compiler/char/neq.leo rename to disabled_tests/compiler/char/neq.leo diff --git a/tests/compiler/char/nonprinting.leo b/disabled_tests/compiler/char/nonprinting.leo similarity index 100% rename from tests/compiler/char/nonprinting.leo rename to disabled_tests/compiler/char/nonprinting.leo diff --git a/tests/compiler/char/out.leo b/disabled_tests/compiler/char/out.leo similarity index 100% rename from tests/compiler/char/out.leo rename to disabled_tests/compiler/char/out.leo diff --git a/tests/compiler/char/output/output_char.out b/disabled_tests/compiler/char/output/output_char.out similarity index 100% rename from tests/compiler/char/output/output_char.out rename to disabled_tests/compiler/char/output/output_char.out diff --git a/tests/compiler/circuits/big_self_in_circuit_replacement.leo b/disabled_tests/compiler/circuits/big_self_in_circuit_replacement.leo similarity index 100% rename from tests/compiler/circuits/big_self_in_circuit_replacement.leo rename to disabled_tests/compiler/circuits/big_self_in_circuit_replacement.leo diff --git a/tests/compiler/circuits/big_self_outside_circuit_fail.leo b/disabled_tests/compiler/circuits/big_self_outside_circuit_fail.leo similarity index 100% rename from tests/compiler/circuits/big_self_outside_circuit_fail.leo rename to disabled_tests/compiler/circuits/big_self_outside_circuit_fail.leo diff --git a/tests/compiler/circuits/circuit_alias_namespace_conflict_fail.leo b/disabled_tests/compiler/circuits/circuit_alias_namespace_conflict_fail.leo similarity index 100% rename from tests/compiler/circuits/circuit_alias_namespace_conflict_fail.leo rename to disabled_tests/compiler/circuits/circuit_alias_namespace_conflict_fail.leo diff --git a/tests/compiler/circuits/circuit_function_namespace_conflict_fail.leo b/disabled_tests/compiler/circuits/circuit_function_namespace_conflict_fail.leo similarity index 100% rename from tests/compiler/circuits/circuit_function_namespace_conflict_fail.leo rename to disabled_tests/compiler/circuits/circuit_function_namespace_conflict_fail.leo diff --git a/tests/compiler/circuits/circuit_global_const_namespace_conflict_fail copy.leo b/disabled_tests/compiler/circuits/circuit_global_const_namespace_conflict_fail copy.leo similarity index 100% rename from tests/compiler/circuits/circuit_global_const_namespace_conflict_fail copy.leo rename to disabled_tests/compiler/circuits/circuit_global_const_namespace_conflict_fail copy.leo diff --git a/tests/compiler/circuits/const_self_variable.leo b/disabled_tests/compiler/circuits/const_self_variable.leo similarity index 100% rename from tests/compiler/circuits/const_self_variable.leo rename to disabled_tests/compiler/circuits/const_self_variable.leo diff --git a/tests/compiler/circuits/const_self_variable_fail.leo b/disabled_tests/compiler/circuits/const_self_variable_fail.leo similarity index 100% rename from tests/compiler/circuits/const_self_variable_fail.leo rename to disabled_tests/compiler/circuits/const_self_variable_fail.leo diff --git a/tests/compiler/circuits/define_circuit_inside_circuit_function.leo b/disabled_tests/compiler/circuits/define_circuit_inside_circuit_function.leo similarity index 100% rename from tests/compiler/circuits/define_circuit_inside_circuit_function.leo rename to disabled_tests/compiler/circuits/define_circuit_inside_circuit_function.leo diff --git a/tests/compiler/circuits/duplicate_name_context.leo b/disabled_tests/compiler/circuits/duplicate_name_context.leo similarity index 100% rename from tests/compiler/circuits/duplicate_name_context.leo rename to disabled_tests/compiler/circuits/duplicate_name_context.leo diff --git a/tests/compiler/circuits/inline.leo b/disabled_tests/compiler/circuits/inline.leo similarity index 100% rename from tests/compiler/circuits/inline.leo rename to disabled_tests/compiler/circuits/inline.leo diff --git a/tests/compiler/circuits/inline_fail.leo b/disabled_tests/compiler/circuits/inline_fail.leo similarity index 100% rename from tests/compiler/circuits/inline_fail.leo rename to disabled_tests/compiler/circuits/inline_fail.leo diff --git a/tests/compiler/circuits/inline_member_fail.leo b/disabled_tests/compiler/circuits/inline_member_fail.leo similarity index 100% rename from tests/compiler/circuits/inline_member_fail.leo rename to disabled_tests/compiler/circuits/inline_member_fail.leo diff --git a/tests/compiler/circuits/inline_member_pass.leo b/disabled_tests/compiler/circuits/inline_member_pass.leo similarity index 100% rename from tests/compiler/circuits/inline_member_pass.leo rename to disabled_tests/compiler/circuits/inline_member_pass.leo diff --git a/tests/compiler/circuits/inline_undefined.leo b/disabled_tests/compiler/circuits/inline_undefined.leo similarity index 100% rename from tests/compiler/circuits/inline_undefined.leo rename to disabled_tests/compiler/circuits/inline_undefined.leo diff --git a/tests/compiler/circuits/input/dummy.in b/disabled_tests/compiler/circuits/input/dummy.in similarity index 100% rename from tests/compiler/circuits/input/dummy.in rename to disabled_tests/compiler/circuits/input/dummy.in diff --git a/tests/compiler/circuits/member_function.leo b/disabled_tests/compiler/circuits/member_function.leo similarity index 100% rename from tests/compiler/circuits/member_function.leo rename to disabled_tests/compiler/circuits/member_function.leo diff --git a/tests/compiler/circuits/member_function_fail.leo b/disabled_tests/compiler/circuits/member_function_fail.leo similarity index 100% rename from tests/compiler/circuits/member_function_fail.leo rename to disabled_tests/compiler/circuits/member_function_fail.leo diff --git a/tests/compiler/circuits/member_function_invalid.leo b/disabled_tests/compiler/circuits/member_function_invalid.leo similarity index 100% rename from tests/compiler/circuits/member_function_invalid.leo rename to disabled_tests/compiler/circuits/member_function_invalid.leo diff --git a/tests/compiler/circuits/member_function_nested.leo b/disabled_tests/compiler/circuits/member_function_nested.leo similarity index 100% rename from tests/compiler/circuits/member_function_nested.leo rename to disabled_tests/compiler/circuits/member_function_nested.leo diff --git a/tests/compiler/circuits/member_static_function.leo b/disabled_tests/compiler/circuits/member_static_function.leo similarity index 100% rename from tests/compiler/circuits/member_static_function.leo rename to disabled_tests/compiler/circuits/member_static_function.leo diff --git a/tests/compiler/circuits/member_static_function_invalid.leo b/disabled_tests/compiler/circuits/member_static_function_invalid.leo similarity index 100% rename from tests/compiler/circuits/member_static_function_invalid.leo rename to disabled_tests/compiler/circuits/member_static_function_invalid.leo diff --git a/tests/compiler/circuits/member_static_function_nested.leo b/disabled_tests/compiler/circuits/member_static_function_nested.leo similarity index 100% rename from tests/compiler/circuits/member_static_function_nested.leo rename to disabled_tests/compiler/circuits/member_static_function_nested.leo diff --git a/tests/compiler/circuits/member_static_function_undefined.leo b/disabled_tests/compiler/circuits/member_static_function_undefined.leo similarity index 100% rename from tests/compiler/circuits/member_static_function_undefined.leo rename to disabled_tests/compiler/circuits/member_static_function_undefined.leo diff --git a/tests/compiler/circuits/member_variable.leo b/disabled_tests/compiler/circuits/member_variable.leo similarity index 100% rename from tests/compiler/circuits/member_variable.leo rename to disabled_tests/compiler/circuits/member_variable.leo diff --git a/tests/compiler/circuits/member_variable_and_function.leo b/disabled_tests/compiler/circuits/member_variable_and_function.leo similarity index 100% rename from tests/compiler/circuits/member_variable_and_function.leo rename to disabled_tests/compiler/circuits/member_variable_and_function.leo diff --git a/tests/compiler/circuits/member_variable_fail.leo b/disabled_tests/compiler/circuits/member_variable_fail.leo similarity index 100% rename from tests/compiler/circuits/member_variable_fail.leo rename to disabled_tests/compiler/circuits/member_variable_fail.leo diff --git a/tests/compiler/circuits/mut_function_fail.leo b/disabled_tests/compiler/circuits/mut_function_fail.leo similarity index 100% rename from tests/compiler/circuits/mut_function_fail.leo rename to disabled_tests/compiler/circuits/mut_function_fail.leo diff --git a/tests/compiler/circuits/mut_self_function_fail.leo b/disabled_tests/compiler/circuits/mut_self_function_fail.leo similarity index 100% rename from tests/compiler/circuits/mut_self_function_fail.leo rename to disabled_tests/compiler/circuits/mut_self_function_fail.leo diff --git a/tests/compiler/circuits/mut_self_static_function_fail.leo b/disabled_tests/compiler/circuits/mut_self_static_function_fail.leo similarity index 100% rename from tests/compiler/circuits/mut_self_static_function_fail.leo rename to disabled_tests/compiler/circuits/mut_self_static_function_fail.leo diff --git a/tests/compiler/circuits/mut_self_variable.leo b/disabled_tests/compiler/circuits/mut_self_variable.leo similarity index 100% rename from tests/compiler/circuits/mut_self_variable.leo rename to disabled_tests/compiler/circuits/mut_self_variable.leo diff --git a/tests/compiler/circuits/mut_self_variable_branch.leo b/disabled_tests/compiler/circuits/mut_self_variable_branch.leo similarity index 100% rename from tests/compiler/circuits/mut_self_variable_branch.leo rename to disabled_tests/compiler/circuits/mut_self_variable_branch.leo diff --git a/tests/compiler/circuits/mut_self_variable_conditional.leo b/disabled_tests/compiler/circuits/mut_self_variable_conditional.leo similarity index 100% rename from tests/compiler/circuits/mut_self_variable_conditional.leo rename to disabled_tests/compiler/circuits/mut_self_variable_conditional.leo diff --git a/tests/compiler/circuits/mut_self_variable_fail.leo b/disabled_tests/compiler/circuits/mut_self_variable_fail.leo similarity index 100% rename from tests/compiler/circuits/mut_self_variable_fail.leo rename to disabled_tests/compiler/circuits/mut_self_variable_fail.leo diff --git a/tests/compiler/circuits/mut_static_function_fail.leo b/disabled_tests/compiler/circuits/mut_static_function_fail.leo similarity index 100% rename from tests/compiler/circuits/mut_static_function_fail.leo rename to disabled_tests/compiler/circuits/mut_static_function_fail.leo diff --git a/tests/compiler/circuits/mut_variable.leo b/disabled_tests/compiler/circuits/mut_variable.leo similarity index 100% rename from tests/compiler/circuits/mut_variable.leo rename to disabled_tests/compiler/circuits/mut_variable.leo diff --git a/tests/compiler/circuits/mut_variable_fail.leo b/disabled_tests/compiler/circuits/mut_variable_fail.leo similarity index 100% rename from tests/compiler/circuits/mut_variable_fail.leo rename to disabled_tests/compiler/circuits/mut_variable_fail.leo diff --git a/tests/compiler/circuits/mutable_call_immutable_context.leo b/disabled_tests/compiler/circuits/mutable_call_immutable_context.leo similarity index 100% rename from tests/compiler/circuits/mutable_call_immutable_context.leo rename to disabled_tests/compiler/circuits/mutable_call_immutable_context.leo diff --git a/tests/compiler/circuits/pedersen_mock.leo b/disabled_tests/compiler/circuits/pedersen_mock.leo similarity index 100% rename from tests/compiler/circuits/pedersen_mock.leo rename to disabled_tests/compiler/circuits/pedersen_mock.leo diff --git a/tests/compiler/circuits/return_self_type_array.leo b/disabled_tests/compiler/circuits/return_self_type_array.leo similarity index 100% rename from tests/compiler/circuits/return_self_type_array.leo rename to disabled_tests/compiler/circuits/return_self_type_array.leo diff --git a/tests/compiler/circuits/return_self_type_tuple.leo b/disabled_tests/compiler/circuits/return_self_type_tuple.leo similarity index 100% rename from tests/compiler/circuits/return_self_type_tuple.leo rename to disabled_tests/compiler/circuits/return_self_type_tuple.leo diff --git a/tests/compiler/circuits/self_circuit.leo b/disabled_tests/compiler/circuits/self_circuit.leo similarity index 100% rename from tests/compiler/circuits/self_circuit.leo rename to disabled_tests/compiler/circuits/self_circuit.leo diff --git a/tests/compiler/circuits/self_fail.leo b/disabled_tests/compiler/circuits/self_fail.leo similarity index 100% rename from tests/compiler/circuits/self_fail.leo rename to disabled_tests/compiler/circuits/self_fail.leo diff --git a/tests/compiler/circuits/self_member.leo b/disabled_tests/compiler/circuits/self_member.leo similarity index 100% rename from tests/compiler/circuits/self_member.leo rename to disabled_tests/compiler/circuits/self_member.leo diff --git a/tests/compiler/circuits/self_member_invalid.leo b/disabled_tests/compiler/circuits/self_member_invalid.leo similarity index 100% rename from tests/compiler/circuits/self_member_invalid.leo rename to disabled_tests/compiler/circuits/self_member_invalid.leo diff --git a/tests/compiler/circuits/self_member_undefined.leo b/disabled_tests/compiler/circuits/self_member_undefined.leo similarity index 100% rename from tests/compiler/circuits/self_member_undefined.leo rename to disabled_tests/compiler/circuits/self_member_undefined.leo diff --git a/tests/compiler/console/assert.leo b/disabled_tests/compiler/console/assert.leo similarity index 100% rename from tests/compiler/console/assert.leo rename to disabled_tests/compiler/console/assert.leo diff --git a/tests/compiler/console/conditional_assert.leo b/disabled_tests/compiler/console/conditional_assert.leo similarity index 100% rename from tests/compiler/console/conditional_assert.leo rename to disabled_tests/compiler/console/conditional_assert.leo diff --git a/tests/compiler/console/error.leo b/disabled_tests/compiler/console/error.leo similarity index 100% rename from tests/compiler/console/error.leo rename to disabled_tests/compiler/console/error.leo diff --git a/tests/compiler/console/input/dummy.in b/disabled_tests/compiler/console/input/dummy.in similarity index 100% rename from tests/compiler/console/input/dummy.in rename to disabled_tests/compiler/console/input/dummy.in diff --git a/tests/compiler/console/input/input_equal.in b/disabled_tests/compiler/console/input/input_equal.in similarity index 100% rename from tests/compiler/console/input/input_equal.in rename to disabled_tests/compiler/console/input/input_equal.in diff --git a/tests/compiler/console/input/input_unequal.in b/disabled_tests/compiler/console/input/input_unequal.in similarity index 100% rename from tests/compiler/console/input/input_unequal.in rename to disabled_tests/compiler/console/input/input_unequal.in diff --git a/tests/compiler/console/log.leo b/disabled_tests/compiler/console/log.leo similarity index 100% rename from tests/compiler/console/log.leo rename to disabled_tests/compiler/console/log.leo diff --git a/tests/compiler/console/log_conditional.leo b/disabled_tests/compiler/console/log_conditional.leo similarity index 100% rename from tests/compiler/console/log_conditional.leo rename to disabled_tests/compiler/console/log_conditional.leo diff --git a/tests/compiler/console/log_fail.leo b/disabled_tests/compiler/console/log_fail.leo similarity index 100% rename from tests/compiler/console/log_fail.leo rename to disabled_tests/compiler/console/log_fail.leo diff --git a/tests/compiler/console/log_input.leo b/disabled_tests/compiler/console/log_input.leo similarity index 100% rename from tests/compiler/console/log_input.leo rename to disabled_tests/compiler/console/log_input.leo diff --git a/tests/compiler/console/log_parameter.leo b/disabled_tests/compiler/console/log_parameter.leo similarity index 100% rename from tests/compiler/console/log_parameter.leo rename to disabled_tests/compiler/console/log_parameter.leo diff --git a/tests/compiler/console/log_parameter_fail_empty.leo b/disabled_tests/compiler/console/log_parameter_fail_empty.leo similarity index 100% rename from tests/compiler/console/log_parameter_fail_empty.leo rename to disabled_tests/compiler/console/log_parameter_fail_empty.leo diff --git a/tests/compiler/console/log_parameter_fail_none.leo b/disabled_tests/compiler/console/log_parameter_fail_none.leo similarity index 100% rename from tests/compiler/console/log_parameter_fail_none.leo rename to disabled_tests/compiler/console/log_parameter_fail_none.leo diff --git a/tests/compiler/console/log_parameter_fail_unknown.leo b/disabled_tests/compiler/console/log_parameter_fail_unknown.leo similarity index 100% rename from tests/compiler/console/log_parameter_fail_unknown.leo rename to disabled_tests/compiler/console/log_parameter_fail_unknown.leo diff --git a/tests/compiler/console/log_parameter_many.leo b/disabled_tests/compiler/console/log_parameter_many.leo similarity index 100% rename from tests/compiler/console/log_parameter_many.leo rename to disabled_tests/compiler/console/log_parameter_many.leo diff --git a/tests/compiler/function/array_input.leo b/disabled_tests/compiler/function/array_input.leo similarity index 100% rename from tests/compiler/function/array_input.leo rename to disabled_tests/compiler/function/array_input.leo diff --git a/tests/compiler/function/array_params_direct_call.leo b/disabled_tests/compiler/function/array_params_direct_call.leo similarity index 100% rename from tests/compiler/function/array_params_direct_call.leo rename to disabled_tests/compiler/function/array_params_direct_call.leo diff --git a/tests/compiler/function/conditional_return.leo b/disabled_tests/compiler/function/conditional_return.leo similarity index 100% rename from tests/compiler/function/conditional_return.leo rename to disabled_tests/compiler/function/conditional_return.leo diff --git a/tests/compiler/function/duplicate_definition_fail.leo b/disabled_tests/compiler/function/duplicate_definition_fail.leo similarity index 100% rename from tests/compiler/function/duplicate_definition_fail.leo rename to disabled_tests/compiler/function/duplicate_definition_fail.leo diff --git a/tests/compiler/function/duplicate_parameter_fail.leo b/disabled_tests/compiler/function/duplicate_parameter_fail.leo similarity index 100% rename from tests/compiler/function/duplicate_parameter_fail.leo rename to disabled_tests/compiler/function/duplicate_parameter_fail.leo diff --git a/tests/compiler/function/empty.leo b/disabled_tests/compiler/function/empty.leo similarity index 100% rename from tests/compiler/function/empty.leo rename to disabled_tests/compiler/function/empty.leo diff --git a/tests/compiler/function/function_alias_namespace_conflict_fail.leo b/disabled_tests/compiler/function/function_alias_namespace_conflict_fail.leo similarity index 100% rename from tests/compiler/function/function_alias_namespace_conflict_fail.leo rename to disabled_tests/compiler/function/function_alias_namespace_conflict_fail.leo diff --git a/tests/compiler/function/function_circuit_namespace_conflict_fail.leo b/disabled_tests/compiler/function/function_circuit_namespace_conflict_fail.leo similarity index 100% rename from tests/compiler/function/function_circuit_namespace_conflict_fail.leo rename to disabled_tests/compiler/function/function_circuit_namespace_conflict_fail.leo diff --git a/tests/compiler/function/function_global_const_namespace_conflict_fail copy.leo b/disabled_tests/compiler/function/function_global_const_namespace_conflict_fail copy.leo similarity index 100% rename from tests/compiler/function/function_global_const_namespace_conflict_fail copy.leo rename to disabled_tests/compiler/function/function_global_const_namespace_conflict_fail copy.leo diff --git a/tests/compiler/function/input/dummy.in b/disabled_tests/compiler/function/input/dummy.in similarity index 100% rename from tests/compiler/function/input/dummy.in rename to disabled_tests/compiler/function/input/dummy.in diff --git a/tests/compiler/function/input/integers.in b/disabled_tests/compiler/function/input/integers.in similarity index 100% rename from tests/compiler/function/input/integers.in rename to disabled_tests/compiler/function/input/integers.in diff --git a/tests/compiler/function/iteration.leo b/disabled_tests/compiler/function/iteration.leo similarity index 100% rename from tests/compiler/function/iteration.leo rename to disabled_tests/compiler/function/iteration.leo diff --git a/tests/compiler/function/iteration_repeated.leo b/disabled_tests/compiler/function/iteration_repeated.leo similarity index 100% rename from tests/compiler/function/iteration_repeated.leo rename to disabled_tests/compiler/function/iteration_repeated.leo diff --git a/tests/compiler/function/multiple_returns.leo b/disabled_tests/compiler/function/multiple_returns.leo similarity index 100% rename from tests/compiler/function/multiple_returns.leo rename to disabled_tests/compiler/function/multiple_returns.leo diff --git a/tests/compiler/function/multiple_returns_fail.leo b/disabled_tests/compiler/function/multiple_returns_fail.leo similarity index 100% rename from tests/compiler/function/multiple_returns_fail.leo rename to disabled_tests/compiler/function/multiple_returns_fail.leo diff --git a/tests/compiler/function/multiple_returns_fail_conditional.leo b/disabled_tests/compiler/function/multiple_returns_fail_conditional.leo similarity index 100% rename from tests/compiler/function/multiple_returns_fail_conditional.leo rename to disabled_tests/compiler/function/multiple_returns_fail_conditional.leo diff --git a/tests/compiler/function/multiple_returns_main.leo b/disabled_tests/compiler/function/multiple_returns_main.leo similarity index 100% rename from tests/compiler/function/multiple_returns_main.leo rename to disabled_tests/compiler/function/multiple_returns_main.leo diff --git a/tests/compiler/function/newlines.leo b/disabled_tests/compiler/function/newlines.leo similarity index 100% rename from tests/compiler/function/newlines.leo rename to disabled_tests/compiler/function/newlines.leo diff --git a/tests/compiler/function/repeated.leo b/disabled_tests/compiler/function/repeated.leo similarity index 100% rename from tests/compiler/function/repeated.leo rename to disabled_tests/compiler/function/repeated.leo diff --git a/tests/compiler/function/return.leo b/disabled_tests/compiler/function/return.leo similarity index 100% rename from tests/compiler/function/return.leo rename to disabled_tests/compiler/function/return.leo diff --git a/tests/compiler/function/return_array_nested_fail.leo b/disabled_tests/compiler/function/return_array_nested_fail.leo similarity index 100% rename from tests/compiler/function/return_array_nested_fail.leo rename to disabled_tests/compiler/function/return_array_nested_fail.leo diff --git a/tests/compiler/function/return_array_nested_pass.leo b/disabled_tests/compiler/function/return_array_nested_pass.leo similarity index 100% rename from tests/compiler/function/return_array_nested_pass.leo rename to disabled_tests/compiler/function/return_array_nested_pass.leo diff --git a/tests/compiler/function/return_array_tuple_fail.leo b/disabled_tests/compiler/function/return_array_tuple_fail.leo similarity index 100% rename from tests/compiler/function/return_array_tuple_fail.leo rename to disabled_tests/compiler/function/return_array_tuple_fail.leo diff --git a/tests/compiler/function/return_array_tuple_pass.leo b/disabled_tests/compiler/function/return_array_tuple_pass.leo similarity index 100% rename from tests/compiler/function/return_array_tuple_pass.leo rename to disabled_tests/compiler/function/return_array_tuple_pass.leo diff --git a/tests/compiler/function/return_tuple.leo b/disabled_tests/compiler/function/return_tuple.leo similarity index 100% rename from tests/compiler/function/return_tuple.leo rename to disabled_tests/compiler/function/return_tuple.leo diff --git a/tests/compiler/function/return_tuple_conditional.leo b/disabled_tests/compiler/function/return_tuple_conditional.leo similarity index 100% rename from tests/compiler/function/return_tuple_conditional.leo rename to disabled_tests/compiler/function/return_tuple_conditional.leo diff --git a/tests/compiler/function/scope_fail.leo b/disabled_tests/compiler/function/scope_fail.leo similarity index 100% rename from tests/compiler/function/scope_fail.leo rename to disabled_tests/compiler/function/scope_fail.leo diff --git a/tests/compiler/function/shadow_global_const_input_fail copy.leo b/disabled_tests/compiler/function/shadow_global_const_input_fail copy.leo similarity index 100% rename from tests/compiler/function/shadow_global_const_input_fail copy.leo rename to disabled_tests/compiler/function/shadow_global_const_input_fail copy.leo diff --git a/tests/compiler/function/shadow_global_const_var_fail.leo b/disabled_tests/compiler/function/shadow_global_const_var_fail.leo similarity index 100% rename from tests/compiler/function/shadow_global_const_var_fail.leo rename to disabled_tests/compiler/function/shadow_global_const_var_fail.leo diff --git a/tests/compiler/function/shadow_parameter_fail.leo b/disabled_tests/compiler/function/shadow_parameter_fail.leo similarity index 100% rename from tests/compiler/function/shadow_parameter_fail.leo rename to disabled_tests/compiler/function/shadow_parameter_fail.leo diff --git a/tests/compiler/function/undefined.leo b/disabled_tests/compiler/function/undefined.leo similarity index 100% rename from tests/compiler/function/undefined.leo rename to disabled_tests/compiler/function/undefined.leo diff --git a/tests/compiler/function/value_unchanged.leo b/disabled_tests/compiler/function/value_unchanged.leo similarity index 100% rename from tests/compiler/function/value_unchanged.leo rename to disabled_tests/compiler/function/value_unchanged.leo diff --git a/tests/compiler/global_consts/global_const_alias_namespace_conflict_fail.leo b/disabled_tests/compiler/global_consts/global_const_alias_namespace_conflict_fail.leo similarity index 100% rename from tests/compiler/global_consts/global_const_alias_namespace_conflict_fail.leo rename to disabled_tests/compiler/global_consts/global_const_alias_namespace_conflict_fail.leo diff --git a/tests/compiler/global_consts/global_const_circuit_namespace_conflict_fail copy.leo b/disabled_tests/compiler/global_consts/global_const_circuit_namespace_conflict_fail copy.leo similarity index 100% rename from tests/compiler/global_consts/global_const_circuit_namespace_conflict_fail copy.leo rename to disabled_tests/compiler/global_consts/global_const_circuit_namespace_conflict_fail copy.leo diff --git a/tests/compiler/global_consts/global_const_function_namespace_conflict_fail.leo b/disabled_tests/compiler/global_consts/global_const_function_namespace_conflict_fail.leo similarity index 100% rename from tests/compiler/global_consts/global_const_function_namespace_conflict_fail.leo rename to disabled_tests/compiler/global_consts/global_const_function_namespace_conflict_fail.leo diff --git a/tests/compiler/global_consts/global_const_types.leo b/disabled_tests/compiler/global_consts/global_const_types.leo similarity index 100% rename from tests/compiler/global_consts/global_const_types.leo rename to disabled_tests/compiler/global_consts/global_const_types.leo diff --git a/tests/compiler/global_consts/inputs/dummy.in b/disabled_tests/compiler/global_consts/inputs/dummy.in similarity index 100% rename from tests/compiler/global_consts/inputs/dummy.in rename to disabled_tests/compiler/global_consts/inputs/dummy.in diff --git a/tests/compiler/global_consts/modify_global_const.leo b/disabled_tests/compiler/global_consts/modify_global_const.leo similarity index 100% rename from tests/compiler/global_consts/modify_global_const.leo rename to disabled_tests/compiler/global_consts/modify_global_const.leo diff --git a/tests/compiler/import_dependency/imports/dependency/inputs/dependency.in b/disabled_tests/compiler/import_dependency/imports/dependency/inputs/dependency.in similarity index 100% rename from tests/compiler/import_dependency/imports/dependency/inputs/dependency.in rename to disabled_tests/compiler/import_dependency/imports/dependency/inputs/dependency.in diff --git a/tests/compiler/import_dependency/imports/dependency/src/main.leo b/disabled_tests/compiler/import_dependency/imports/dependency/src/main.leo similarity index 100% rename from tests/compiler/import_dependency/imports/dependency/src/main.leo rename to disabled_tests/compiler/import_dependency/imports/dependency/src/main.leo diff --git a/tests/compiler/import_dependency/input/dummy.in b/disabled_tests/compiler/import_dependency/input/dummy.in similarity index 100% rename from tests/compiler/import_dependency/input/dummy.in rename to disabled_tests/compiler/import_dependency/input/dummy.in diff --git a/tests/compiler/import_dependency/readme.md b/disabled_tests/compiler/import_dependency/readme.md similarity index 100% rename from tests/compiler/import_dependency/readme.md rename to disabled_tests/compiler/import_dependency/readme.md diff --git a/tests/compiler/import_dependency/tests/import_dependency_folder.leo b/disabled_tests/compiler/import_dependency/tests/import_dependency_folder.leo similarity index 100% rename from tests/compiler/import_dependency/tests/import_dependency_folder.leo rename to disabled_tests/compiler/import_dependency/tests/import_dependency_folder.leo diff --git a/tests/compiler/import_local/import_all.leo b/disabled_tests/compiler/import_local/import_all.leo similarity index 100% rename from tests/compiler/import_local/import_all.leo rename to disabled_tests/compiler/import_local/import_all.leo diff --git a/tests/compiler/import_local/import_as.leo b/disabled_tests/compiler/import_local/import_as.leo similarity index 100% rename from tests/compiler/import_local/import_as.leo rename to disabled_tests/compiler/import_local/import_as.leo diff --git a/tests/compiler/import_local/import_dir.leo b/disabled_tests/compiler/import_local/import_dir.leo similarity index 100% rename from tests/compiler/import_local/import_dir.leo rename to disabled_tests/compiler/import_local/import_dir.leo diff --git a/tests/compiler/import_local/import_files.leo b/disabled_tests/compiler/import_local/import_files.leo similarity index 100% rename from tests/compiler/import_local/import_files.leo rename to disabled_tests/compiler/import_local/import_files.leo diff --git a/tests/compiler/import_local/import_many.leo b/disabled_tests/compiler/import_local/import_many.leo similarity index 100% rename from tests/compiler/import_local/import_many.leo rename to disabled_tests/compiler/import_local/import_many.leo diff --git a/tests/compiler/import_local/import_weird_names.leo b/disabled_tests/compiler/import_local/import_weird_names.leo similarity index 100% rename from tests/compiler/import_local/import_weird_names.leo rename to disabled_tests/compiler/import_local/import_weird_names.leo diff --git a/tests/compiler/import_local/import_weird_names_nested.leo b/disabled_tests/compiler/import_local/import_weird_names_nested.leo similarity index 100% rename from tests/compiler/import_local/import_weird_names_nested.leo rename to disabled_tests/compiler/import_local/import_weird_names_nested.leo diff --git a/tests/compiler/import_local/input/dummy.in b/disabled_tests/compiler/import_local/input/dummy.in similarity index 100% rename from tests/compiler/import_local/input/dummy.in rename to disabled_tests/compiler/import_local/input/dummy.in diff --git a/tests/compiler/import_local/local_imports/a-9.leo b/disabled_tests/compiler/import_local/local_imports/a-9.leo similarity index 100% rename from tests/compiler/import_local/local_imports/a-9.leo rename to disabled_tests/compiler/import_local/local_imports/a-9.leo diff --git a/tests/compiler/import_local/local_imports/circuits.leo b/disabled_tests/compiler/import_local/local_imports/circuits.leo similarity index 100% rename from tests/compiler/import_local/local_imports/circuits.leo rename to disabled_tests/compiler/import_local/local_imports/circuits.leo diff --git a/tests/compiler/import_local/local_imports/lib.leo b/disabled_tests/compiler/import_local/local_imports/lib.leo similarity index 100% rename from tests/compiler/import_local/local_imports/lib.leo rename to disabled_tests/compiler/import_local/local_imports/lib.leo diff --git a/tests/compiler/import_local/local_imports/nested/c-d.leo b/disabled_tests/compiler/import_local/local_imports/nested/c-d.leo similarity index 100% rename from tests/compiler/import_local/local_imports/nested/c-d.leo rename to disabled_tests/compiler/import_local/local_imports/nested/c-d.leo diff --git a/tests/compiler/import_local/local_imports/nested/hello.leo b/disabled_tests/compiler/import_local/local_imports/nested/hello.leo similarity index 100% rename from tests/compiler/import_local/local_imports/nested/hello.leo rename to disabled_tests/compiler/import_local/local_imports/nested/hello.leo diff --git a/tests/compiler/import_old/alias.leo b/disabled_tests/compiler/import_old/alias.leo similarity index 100% rename from tests/compiler/import_old/alias.leo rename to disabled_tests/compiler/import_old/alias.leo diff --git a/tests/compiler/import_old/basic.leo b/disabled_tests/compiler/import_old/basic.leo similarity index 100% rename from tests/compiler/import_old/basic.leo rename to disabled_tests/compiler/import_old/basic.leo diff --git a/tests/compiler/import_old/imports/a-9.leo b/disabled_tests/compiler/import_old/imports/a-9.leo similarity index 100% rename from tests/compiler/import_old/imports/a-9.leo rename to disabled_tests/compiler/import_old/imports/a-9.leo diff --git a/tests/compiler/import_old/imports/a0-f.leo b/disabled_tests/compiler/import_old/imports/a0-f.leo similarity index 100% rename from tests/compiler/import_old/imports/a0-f.leo rename to disabled_tests/compiler/import_old/imports/a0-f.leo diff --git a/tests/compiler/import_old/imports/bar/.gitignore b/disabled_tests/compiler/import_old/imports/bar/.gitignore similarity index 100% rename from tests/compiler/import_old/imports/bar/.gitignore rename to disabled_tests/compiler/import_old/imports/bar/.gitignore diff --git a/tests/compiler/import_old/imports/bar/Leo.toml b/disabled_tests/compiler/import_old/imports/bar/Leo.toml similarity index 100% rename from tests/compiler/import_old/imports/bar/Leo.toml rename to disabled_tests/compiler/import_old/imports/bar/Leo.toml diff --git a/tests/compiler/import_old/imports/bar/src/bat/bat.leo b/disabled_tests/compiler/import_old/imports/bar/src/bat/bat.leo similarity index 100% rename from tests/compiler/import_old/imports/bar/src/bat/bat.leo rename to disabled_tests/compiler/import_old/imports/bar/src/bat/bat.leo diff --git a/tests/compiler/import_old/imports/bar/src/baz.leo b/disabled_tests/compiler/import_old/imports/bar/src/baz.leo similarity index 100% rename from tests/compiler/import_old/imports/bar/src/baz.leo rename to disabled_tests/compiler/import_old/imports/bar/src/baz.leo diff --git a/tests/compiler/import_old/imports/bar/src/lib.leo b/disabled_tests/compiler/import_old/imports/bar/src/lib.leo similarity index 100% rename from tests/compiler/import_old/imports/bar/src/lib.leo rename to disabled_tests/compiler/import_old/imports/bar/src/lib.leo diff --git a/tests/compiler/import_old/imports/car/.gitignore b/disabled_tests/compiler/import_old/imports/car/.gitignore similarity index 100% rename from tests/compiler/import_old/imports/car/.gitignore rename to disabled_tests/compiler/import_old/imports/car/.gitignore diff --git a/tests/compiler/import_old/imports/car/Leo.toml b/disabled_tests/compiler/import_old/imports/car/Leo.toml similarity index 100% rename from tests/compiler/import_old/imports/car/Leo.toml rename to disabled_tests/compiler/import_old/imports/car/Leo.toml diff --git a/tests/compiler/import_old/imports/car/src/lib.leo b/disabled_tests/compiler/import_old/imports/car/src/lib.leo similarity index 100% rename from tests/compiler/import_old/imports/car/src/lib.leo rename to disabled_tests/compiler/import_old/imports/car/src/lib.leo diff --git a/tests/compiler/import_old/imports/hello-world.leo b/disabled_tests/compiler/import_old/imports/hello-world.leo similarity index 100% rename from tests/compiler/import_old/imports/hello-world.leo rename to disabled_tests/compiler/import_old/imports/hello-world.leo diff --git a/tests/compiler/import_old/imports/lib.leo b/disabled_tests/compiler/import_old/imports/lib.leo similarity index 100% rename from tests/compiler/import_old/imports/lib.leo rename to disabled_tests/compiler/import_old/imports/lib.leo diff --git a/tests/compiler/import_old/imports/test-import.leo b/disabled_tests/compiler/import_old/imports/test-import.leo similarity index 100% rename from tests/compiler/import_old/imports/test-import.leo rename to disabled_tests/compiler/import_old/imports/test-import.leo diff --git a/tests/compiler/import_old/input/dummy.in b/disabled_tests/compiler/import_old/input/dummy.in similarity index 100% rename from tests/compiler/import_old/input/dummy.in rename to disabled_tests/compiler/import_old/input/dummy.in diff --git a/tests/compiler/import_old/many_import.leo b/disabled_tests/compiler/import_old/many_import.leo similarity index 100% rename from tests/compiler/import_old/many_import.leo rename to disabled_tests/compiler/import_old/many_import.leo diff --git a/tests/compiler/import_old/many_import_star.leo b/disabled_tests/compiler/import_old/many_import_star.leo similarity index 100% rename from tests/compiler/import_old/many_import_star.leo rename to disabled_tests/compiler/import_old/many_import_star.leo diff --git a/tests/compiler/import_old/multiple.leo b/disabled_tests/compiler/import_old/multiple.leo similarity index 100% rename from tests/compiler/import_old/multiple.leo rename to disabled_tests/compiler/import_old/multiple.leo diff --git a/tests/compiler/import_old/names.leo b/disabled_tests/compiler/import_old/names.leo similarity index 100% rename from tests/compiler/import_old/names.leo rename to disabled_tests/compiler/import_old/names.leo diff --git a/tests/compiler/import_old/names_a_dash_fail.leo b/disabled_tests/compiler/import_old/names_a_dash_fail.leo similarity index 100% rename from tests/compiler/import_old/names_a_dash_fail.leo rename to disabled_tests/compiler/import_old/names_a_dash_fail.leo diff --git a/tests/compiler/import_old/names_dash_a_fail.leo b/disabled_tests/compiler/import_old/names_dash_a_fail.leo similarity index 100% rename from tests/compiler/import_old/names_dash_a_fail.leo rename to disabled_tests/compiler/import_old/names_dash_a_fail.leo diff --git a/tests/compiler/import_old/names_dollar_fail.leo b/disabled_tests/compiler/import_old/names_dollar_fail.leo similarity index 100% rename from tests/compiler/import_old/names_dollar_fail.leo rename to disabled_tests/compiler/import_old/names_dollar_fail.leo diff --git a/tests/compiler/import_old/names_underscore_fail.leo b/disabled_tests/compiler/import_old/names_underscore_fail.leo similarity index 100% rename from tests/compiler/import_old/names_underscore_fail.leo rename to disabled_tests/compiler/import_old/names_underscore_fail.leo diff --git a/tests/compiler/import_old/star.leo b/disabled_tests/compiler/import_old/star.leo similarity index 100% rename from tests/compiler/import_old/star.leo rename to disabled_tests/compiler/import_old/star.leo diff --git a/tests/compiler/import_old/star_fail.leo b/disabled_tests/compiler/import_old/star_fail.leo similarity index 100% rename from tests/compiler/import_old/star_fail.leo rename to disabled_tests/compiler/import_old/star_fail.leo diff --git a/tests/compiler/import_old/string_import.leo b/disabled_tests/compiler/import_old/string_import.leo similarity index 100% rename from tests/compiler/import_old/string_import.leo rename to disabled_tests/compiler/import_old/string_import.leo diff --git a/tests/compiler/input_files/program_input/different_types_const_signed_fail.leo b/disabled_tests/compiler/input_files/program_input/different_types_const_signed_fail.leo similarity index 100% rename from tests/compiler/input_files/program_input/different_types_const_signed_fail.leo rename to disabled_tests/compiler/input_files/program_input/different_types_const_signed_fail.leo diff --git a/tests/compiler/input_files/program_input/different_types_fail_signed.leo b/disabled_tests/compiler/input_files/program_input/different_types_fail_signed.leo similarity index 100% rename from tests/compiler/input_files/program_input/different_types_fail_signed.leo rename to disabled_tests/compiler/input_files/program_input/different_types_fail_signed.leo diff --git a/tests/compiler/input_files/program_input/different_types_unsigned_fail.leo b/disabled_tests/compiler/input_files/program_input/different_types_unsigned_fail.leo similarity index 100% rename from tests/compiler/input_files/program_input/different_types_unsigned_fail.leo rename to disabled_tests/compiler/input_files/program_input/different_types_unsigned_fail.leo diff --git a/tests/compiler/input_files/program_input/main_array.leo b/disabled_tests/compiler/input_files/program_input/main_array.leo similarity index 100% rename from tests/compiler/input_files/program_input/main_array.leo rename to disabled_tests/compiler/input_files/program_input/main_array.leo diff --git a/tests/compiler/input_files/program_input/main_array_fail.leo b/disabled_tests/compiler/input_files/program_input/main_array_fail.leo similarity index 100% rename from tests/compiler/input_files/program_input/main_array_fail.leo rename to disabled_tests/compiler/input_files/program_input/main_array_fail.leo diff --git a/tests/compiler/input_files/program_input/main_char.leo b/disabled_tests/compiler/input_files/program_input/main_char.leo similarity index 100% rename from tests/compiler/input_files/program_input/main_char.leo rename to disabled_tests/compiler/input_files/program_input/main_char.leo diff --git a/tests/compiler/input_files/program_input/main_multi_dimension_array.leo b/disabled_tests/compiler/input_files/program_input/main_multi_dimension_array.leo similarity index 100% rename from tests/compiler/input_files/program_input/main_multi_dimension_array.leo rename to disabled_tests/compiler/input_files/program_input/main_multi_dimension_array.leo diff --git a/tests/compiler/input_files/program_input/main_multiple.leo b/disabled_tests/compiler/input_files/program_input/main_multiple.leo similarity index 100% rename from tests/compiler/input_files/program_input/main_multiple.leo rename to disabled_tests/compiler/input_files/program_input/main_multiple.leo diff --git a/tests/compiler/input_files/program_input/main_string.leo b/disabled_tests/compiler/input_files/program_input/main_string.leo similarity index 100% rename from tests/compiler/input_files/program_input/main_string.leo rename to disabled_tests/compiler/input_files/program_input/main_string.leo diff --git a/tests/compiler/input_files/program_input/main_tuple.leo b/disabled_tests/compiler/input_files/program_input/main_tuple.leo similarity index 100% rename from tests/compiler/input_files/program_input/main_tuple.leo rename to disabled_tests/compiler/input_files/program_input/main_tuple.leo diff --git a/tests/compiler/input_files/program_input/main_tuple_fail.leo b/disabled_tests/compiler/input_files/program_input/main_tuple_fail.leo similarity index 100% rename from tests/compiler/input_files/program_input/main_tuple_fail.leo rename to disabled_tests/compiler/input_files/program_input/main_tuple_fail.leo diff --git a/tests/compiler/input_files/program_input/non_const_input_const.leo b/disabled_tests/compiler/input_files/program_input/non_const_input_const.leo similarity index 100% rename from tests/compiler/input_files/program_input/non_const_input_const.leo rename to disabled_tests/compiler/input_files/program_input/non_const_input_const.leo diff --git a/tests/compiler/input_files/program_input_and_program_state/basic.leo b/disabled_tests/compiler/input_files/program_input_and_program_state/basic.leo similarity index 100% rename from tests/compiler/input_files/program_input_and_program_state/basic.leo rename to disabled_tests/compiler/input_files/program_input_and_program_state/basic.leo diff --git a/tests/compiler/input_files/program_input_and_program_state/input/basic.in b/disabled_tests/compiler/input_files/program_input_and_program_state/input/basic.in similarity index 100% rename from tests/compiler/input_files/program_input_and_program_state/input/basic.in rename to disabled_tests/compiler/input_files/program_input_and_program_state/input/basic.in diff --git a/tests/compiler/input_files/program_input_and_program_state/input/basic.state b/disabled_tests/compiler/input_files/program_input_and_program_state/input/basic.state similarity index 100% rename from tests/compiler/input_files/program_input_and_program_state/input/basic.state rename to disabled_tests/compiler/input_files/program_input_and_program_state/input/basic.state diff --git a/tests/compiler/input_files/program_input_and_program_state/input/token_withdraw.in b/disabled_tests/compiler/input_files/program_input_and_program_state/input/token_withdraw.in similarity index 100% rename from tests/compiler/input_files/program_input_and_program_state/input/token_withdraw.in rename to disabled_tests/compiler/input_files/program_input_and_program_state/input/token_withdraw.in diff --git a/tests/compiler/input_files/program_input_and_program_state/input/token_withdraw.state b/disabled_tests/compiler/input_files/program_input_and_program_state/input/token_withdraw.state similarity index 100% rename from tests/compiler/input_files/program_input_and_program_state/input/token_withdraw.state rename to disabled_tests/compiler/input_files/program_input_and_program_state/input/token_withdraw.state diff --git a/tests/compiler/input_files/program_input_and_program_state/token_withdraw.leo b/disabled_tests/compiler/input_files/program_input_and_program_state/token_withdraw.leo similarity index 100% rename from tests/compiler/input_files/program_input_and_program_state/token_withdraw.leo rename to disabled_tests/compiler/input_files/program_input_and_program_state/token_withdraw.leo diff --git a/disabled_tests/compiler/input_files/program_input_constants/input/main.in b/disabled_tests/compiler/input_files/program_input_constants/input/main.in new file mode 100644 index 0000000000..3b9dcc2a87 --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/input/main.in @@ -0,0 +1,8 @@ +[main] +b: bool = true; + +[constants] +a: bool = true; + +[registers] +r0: bool = true; diff --git a/disabled_tests/compiler/input_files/program_input_constants/input/main_array.in b/disabled_tests/compiler/input_files/program_input_constants/input/main_array.in new file mode 100644 index 0000000000..6f7e331085 --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/input/main_array.in @@ -0,0 +1,8 @@ +[main] +y: bool = true; + +[constants] +x: [i16; 1] = [0i16; 1]; + +[registers] +r0: bool = true; diff --git a/disabled_tests/compiler/input_files/program_input_constants/input/main_array_fail.in b/disabled_tests/compiler/input_files/program_input_constants/input/main_array_fail.in new file mode 100644 index 0000000000..3fe6502e8f --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/input/main_array_fail.in @@ -0,0 +1,2 @@ +[constants] +x: [i16; 1] = [0i16; 1]; diff --git a/disabled_tests/compiler/input_files/program_input_constants/input/main_char.in b/disabled_tests/compiler/input_files/program_input_constants/input/main_char.in new file mode 100644 index 0000000000..fd975f08aa --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/input/main_char.in @@ -0,0 +1,8 @@ +[main] +y: bool = true; + +[constants] +a: char = '👍'; + +[registers] +r0: bool = true; diff --git a/disabled_tests/compiler/input_files/program_input_constants/input/main_fail_name.in b/disabled_tests/compiler/input_files/program_input_constants/input/main_fail_name.in new file mode 100644 index 0000000000..5c7bcd0957 --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/input/main_fail_name.in @@ -0,0 +1,2 @@ +[constants] +bad_name: bool = true; diff --git a/disabled_tests/compiler/input_files/program_input_constants/input/main_fail_type.in b/disabled_tests/compiler/input_files/program_input_constants/input/main_fail_type.in new file mode 100644 index 0000000000..8ea9b7fbf5 --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/input/main_fail_type.in @@ -0,0 +1,2 @@ +[constants] +a: u8 = 1; diff --git a/disabled_tests/compiler/input_files/program_input_constants/input/main_field.in b/disabled_tests/compiler/input_files/program_input_constants/input/main_field.in new file mode 100644 index 0000000000..5f581d8ee1 --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/input/main_field.in @@ -0,0 +1,9 @@ +[main] +y: bool = true; + +[constants] +a: field = 1; +b: field = -1; + +[registers] +r0: bool = true; diff --git a/disabled_tests/compiler/input_files/program_input_constants/input/main_group.in b/disabled_tests/compiler/input_files/program_input_constants/input/main_group.in new file mode 100644 index 0000000000..65922026c4 --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/input/main_group.in @@ -0,0 +1,10 @@ +[main] +y: bool = true; + +[constants] +a: group = 1group; +b: group = -1group; +c: group = (0, -1)group; + +[registers] +r0: bool = true; diff --git a/disabled_tests/compiler/input_files/program_input_constants/input/main_multi_dimension_array.in b/disabled_tests/compiler/input_files/program_input_constants/input/main_multi_dimension_array.in new file mode 100644 index 0000000000..dc39e2d92c --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/input/main_multi_dimension_array.in @@ -0,0 +1,8 @@ +[main] +y: [i16; (2, 2, 3)] = [0i16; (2, 2, 3)]; + +[constants] +x: [i16; (2, 2, 3)] = [0i16; (2, 2, 3)]; + +[registers] +r0: bool = true; diff --git a/disabled_tests/compiler/input_files/program_input_constants/input/main_multiple.in b/disabled_tests/compiler/input_files/program_input_constants/input/main_multiple.in new file mode 100644 index 0000000000..92c9e7b192 --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/input/main_multiple.in @@ -0,0 +1,9 @@ +[main] +y: bool = true; + +[constants] +a: bool = true; +b: bool = false; + +[registers] +r0: bool = true; diff --git a/disabled_tests/compiler/input_files/program_input_constants/input/main_string.in b/disabled_tests/compiler/input_files/program_input_constants/input/main_string.in new file mode 100644 index 0000000000..ba500531cc --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/input/main_string.in @@ -0,0 +1,8 @@ +[main] +y: bool = true; + +[constants] +a: [char; 5] = "😭😂👍😁😘"; + +[registers] +r0: bool = true; diff --git a/disabled_tests/compiler/input_files/program_input_constants/input/main_tuple.in b/disabled_tests/compiler/input_files/program_input_constants/input/main_tuple.in new file mode 100644 index 0000000000..de4cb26a2f --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/input/main_tuple.in @@ -0,0 +1,8 @@ +[main] +y: bool = true; + +[constants] +x: (u8, bool, u8) = (10, true, 10); + +[registers] +r0: bool = true; diff --git a/disabled_tests/compiler/input_files/program_input_constants/input/main_tuple_fail.in b/disabled_tests/compiler/input_files/program_input_constants/input/main_tuple_fail.in new file mode 100644 index 0000000000..0c1cad5312 --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/input/main_tuple_fail.in @@ -0,0 +1,2 @@ +[constants] +x: (u8, bool) = (10, true); // wrong size here; main expects (u8, bool, u8) diff --git a/tests/compiler/input_files/program_input_constants/main_array.leo b/disabled_tests/compiler/input_files/program_input_constants/main_array.leo similarity index 100% rename from tests/compiler/input_files/program_input_constants/main_array.leo rename to disabled_tests/compiler/input_files/program_input_constants/main_array.leo diff --git a/tests/compiler/input_files/program_input_constants/main_array_fail.leo b/disabled_tests/compiler/input_files/program_input_constants/main_array_fail.leo similarity index 100% rename from tests/compiler/input_files/program_input_constants/main_array_fail.leo rename to disabled_tests/compiler/input_files/program_input_constants/main_array_fail.leo diff --git a/tests/compiler/input_files/program_input_constants/main_char.leo b/disabled_tests/compiler/input_files/program_input_constants/main_char.leo similarity index 100% rename from tests/compiler/input_files/program_input_constants/main_char.leo rename to disabled_tests/compiler/input_files/program_input_constants/main_char.leo diff --git a/tests/compiler/input_files/program_input_constants/main_multi_dimension_array.leo b/disabled_tests/compiler/input_files/program_input_constants/main_multi_dimension_array.leo similarity index 100% rename from tests/compiler/input_files/program_input_constants/main_multi_dimension_array.leo rename to disabled_tests/compiler/input_files/program_input_constants/main_multi_dimension_array.leo diff --git a/disabled_tests/compiler/input_files/program_input_constants/main_multiple.leo b/disabled_tests/compiler/input_files/program_input_constants/main_multiple.leo new file mode 100644 index 0000000000..e06775ea4b --- /dev/null +++ b/disabled_tests/compiler/input_files/program_input_constants/main_multiple.leo @@ -0,0 +1,9 @@ +/* +namespace: Compile +expectation: Pass +input_file: input/main_multiple.in +*/ + +function main(const a: bool, const b: bool, y: bool) -> bool { + return (a != b) == y; +} diff --git a/tests/compiler/input_files/program_input_constants/main_string.leo b/disabled_tests/compiler/input_files/program_input_constants/main_string.leo similarity index 100% rename from tests/compiler/input_files/program_input_constants/main_string.leo rename to disabled_tests/compiler/input_files/program_input_constants/main_string.leo diff --git a/tests/compiler/input_files/program_input_constants/main_tuple_fail.leo b/disabled_tests/compiler/input_files/program_input_constants/main_tuple_fail.leo similarity index 100% rename from tests/compiler/input_files/program_input_constants/main_tuple_fail.leo rename to disabled_tests/compiler/input_files/program_input_constants/main_tuple_fail.leo diff --git a/tests/compiler/input_files/program_registers/input/array.in b/disabled_tests/compiler/input_files/program_registers/input/array.in similarity index 100% rename from tests/compiler/input_files/program_registers/input/array.in rename to disabled_tests/compiler/input_files/program_registers/input/array.in diff --git a/tests/compiler/input_files/program_registers/input/main.in b/disabled_tests/compiler/input_files/program_registers/input/main.in similarity index 100% rename from tests/compiler/input_files/program_registers/input/main.in rename to disabled_tests/compiler/input_files/program_registers/input/main.in diff --git a/tests/compiler/input_files/program_registers/registers_array.leo b/disabled_tests/compiler/input_files/program_registers/registers_array.leo similarity index 100% rename from tests/compiler/input_files/program_registers/registers_array.leo rename to disabled_tests/compiler/input_files/program_registers/registers_array.leo diff --git a/tests/compiler/input_files/program_registers/registers_fail.leo b/disabled_tests/compiler/input_files/program_registers/registers_fail.leo similarity index 100% rename from tests/compiler/input_files/program_registers/registers_fail.leo rename to disabled_tests/compiler/input_files/program_registers/registers_fail.leo diff --git a/tests/compiler/input_files/program_registers/registers_pass.leo b/disabled_tests/compiler/input_files/program_registers/registers_pass.leo similarity index 100% rename from tests/compiler/input_files/program_registers/registers_pass.leo rename to disabled_tests/compiler/input_files/program_registers/registers_pass.leo diff --git a/tests/compiler/input_files/program_state/access_all.leo b/disabled_tests/compiler/input_files/program_state/access_all.leo similarity index 100% rename from tests/compiler/input_files/program_state/access_all.leo rename to disabled_tests/compiler/input_files/program_state/access_all.leo diff --git a/tests/compiler/input_files/program_state/access_state.leo b/disabled_tests/compiler/input_files/program_state/access_state.leo similarity index 100% rename from tests/compiler/input_files/program_state/access_state.leo rename to disabled_tests/compiler/input_files/program_state/access_state.leo diff --git a/tests/compiler/input_files/program_state/basic.leo b/disabled_tests/compiler/input_files/program_state/basic.leo similarity index 100% rename from tests/compiler/input_files/program_state/basic.leo rename to disabled_tests/compiler/input_files/program_state/basic.leo diff --git a/tests/compiler/input_files/program_state/input/basic.state b/disabled_tests/compiler/input_files/program_state/input/basic.state similarity index 100% rename from tests/compiler/input_files/program_state/input/basic.state rename to disabled_tests/compiler/input_files/program_state/input/basic.state diff --git a/tests/compiler/input_files/program_state/input/dummy.in b/disabled_tests/compiler/input_files/program_state/input/dummy.in similarity index 100% rename from tests/compiler/input_files/program_state/input/dummy.in rename to disabled_tests/compiler/input_files/program_state/input/dummy.in diff --git a/tests/compiler/input_files/program_state/input/section_invalid.state b/disabled_tests/compiler/input_files/program_state/input/section_invalid.state similarity index 100% rename from tests/compiler/input_files/program_state/input/section_invalid.state rename to disabled_tests/compiler/input_files/program_state/input/section_invalid.state diff --git a/tests/compiler/input_files/program_state/input/section_undefined.state b/disabled_tests/compiler/input_files/program_state/input/section_undefined.state similarity index 100% rename from tests/compiler/input_files/program_state/input/section_undefined.state rename to disabled_tests/compiler/input_files/program_state/input/section_undefined.state diff --git a/tests/compiler/input_files/program_state/input/token_withdraw.state b/disabled_tests/compiler/input_files/program_state/input/token_withdraw.state similarity index 100% rename from tests/compiler/input_files/program_state/input/token_withdraw.state rename to disabled_tests/compiler/input_files/program_state/input/token_withdraw.state diff --git a/tests/compiler/input_files/program_state/input/visibility_fail.state b/disabled_tests/compiler/input_files/program_state/input/visibility_fail.state similarity index 100% rename from tests/compiler/input_files/program_state/input/visibility_fail.state rename to disabled_tests/compiler/input_files/program_state/input/visibility_fail.state diff --git a/tests/compiler/input_files/program_state/section_invalid.leo b/disabled_tests/compiler/input_files/program_state/section_invalid.leo similarity index 100% rename from tests/compiler/input_files/program_state/section_invalid.leo rename to disabled_tests/compiler/input_files/program_state/section_invalid.leo diff --git a/tests/compiler/input_files/program_state/section_undefined.leo b/disabled_tests/compiler/input_files/program_state/section_undefined.leo similarity index 100% rename from tests/compiler/input_files/program_state/section_undefined.leo rename to disabled_tests/compiler/input_files/program_state/section_undefined.leo diff --git a/tests/compiler/input_files/program_state/visibility_fail.leo b/disabled_tests/compiler/input_files/program_state/visibility_fail.leo similarity index 100% rename from tests/compiler/input_files/program_state/visibility_fail.leo rename to disabled_tests/compiler/input_files/program_state/visibility_fail.leo diff --git a/tests/compiler/integers/i128/max_fail.leo b/disabled_tests/compiler/integers/i128/max_fail.leo similarity index 100% rename from tests/compiler/integers/i128/max_fail.leo rename to disabled_tests/compiler/integers/i128/max_fail.leo diff --git a/tests/compiler/integers/i128/min_fail.leo b/disabled_tests/compiler/integers/i128/min_fail.leo similarity index 100% rename from tests/compiler/integers/i128/min_fail.leo rename to disabled_tests/compiler/integers/i128/min_fail.leo diff --git a/tests/compiler/integers/i128/negate_min.leo b/disabled_tests/compiler/integers/i128/negate_min.leo similarity index 100% rename from tests/compiler/integers/i128/negate_min.leo rename to disabled_tests/compiler/integers/i128/negate_min.leo diff --git a/tests/compiler/integers/i16/max_fail.leo b/disabled_tests/compiler/integers/i16/max_fail.leo similarity index 100% rename from tests/compiler/integers/i16/max_fail.leo rename to disabled_tests/compiler/integers/i16/max_fail.leo diff --git a/tests/compiler/integers/i16/min_fail.leo b/disabled_tests/compiler/integers/i16/min_fail.leo similarity index 100% rename from tests/compiler/integers/i16/min_fail.leo rename to disabled_tests/compiler/integers/i16/min_fail.leo diff --git a/tests/compiler/integers/i16/negate_min.leo b/disabled_tests/compiler/integers/i16/negate_min.leo similarity index 100% rename from tests/compiler/integers/i16/negate_min.leo rename to disabled_tests/compiler/integers/i16/negate_min.leo diff --git a/disabled_tests/compiler/integers/i32/max.leo b/disabled_tests/compiler/integers/i32/max.leo new file mode 100644 index 0000000000..a0a9b81009 --- /dev/null +++ b/disabled_tests/compiler/integers/i32/max.leo @@ -0,0 +1,10 @@ +/* +namespace: Compile +expectation: Pass +input_file: ../input/dummy.in +*/ + +function main(y: bool) -> bool { + const a: i32 = 2147483647; + return y == true; +} diff --git a/tests/compiler/integers/i32/max_fail.leo b/disabled_tests/compiler/integers/i32/max_fail.leo similarity index 100% rename from tests/compiler/integers/i32/max_fail.leo rename to disabled_tests/compiler/integers/i32/max_fail.leo diff --git a/disabled_tests/compiler/integers/i32/min.leo b/disabled_tests/compiler/integers/i32/min.leo new file mode 100644 index 0000000000..a8ba83186c --- /dev/null +++ b/disabled_tests/compiler/integers/i32/min.leo @@ -0,0 +1,10 @@ +/* +namespace: Compile +expectation: Pass +input_file: ../input/dummy.in +*/ + +function main(y: bool) -> bool { + const a: i32 = -2147483648; + return y == true; +} diff --git a/tests/compiler/integers/i32/min_fail.leo b/disabled_tests/compiler/integers/i32/min_fail.leo similarity index 100% rename from tests/compiler/integers/i32/min_fail.leo rename to disabled_tests/compiler/integers/i32/min_fail.leo diff --git a/disabled_tests/compiler/integers/i32/mul.leo b/disabled_tests/compiler/integers/i32/mul.leo new file mode 100644 index 0000000000..ce66848f09 --- /dev/null +++ b/disabled_tests/compiler/integers/i32/mul.leo @@ -0,0 +1,17 @@ +/* +namespace: Compile +expectation: Pass +inputs: + - i32.in: | + [main] + a: i32 = 2; + b: i32 = 5; + c: i32 = 10; + + [registers] + r0: bool = false; +*/ + +function main(a: i32, b: i32, c: i32) -> bool { + return a * b == c; +} diff --git a/disabled_tests/compiler/integers/i32/ne.leo b/disabled_tests/compiler/integers/i32/ne.leo new file mode 100644 index 0000000000..502ca22281 --- /dev/null +++ b/disabled_tests/compiler/integers/i32/ne.leo @@ -0,0 +1,25 @@ +/* +namespace: Compile +expectation: Pass +inputs: + - i32_ne.in: | + [main] + a: i32 = 2; + b: i32 = 5; + c: bool = true; + + [registers] + r0: bool = false; + - i32_e.in: | + [main] + a: i32 = 5; + b: i32 = 5; + c: bool = false; + + [registers] + r0: bool = false; +*/ + +function main(a: i32, b: i32, c: bool) -> bool{ + return (a != b) == c; +} diff --git a/disabled_tests/compiler/integers/i32/negate.leo b/disabled_tests/compiler/integers/i32/negate.leo new file mode 100644 index 0000000000..2aee276336 --- /dev/null +++ b/disabled_tests/compiler/integers/i32/negate.leo @@ -0,0 +1,23 @@ +/* +namespace: Compile +expectation: Pass +inputs: + - i32.in: | + [main] + a: i32 = 5; + b: i32 = -5; + + [registers] + r0: bool = false; + - i32.in: | + [main] + a: i32 = -5; + b: i32 = 5; + + [registers] + r0: bool = false; +*/ + +function main(a: i32, b: i32) -> bool { + return -a == b; +} diff --git a/tests/compiler/integers/i32/negate_min.leo b/disabled_tests/compiler/integers/i32/negate_min.leo similarity index 100% rename from tests/compiler/integers/i32/negate_min.leo rename to disabled_tests/compiler/integers/i32/negate_min.leo diff --git a/disabled_tests/compiler/integers/i32/negate_zero.leo b/disabled_tests/compiler/integers/i32/negate_zero.leo new file mode 100644 index 0000000000..fe9084ea56 --- /dev/null +++ b/disabled_tests/compiler/integers/i32/negate_zero.leo @@ -0,0 +1,17 @@ +/* +namespace: Compile +expectation: Pass +inputs: + - dummy.in: | + [main] + y: bool = true; + + [registers] + r0: bool = false; +*/ + +function main(y: bool) -> bool { + const a = 0i32; + + return (-a == 0i32) == y; +} diff --git a/tests/compiler/integers/u128/min_fail.leo b/disabled_tests/compiler/integers/i32/no_space_between_literal.leo similarity index 72% rename from tests/compiler/integers/u128/min_fail.leo rename to disabled_tests/compiler/integers/i32/no_space_between_literal.leo index 321104f74c..f3a03890d3 100644 --- a/tests/compiler/integers/u128/min_fail.leo +++ b/disabled_tests/compiler/integers/i32/no_space_between_literal.leo @@ -4,5 +4,5 @@ expectation: Fail */ function main() { - const a: u128 = -1; + const i = 1 i32; } diff --git a/disabled_tests/compiler/integers/i32/pow.leo b/disabled_tests/compiler/integers/i32/pow.leo new file mode 100644 index 0000000000..2db0063b3d --- /dev/null +++ b/disabled_tests/compiler/integers/i32/pow.leo @@ -0,0 +1,3 @@ +function main(a: i32, b: i32, c: i32) -> bool { + return a ** b == c; +} diff --git a/disabled_tests/compiler/integers/i32/sub.leo b/disabled_tests/compiler/integers/i32/sub.leo new file mode 100644 index 0000000000..cf554eba72 --- /dev/null +++ b/disabled_tests/compiler/integers/i32/sub.leo @@ -0,0 +1,17 @@ +/* +namespace: Compile +expectation: Pass +inputs: + - i32.in: | + [main] + a: i32 = 100; + b: i32 = 50; + c: i32 = 50; + + [registers] + r0: bool = false; +*/ + +function main(a: i32, b: i32, c: i32) -> bool { + return a - b == c; +} diff --git a/disabled_tests/compiler/integers/i32/ternary.leo b/disabled_tests/compiler/integers/i32/ternary.leo new file mode 100644 index 0000000000..bbbb2ac2db --- /dev/null +++ b/disabled_tests/compiler/integers/i32/ternary.leo @@ -0,0 +1,29 @@ +/* +namespace: Compile +expectation: Pass +inputs: + - i32.in: | + [main] + s: bool = true; + a: i32 = 10; + b: i32 = 5; + c: i32 = 10; + + [registers] + r0: bool = false; + - i32_rev.in: | + [main] + s: bool = false; + a: i32 = 10; + b: i32 = 5; + c: i32 = 5; + + [registers] + r0: bool = false; +*/ + +function main(s: bool, a: i32, b: i32, c: i32) -> bool { + let r = s ? a : b; + + return r == c; +} diff --git a/tests/compiler/integers/i64/max_fail.leo b/disabled_tests/compiler/integers/i64/max_fail.leo similarity index 100% rename from tests/compiler/integers/i64/max_fail.leo rename to disabled_tests/compiler/integers/i64/max_fail.leo diff --git a/tests/compiler/integers/i64/min_fail.leo b/disabled_tests/compiler/integers/i64/min_fail.leo similarity index 100% rename from tests/compiler/integers/i64/min_fail.leo rename to disabled_tests/compiler/integers/i64/min_fail.leo diff --git a/tests/compiler/integers/i64/negate_min.leo b/disabled_tests/compiler/integers/i64/negate_min.leo similarity index 100% rename from tests/compiler/integers/i64/negate_min.leo rename to disabled_tests/compiler/integers/i64/negate_min.leo diff --git a/tests/compiler/integers/i8/max_fail.leo b/disabled_tests/compiler/integers/i8/max_fail.leo similarity index 100% rename from tests/compiler/integers/i8/max_fail.leo rename to disabled_tests/compiler/integers/i8/max_fail.leo diff --git a/tests/compiler/integers/i8/min_fail.leo b/disabled_tests/compiler/integers/i8/min_fail.leo similarity index 100% rename from tests/compiler/integers/i8/min_fail.leo rename to disabled_tests/compiler/integers/i8/min_fail.leo diff --git a/tests/compiler/integers/i8/negate_min.leo b/disabled_tests/compiler/integers/i8/negate_min.leo similarity index 100% rename from tests/compiler/integers/i8/negate_min.leo rename to disabled_tests/compiler/integers/i8/negate_min.leo diff --git a/tests/compiler/integers/u16/max_fail.leo b/disabled_tests/compiler/integers/u16/max_fail.leo similarity index 100% rename from tests/compiler/integers/u16/max_fail.leo rename to disabled_tests/compiler/integers/u16/max_fail.leo diff --git a/tests/compiler/integers/u16/min_fail.leo b/disabled_tests/compiler/integers/u16/min_fail.leo similarity index 100% rename from tests/compiler/integers/u16/min_fail.leo rename to disabled_tests/compiler/integers/u16/min_fail.leo diff --git a/tests/compiler/integers/u32/max_fail.leo b/disabled_tests/compiler/integers/u32/max_fail.leo similarity index 100% rename from tests/compiler/integers/u32/max_fail.leo rename to disabled_tests/compiler/integers/u32/max_fail.leo diff --git a/tests/compiler/integers/u32/min_fail.leo b/disabled_tests/compiler/integers/u32/min_fail.leo similarity index 100% rename from tests/compiler/integers/u32/min_fail.leo rename to disabled_tests/compiler/integers/u32/min_fail.leo diff --git a/tests/compiler/integers/u64/max_fail.leo b/disabled_tests/compiler/integers/u64/max_fail.leo similarity index 100% rename from tests/compiler/integers/u64/max_fail.leo rename to disabled_tests/compiler/integers/u64/max_fail.leo diff --git a/tests/compiler/integers/u64/min_fail.leo b/disabled_tests/compiler/integers/u64/min_fail.leo similarity index 100% rename from tests/compiler/integers/u64/min_fail.leo rename to disabled_tests/compiler/integers/u64/min_fail.leo diff --git a/tests/compiler/integers/u8/max_fail.leo b/disabled_tests/compiler/integers/u8/max_fail.leo similarity index 100% rename from tests/compiler/integers/u8/max_fail.leo rename to disabled_tests/compiler/integers/u8/max_fail.leo diff --git a/tests/compiler/integers/u8/min_fail.leo b/disabled_tests/compiler/integers/u8/min_fail.leo similarity index 100% rename from tests/compiler/integers/u8/min_fail.leo rename to disabled_tests/compiler/integers/u8/min_fail.leo diff --git a/tests/compiler/mutability/array_dyn_mut.leo b/disabled_tests/compiler/mutability/array_dyn_mut.leo similarity index 100% rename from tests/compiler/mutability/array_dyn_mut.leo rename to disabled_tests/compiler/mutability/array_dyn_mut.leo diff --git a/tests/compiler/mutability/array_dyn_mut_indirect.leo b/disabled_tests/compiler/mutability/array_dyn_mut_indirect.leo similarity index 100% rename from tests/compiler/mutability/array_dyn_mut_indirect.leo rename to disabled_tests/compiler/mutability/array_dyn_mut_indirect.leo diff --git a/tests/compiler/mutability/array_fail.leo b/disabled_tests/compiler/mutability/array_fail.leo similarity index 100% rename from tests/compiler/mutability/array_fail.leo rename to disabled_tests/compiler/mutability/array_fail.leo diff --git a/tests/compiler/mutability/array_mut.leo b/disabled_tests/compiler/mutability/array_mut.leo similarity index 100% rename from tests/compiler/mutability/array_mut.leo rename to disabled_tests/compiler/mutability/array_mut.leo diff --git a/tests/compiler/mutability/array_splice_mut.leo b/disabled_tests/compiler/mutability/array_splice_mut.leo similarity index 100% rename from tests/compiler/mutability/array_splice_mut.leo rename to disabled_tests/compiler/mutability/array_splice_mut.leo diff --git a/tests/compiler/mutability/array_tuple_mut.leo b/disabled_tests/compiler/mutability/array_tuple_mut.leo similarity index 100% rename from tests/compiler/mutability/array_tuple_mut.leo rename to disabled_tests/compiler/mutability/array_tuple_mut.leo diff --git a/tests/compiler/mutability/circuit_fail.leo b/disabled_tests/compiler/mutability/circuit_fail.leo similarity index 100% rename from tests/compiler/mutability/circuit_fail.leo rename to disabled_tests/compiler/mutability/circuit_fail.leo diff --git a/tests/compiler/mutability/circuit_function_const.leo b/disabled_tests/compiler/mutability/circuit_function_const.leo similarity index 100% rename from tests/compiler/mutability/circuit_function_const.leo rename to disabled_tests/compiler/mutability/circuit_function_const.leo diff --git a/tests/compiler/mutability/circuit_function_mut.leo b/disabled_tests/compiler/mutability/circuit_function_mut.leo similarity index 100% rename from tests/compiler/mutability/circuit_function_mut.leo rename to disabled_tests/compiler/mutability/circuit_function_mut.leo diff --git a/tests/compiler/mutability/circuit_static_function_mut_fail.leo b/disabled_tests/compiler/mutability/circuit_static_function_mut_fail.leo similarity index 100% rename from tests/compiler/mutability/circuit_static_function_mut_fail.leo rename to disabled_tests/compiler/mutability/circuit_static_function_mut_fail.leo diff --git a/tests/compiler/mutability/circuit_variable_mut.leo b/disabled_tests/compiler/mutability/circuit_variable_mut.leo similarity index 100% rename from tests/compiler/mutability/circuit_variable_mut.leo rename to disabled_tests/compiler/mutability/circuit_variable_mut.leo diff --git a/tests/compiler/mutability/const.leo b/disabled_tests/compiler/mutability/const.leo similarity index 100% rename from tests/compiler/mutability/const.leo rename to disabled_tests/compiler/mutability/const.leo diff --git a/tests/compiler/mutability/function_input.leo b/disabled_tests/compiler/mutability/function_input.leo similarity index 100% rename from tests/compiler/mutability/function_input.leo rename to disabled_tests/compiler/mutability/function_input.leo diff --git a/tests/compiler/mutability/let_fail.leo b/disabled_tests/compiler/mutability/let_fail.leo similarity index 100% rename from tests/compiler/mutability/let_fail.leo rename to disabled_tests/compiler/mutability/let_fail.leo diff --git a/disabled_tests/compiler/mutability/let_mut_nested.leo b/disabled_tests/compiler/mutability/let_mut_nested.leo new file mode 100644 index 0000000000..98d1293211 --- /dev/null +++ b/disabled_tests/compiler/mutability/let_mut_nested.leo @@ -0,0 +1,12 @@ +/* +namespace: Compile +expectation: Pass +input_file: input/dummy.in +*/ + +function main(a: bool) -> bool { + let x = 2u8; + let y = x; + let z = y / 2u8; + return (z == 1) == a; +} diff --git a/tests/compiler/mutability/swap.leo b/disabled_tests/compiler/mutability/swap.leo similarity index 100% rename from tests/compiler/mutability/swap.leo rename to disabled_tests/compiler/mutability/swap.leo diff --git a/tests/compiler/statements/all_loops.leo b/disabled_tests/compiler/statements/all_loops.leo similarity index 100% rename from tests/compiler/statements/all_loops.leo rename to disabled_tests/compiler/statements/all_loops.leo diff --git a/tests/compiler/statements/assign_ternary.leo b/disabled_tests/compiler/statements/assign_ternary.leo similarity index 100% rename from tests/compiler/statements/assign_ternary.leo rename to disabled_tests/compiler/statements/assign_ternary.leo diff --git a/tests/compiler/statements/block.leo b/disabled_tests/compiler/statements/block.leo similarity index 100% rename from tests/compiler/statements/block.leo rename to disabled_tests/compiler/statements/block.leo diff --git a/tests/compiler/statements/compound_assignment.leo b/disabled_tests/compiler/statements/compound_assignment.leo similarity index 100% rename from tests/compiler/statements/compound_assignment.leo rename to disabled_tests/compiler/statements/compound_assignment.leo diff --git a/tests/compiler/statements/duplicate_variable.leo b/disabled_tests/compiler/statements/duplicate_variable.leo similarity index 100% rename from tests/compiler/statements/duplicate_variable.leo rename to disabled_tests/compiler/statements/duplicate_variable.leo diff --git a/tests/compiler/statements/for_loop.leo b/disabled_tests/compiler/statements/for_loop.leo similarity index 100% rename from tests/compiler/statements/for_loop.leo rename to disabled_tests/compiler/statements/for_loop.leo diff --git a/tests/compiler/statements/iteration_basic.leo b/disabled_tests/compiler/statements/iteration_basic.leo similarity index 100% rename from tests/compiler/statements/iteration_basic.leo rename to disabled_tests/compiler/statements/iteration_basic.leo diff --git a/tests/compiler/statements/iteration_variable.leo b/disabled_tests/compiler/statements/iteration_variable.leo similarity index 100% rename from tests/compiler/statements/iteration_variable.leo rename to disabled_tests/compiler/statements/iteration_variable.leo diff --git a/tests/compiler/statements/nested_mutate.leo b/disabled_tests/compiler/statements/nested_mutate.leo similarity index 100% rename from tests/compiler/statements/nested_mutate.leo rename to disabled_tests/compiler/statements/nested_mutate.leo diff --git a/tests/compiler/statements/reverse_loops.leo b/disabled_tests/compiler/statements/reverse_loops.leo similarity index 100% rename from tests/compiler/statements/reverse_loops.leo rename to disabled_tests/compiler/statements/reverse_loops.leo diff --git a/tests/compiler/statements/reverse_one.leo b/disabled_tests/compiler/statements/reverse_one.leo similarity index 100% rename from tests/compiler/statements/reverse_one.leo rename to disabled_tests/compiler/statements/reverse_one.leo diff --git a/tests/compiler/statements/ternary_non_const_fail.leo b/disabled_tests/compiler/statements/ternary_non_const_fail.leo similarity index 100% rename from tests/compiler/statements/ternary_non_const_fail.leo rename to disabled_tests/compiler/statements/ternary_non_const_fail.leo diff --git a/tests/compiler/stdlib/core_circuit_star_fail.leo b/disabled_tests/compiler/stdlib/core_circuit_star_fail.leo similarity index 100% rename from tests/compiler/stdlib/core_circuit_star_fail.leo rename to disabled_tests/compiler/stdlib/core_circuit_star_fail.leo diff --git a/tests/compiler/stdlib/core_package_invalid.leo b/disabled_tests/compiler/stdlib/core_package_invalid.leo similarity index 100% rename from tests/compiler/stdlib/core_package_invalid.leo rename to disabled_tests/compiler/stdlib/core_package_invalid.leo diff --git a/tests/compiler/stdlib/core_unstable_package_invalid.leo b/disabled_tests/compiler/stdlib/core_unstable_package_invalid.leo similarity index 100% rename from tests/compiler/stdlib/core_unstable_package_invalid.leo rename to disabled_tests/compiler/stdlib/core_unstable_package_invalid.leo diff --git a/tests/compiler/stdlib/strings.leo b/disabled_tests/compiler/stdlib/strings.leo similarity index 100% rename from tests/compiler/stdlib/strings.leo rename to disabled_tests/compiler/stdlib/strings.leo diff --git a/tests/compiler/string/circuit.leo b/disabled_tests/compiler/string/circuit.leo similarity index 100% rename from tests/compiler/string/circuit.leo rename to disabled_tests/compiler/string/circuit.leo diff --git a/tests/compiler/string/equality.leo b/disabled_tests/compiler/string/equality.leo similarity index 100% rename from tests/compiler/string/equality.leo rename to disabled_tests/compiler/string/equality.leo diff --git a/tests/compiler/string/inputs/string.in b/disabled_tests/compiler/string/inputs/string.in similarity index 100% rename from tests/compiler/string/inputs/string.in rename to disabled_tests/compiler/string/inputs/string.in diff --git a/tests/compiler/string/inputs/string_out.in b/disabled_tests/compiler/string/inputs/string_out.in similarity index 100% rename from tests/compiler/string/inputs/string_out.in rename to disabled_tests/compiler/string/inputs/string_out.in diff --git a/tests/compiler/string/inputs/two.in b/disabled_tests/compiler/string/inputs/two.in similarity index 100% rename from tests/compiler/string/inputs/two.in rename to disabled_tests/compiler/string/inputs/two.in diff --git a/tests/compiler/string/inputs/weird.in b/disabled_tests/compiler/string/inputs/weird.in similarity index 100% rename from tests/compiler/string/inputs/weird.in rename to disabled_tests/compiler/string/inputs/weird.in diff --git a/tests/compiler/string/replace.leo b/disabled_tests/compiler/string/replace.leo similarity index 100% rename from tests/compiler/string/replace.leo rename to disabled_tests/compiler/string/replace.leo diff --git a/tests/compiler/string/string_transformation.leo b/disabled_tests/compiler/string/string_transformation.leo similarity index 100% rename from tests/compiler/string/string_transformation.leo rename to disabled_tests/compiler/string/string_transformation.leo diff --git a/tests/compiler/tuples/access.leo b/disabled_tests/compiler/tuples/access.leo similarity index 100% rename from tests/compiler/tuples/access.leo rename to disabled_tests/compiler/tuples/access.leo diff --git a/tests/compiler/tuples/basic.leo b/disabled_tests/compiler/tuples/basic.leo similarity index 100% rename from tests/compiler/tuples/basic.leo rename to disabled_tests/compiler/tuples/basic.leo diff --git a/tests/compiler/tuples/dependent.leo b/disabled_tests/compiler/tuples/dependent.leo similarity index 100% rename from tests/compiler/tuples/dependent.leo rename to disabled_tests/compiler/tuples/dependent.leo diff --git a/tests/compiler/tuples/destructured.leo b/disabled_tests/compiler/tuples/destructured.leo similarity index 100% rename from tests/compiler/tuples/destructured.leo rename to disabled_tests/compiler/tuples/destructured.leo diff --git a/tests/compiler/tuples/inputs/true_true.in b/disabled_tests/compiler/tuples/inputs/true_true.in similarity index 100% rename from tests/compiler/tuples/inputs/true_true.in rename to disabled_tests/compiler/tuples/inputs/true_true.in diff --git a/tests/compiler/tuples/nested_access.leo b/disabled_tests/compiler/tuples/nested_access.leo similarity index 100% rename from tests/compiler/tuples/nested_access.leo rename to disabled_tests/compiler/tuples/nested_access.leo diff --git a/leo/main.rs b/leo/main.rs index 34a3d66a71..2b8ebe9abb 100644 --- a/leo/main.rs +++ b/leo/main.rs @@ -29,6 +29,7 @@ use commands::{ // Deploy, Init, Lint, New, Prove, Run, Setup, Test, Update, Watch, }; use leo_errors::Result; +use leo_span::symbol::create_session_if_not_set_then; // use snarkvm_utilities::Write; use std::{path::PathBuf, process::exit}; @@ -206,7 +207,7 @@ fn set_panic_hook() { fn main() { set_panic_hook(); - handle_error(run_with_args(Opt::from_args())); + handle_error(create_session_if_not_set_then(|_| run_with_args(Opt::from_args()))); } /// Run command with custom build arguments. diff --git a/tests/compiler/definition/out_of_order.leo b/tests/compiler/definition/out_of_order.leo index 047b5a2238..3b3a7551f7 100644 --- a/tests/compiler/definition/out_of_order.leo +++ b/tests/compiler/definition/out_of_order.leo @@ -4,11 +4,11 @@ expectation: Pass input_file: input/dummy.in */ -@test -function fake_test() {} +// @test +// function fake_test() {} function main(y: bool) -> bool { return y == true; } -circuit Foo {} +// circuit Foo {} diff --git a/tests/compiler/input_files/program_input/const_input_non_const.leo b/tests/compiler/input_files/program_input/const_input_non_const.leo deleted file mode 100644 index 86d8333c54..0000000000 --- a/tests/compiler/input_files/program_input/const_input_non_const.leo +++ /dev/null @@ -1,9 +0,0 @@ -/* -namespace: Compile -expectation: Fail -input_file: input/const_input_non_const.in -*/ - -function main(a: u32) { - let b = a * 2; -} diff --git a/tests/compiler/input_files/program_input/const_var_in_both_sections_fail.leo b/tests/compiler/input_files/program_input/const_var_in_both_sections_fail.leo deleted file mode 100644 index 168f144c6c..0000000000 --- a/tests/compiler/input_files/program_input/const_var_in_both_sections_fail.leo +++ /dev/null @@ -1,9 +0,0 @@ -/* -namespace: Compile -expectation: Fail -input_file: input/var_in_both_sections_fail.in -*/ - -function main(const a: u32) { - let b = a * 2; -} diff --git a/tests/compiler/input_files/program_input/different_types_const_unsigned_fail.leo b/tests/compiler/input_files/program_input/different_types_const_unsigned_fail.leo deleted file mode 100644 index c8e13aaf04..0000000000 --- a/tests/compiler/input_files/program_input/different_types_const_unsigned_fail.leo +++ /dev/null @@ -1,9 +0,0 @@ -/* -namespace: Compile -expectation: Fail -input_file: input/different_types_const_unsigned_fail.in -*/ - -function main(const a: u32) { - let b = a * 2; -} diff --git a/tests/compiler/input_files/program_input/input/const_input_non_const.in b/tests/compiler/input_files/program_input/input/const_input_non_const.in index 27cf6f4b00..8096414b6b 100644 --- a/tests/compiler/input_files/program_input/input/const_input_non_const.in +++ b/tests/compiler/input_files/program_input/input/const_input_non_const.in @@ -1,2 +1,2 @@ -[constants] -a: u32 = 2; \ No newline at end of file +[main] +constant a: u32 = 2; \ No newline at end of file diff --git a/tests/compiler/input_files/program_input/input/var_in_both_sections_fail.in b/tests/compiler/input_files/program_input/input/var_in_both_sections_fail.in deleted file mode 100644 index af3110a8a5..0000000000 --- a/tests/compiler/input_files/program_input/input/var_in_both_sections_fail.in +++ /dev/null @@ -1,5 +0,0 @@ -[main] -a: u32 = 2u32; - -[constants] -a: u32 = 2u32; \ No newline at end of file diff --git a/tests/compiler/input_files/program_input/var_in_both_sections_fail.leo b/tests/compiler/input_files/program_input/var_in_both_sections_fail.leo deleted file mode 100644 index 4aef4366df..0000000000 --- a/tests/compiler/input_files/program_input/var_in_both_sections_fail.leo +++ /dev/null @@ -1,9 +0,0 @@ -/* -namespace: Compile -expectation: Fail -input_file: input/var_in_both_sections_fail.in -*/ - -function main(a: u32) { - let b = a * 2; -} diff --git a/tests/compiler/input_files/program_input_constants/main_tuple.leo b/tests/compiler/input_files/program_input_constants/main_tuple.leo deleted file mode 100644 index ef0d5e85e7..0000000000 --- a/tests/compiler/input_files/program_input_constants/main_tuple.leo +++ /dev/null @@ -1,9 +0,0 @@ -/* -namespace: Compile -expectation: Pass -input_file: input/main_tuple.in -*/ - -function main(const x: (u8, bool, u8), y: bool) -> bool { - return x.0 == 10 && x.1 == true && x.2 == 10; -} diff --git a/tests/compiler/integers/u128/max_fail.leo b/tests/compiler/integers/u128/max_fail.leo deleted file mode 100644 index 3872bdf79d..0000000000 --- a/tests/compiler/integers/u128/max_fail.leo +++ /dev/null @@ -1,8 +0,0 @@ -/* -namespace: Compile -expectation: Fail -*/ - -function main() { - const a: u128 = 340282366920938463463374607431768211456; -} diff --git a/tests/compiler/integers/u128/negative_input_fail.leo b/tests/compiler/integers/u128/negative_input_fail.leo deleted file mode 100644 index c7d86f79f2..0000000000 --- a/tests/compiler/integers/u128/negative_input_fail.leo +++ /dev/null @@ -1,10 +0,0 @@ -/* -namespace: Compile -expectation: Fail -inputs: - - u128.in: | - [main] - a: u128 = -2; -*/ - -function main(a: u128) {} \ No newline at end of file diff --git a/tests/compiler/integers/u16/negative_input_fail.leo b/tests/compiler/integers/u16/negative_input_fail.leo deleted file mode 100644 index 68195f2a45..0000000000 --- a/tests/compiler/integers/u16/negative_input_fail.leo +++ /dev/null @@ -1,10 +0,0 @@ -/* -namespace: Compile -expectation: Fail -inputs: - - u16.in: | - [main] - a: u16 = -2; -*/ - -function main(a: u16) {} \ No newline at end of file diff --git a/tests/compiler/integers/u32/negative_input_fail.leo b/tests/compiler/integers/u32/negative_input_fail.leo deleted file mode 100644 index 5dc1d2f223..0000000000 --- a/tests/compiler/integers/u32/negative_input_fail.leo +++ /dev/null @@ -1,10 +0,0 @@ -/* -namespace: Compile -expectation: Fail -inputs: - - u32.in: | - [main] - a: u32 = -2; -*/ - -function main(a: u32) {} \ No newline at end of file diff --git a/tests/compiler/integers/u64/negative_input_fail.leo b/tests/compiler/integers/u64/negative_input_fail.leo deleted file mode 100644 index cac01bcdad..0000000000 --- a/tests/compiler/integers/u64/negative_input_fail.leo +++ /dev/null @@ -1,10 +0,0 @@ -/* -namespace: Compile -expectation: Fail -inputs: - - u64.in: | - [main] - a: u64 = -2; -*/ - -function main(a: u64) {} \ No newline at end of file diff --git a/tests/compiler/integers/u8/negative_input_fail.leo b/tests/compiler/integers/u8/negative_input_fail.leo deleted file mode 100644 index ca7b5616fe..0000000000 --- a/tests/compiler/integers/u8/negative_input_fail.leo +++ /dev/null @@ -1,10 +0,0 @@ -/* -namespace: Compile -expectation: Fail -inputs: - - u8.in: | - [main] - a: u8 = -2; -*/ - -function main(a: u8) {} \ No newline at end of file diff --git a/tests/compiler/mutability/cond_mut.leo b/tests/compiler/mutability/cond_mut.leo index 1cac6d876d..7a4a188804 100644 --- a/tests/compiler/mutability/cond_mut.leo +++ b/tests/compiler/mutability/cond_mut.leo @@ -8,7 +8,7 @@ function main(y: bool) -> bool { let x = 100i8; if false { x = 1i8; - x *= 100i8; + x = x * 100i8; } return (x == 100i8) == y; diff --git a/tests/compiler/mutability/input/dummy.in b/tests/compiler/mutability/input/dummy.in index 7cbf636d04..67c4b89ded 100644 --- a/tests/compiler/mutability/input/dummy.in +++ b/tests/compiler/mutability/input/dummy.in @@ -1,7 +1,7 @@ [main] a: bool = true; y: bool = true; -arr: [u32; 2] = [10, 8]; +// arr: [u32; 2] = [10, 8]; [constants] b: bool = true; diff --git a/tests/compiler/mutability/let_mut.leo b/tests/compiler/mutability/let_mut.leo deleted file mode 100644 index 7c303ac0d4..0000000000 --- a/tests/compiler/mutability/let_mut.leo +++ /dev/null @@ -1,13 +0,0 @@ -/* -namespace: Compile -expectation: Pass -input_file: input/dummy.in -*/ - -// Adding the `mut` keyword makes a variable mutable. -function main(y: bool) -> bool { - let a = 1u32; - a = 0; - - return (a == 0u32) == y; -} diff --git a/tests/expectations/compiler/compiler/function/empty.leo.out b/tests/expectations/compiler/compiler/function/empty.leo.out index 4c39d46a9c..aa71f27b13 100644 --- a/tests/expectations/compiler/compiler/function/empty.leo.out +++ b/tests/expectations/compiler/compiler/function/empty.leo.out @@ -2,21 +2,8 @@ namespace: Compile expectation: Pass outputs: - - circuit: - num_public_variables: 0 - num_private_variables: 1 - num_constraints: 1 - at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f - bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c - ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05 - output: - - input_file: input/dummy.in - output: - registers: - r0: - type: bool - value: "true" - initial_ast: cca2be9dc274619a310c6164cce0419e04a39ae11691ee481dad8baa7e071201 - imports_resolved_ast: 7430eee72d434ad161eea282f0f7040f3a7eb854490b457da6e8a5b1ae46dda5 - canonicalized_ast: 0f277252cd55431007a479ac4c37558e7a14a9c20e2d7bc6f7474958de3863ff - type_inferenced_ast: 50dab7153ad39a75117d76a8e39c87a1540b24e836b6b2585017ad5897182c2f + - output: + - input_file: "[main]\na: u32 = 10;\nb: u32 = 100;\ny: bool = true;\n\n[registers]\nr0: bool = true;\nr1: bool = true;\n" + initial_input_ast: d718416ac1a3ae6c6d9cc30f75175eb408f584cff8de4994a756a054e4571dbc + symbol_table: d1ff083142697183ed20f1989dd069d1910f9732684ade2ec955004b77853b7a + initial_ast: 4f0c4b4f3a3059043a32edfa4afee21866fff6870d398897c57b7849d39ab004 diff --git a/tests/parser/inputs/input_const.leo b/tests/parser/inputs/input_const.leo index 7b7f179978..b14814c617 100644 --- a/tests/parser/inputs/input_const.leo +++ b/tests/parser/inputs/input_const.leo @@ -9,6 +9,7 @@ const b: u8 = 2; const c: field = 0; const d: group = (0, 1)group; const e: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8; +const f: i8 = -2; [registers] r0: bool = true; @@ -16,3 +17,4 @@ r1: u8 = 2; r2: field = 0; r3: group = (0, 1)group; r4: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8; +r4: i8 = -1; diff --git a/tests/parser/inputs/input_constant.leo b/tests/parser/inputs/input_constant.leo index c14e72a52b..c005665000 100644 --- a/tests/parser/inputs/input_constant.leo +++ b/tests/parser/inputs/input_constant.leo @@ -9,6 +9,7 @@ constant b: u8 = 2; constant c: field = 0; constant d: group = (0, 1)group; constant e: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8; +constant f: i8 = -2; [registers] r0: bool = true; @@ -16,3 +17,4 @@ r1: u8 = 2; r2: field = 0; r3: group = (0, 1)group; r4: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8; +r4: i8 = -1; diff --git a/tests/parser/inputs/input_constant_public_fail.leo b/tests/parser/inputs/input_constant_public_fail.leo index 5e892b9795..42f4205f72 100644 --- a/tests/parser/inputs/input_constant_public_fail.leo +++ b/tests/parser/inputs/input_constant_public_fail.leo @@ -9,6 +9,7 @@ constant public b: u8 = 2; constant public c: field = 0; constant public d: group = (0, 1)group; constant public e: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8; +constant public f: i8 = -2; [registers] r0: bool = true; @@ -16,4 +17,4 @@ r1: u8 = 2; r2: field = 0; r3: group = (0, 1)group; r4: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8; - +r4: i8 = -1; diff --git a/tests/parser/inputs/input_public.leo b/tests/parser/inputs/input_public.leo index cc449fe9e1..bf2eeb7a34 100644 --- a/tests/parser/inputs/input_public.leo +++ b/tests/parser/inputs/input_public.leo @@ -9,6 +9,7 @@ public b: u8 = 2; public c: field = 0; public d: group = (0, 1)group; public e: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8; +public f: i8 = -2; [registers] r0: bool = true; @@ -16,4 +17,4 @@ r1: u8 = 2; r2: field = 0; r3: group = (0, 1)group; r4: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8; - +r4: i8 = -1; diff --git a/tests/parser/inputs/input_public_constant_fail.leo b/tests/parser/inputs/input_public_constant_fail.leo index 94325d2ef4..1d7a53ae53 100644 --- a/tests/parser/inputs/input_public_constant_fail.leo +++ b/tests/parser/inputs/input_public_constant_fail.leo @@ -9,6 +9,8 @@ public constant b: u8 = 2; public constant c: field = 0; public constant d: group = (0, 1)group; public constant e: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8; +public constant f: i8 = -2; + [registers] r0: bool = true; @@ -16,4 +18,4 @@ r1: u8 = 2; r2: field = 0; r3: group = (0, 1)group; r4: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8; - +r4: i8 = -1;