diff --git a/src/test/contracts/dune b/src/test/contracts/dune index 55c1ace75..4f28c22d4 100644 --- a/src/test/contracts/dune +++ b/src/test/contracts/dune @@ -94,96 +94,96 @@ ;; compare the output with the expected result ;; reasonligo -(alias (name runtest) (action (diff expected/address.religo address.religo_output))) -(alias (name runtest) (action (diff expected/amount.religo amount.religo_output))) -(alias (name runtest) (action (diff expected/arithmetic.religo arithmetic.religo_output))) -(alias (name runtest) (action (diff expected/bad_address_format.religo bad_address_format.religo_output))) -(alias (name runtest) (action (diff expected/balance_constant.religo balance_constant.religo_output))) -(alias (name runtest) (action (diff expected/bitwise_arithmetic.religo bitwise_arithmetic.religo_output))) -(alias (name runtest) (action (diff expected/boolean_operators.religo boolean_operators.religo_output))) -(alias (name runtest) (action (diff expected/bytes_arithmetic.religo bytes_arithmetic.religo_output))) -(alias (name runtest) (action (diff expected/bytes_unpack.religo bytes_unpack.religo_output))) -(alias (name runtest) (action (diff expected/check_signature.religo check_signature.religo_output))) -(alias (name runtest) (action (diff expected/closure.religo closure.religo_output))) -(alias (name runtest) (action (diff expected/condition-shadowing.religo condition-shadowing.religo_output))) -(alias (name runtest) (action (diff expected/condition.religo condition.religo_output))) -(alias (name runtest) (action (diff expected/counter.religo counter.religo_output))) -(alias (name runtest) (action (diff expected/crypto.religo crypto.religo_output))) -(alias (name runtest) (action (diff expected/empty_case.religo empty_case.religo_output))) -(alias (name runtest) (action (diff expected/eq_bool.religo eq_bool.religo_output))) -(alias (name runtest) (action (diff expected/failwith.religo failwith.religo_output))) -(alias (name runtest) (action (diff expected/function-shared.religo function-shared.religo_output))) -(alias (name runtest) (action (diff expected/high-order.religo high-order.religo_output))) -(alias (name runtest) (action (diff expected/implicit_account.religo implicit_account.religo_output))) -(alias (name runtest) (action (diff expected/included.religo included.religo_output))) -(alias (name runtest) (action (diff expected/includer.religo includer.religo_output))) -(alias (name runtest) (action (diff expected/key_hash.religo key_hash.religo_output))) -(alias (name runtest) (action (diff expected/lambda.religo lambda.religo_output))) -(alias (name runtest) (action (diff expected/lambda2.religo lambda2.religo_output))) -(alias (name runtest) (action (diff expected/let_multiple.religo let_multiple.religo_output))) -(alias (name runtest) (action (diff expected/letin.religo letin.religo_output))) -(alias (name runtest) (action (diff expected/list.religo list.religo_output))) -(alias (name runtest) (action (diff expected/loop.religo loop.religo_output))) -(alias (name runtest) (action (diff expected/map.religo map.religo_output))) -(alias (name runtest) (action (diff expected/match_bis.religo match_bis.religo_output))) -(alias (name runtest) (action (diff expected/match.religo match.religo_output))) -(alias (name runtest) (action (diff expected/michelson_pair_tree.religo michelson_pair_tree.religo_output))) -(alias (name runtest) (action (diff expected/multiple-parameters.religo multiple-parameters.religo_output))) -(alias (name runtest) (action (diff expected/multisig.religo multisig.religo_output))) -(alias (name runtest) (action (diff expected/no_semicolon.religo no_semicolon.religo_output))) -(alias (name runtest) (action (diff expected/pledge.religo pledge.religo_output))) -(alias (name runtest) (action (diff expected/record.religo record.religo_output))) -(alias (name runtest) (action (diff expected/recursion.religo recursion.religo_output))) -(alias (name runtest) (action (diff expected/self_address.religo self_address.religo_output))) -(alias (name runtest) (action (diff expected/set_arithmetic.religo set_arithmetic.religo_output))) -(alias (name runtest) (action (diff expected/set_delegate.religo set_delegate.religo_output))) -(alias (name runtest) (action (diff expected/single_record_item.religo single_record_item.religo_output))) -(alias (name runtest) (action (diff expected/string_arithmetic.religo string_arithmetic.religo_output))) -(alias (name runtest) (action (diff expected/super-counter.religo super-counter.religo_output))) -(alias (name runtest) (action (diff expected/tuple_list.religo tuple_list.religo_output))) -(alias (name runtest) (action (diff expected/tuple_param_destruct.religo tuple_param_destruct.religo_output))) -(alias (name runtest) (action (diff expected/tuple_type.religo tuple_type.religo_output))) -(alias (name runtest) (action (diff expected/tuple.religo tuple.religo_output))) -(alias (name runtest) (action (diff expected/tuples_no_annotation.religo tuples_no_annotation.religo_output))) -(alias (name runtest) (action (diff expected/tuples_sequences_functions.religo tuples_sequences_functions.religo_output))) -(alias (name runtest) (action (diff expected/variant.religo variant.religo_output))) -(alias (name runtest) (action (diff expected/website2.religo website2.religo_output))) +(alias (name runtest) (action (diff expected/address.religo.expected address.religo_output))) +(alias (name runtest) (action (diff expected/amount.religo.expected amount.religo_output))) +(alias (name runtest) (action (diff expected/arithmetic.religo.expected arithmetic.religo_output))) +(alias (name runtest) (action (diff expected/bad_address_format.religo.expected bad_address_format.religo_output))) +(alias (name runtest) (action (diff expected/balance_constant.religo.expected balance_constant.religo_output))) +(alias (name runtest) (action (diff expected/bitwise_arithmetic.religo.expected bitwise_arithmetic.religo_output))) +(alias (name runtest) (action (diff expected/boolean_operators.religo.expected boolean_operators.religo_output))) +(alias (name runtest) (action (diff expected/bytes_arithmetic.religo.expected bytes_arithmetic.religo_output))) +(alias (name runtest) (action (diff expected/bytes_unpack.religo.expected bytes_unpack.religo_output))) +(alias (name runtest) (action (diff expected/check_signature.religo.expected check_signature.religo_output))) +(alias (name runtest) (action (diff expected/closure.religo.expected closure.religo_output))) +(alias (name runtest) (action (diff expected/condition-shadowing.religo.expected condition-shadowing.religo_output))) +(alias (name runtest) (action (diff expected/condition.religo.expected condition.religo_output))) +(alias (name runtest) (action (diff expected/counter.religo.expected counter.religo_output))) +(alias (name runtest) (action (diff expected/crypto.religo.expected crypto.religo_output))) +(alias (name runtest) (action (diff expected/empty_case.religo.expected empty_case.religo_output))) +(alias (name runtest) (action (diff expected/eq_bool.religo.expected eq_bool.religo_output))) +(alias (name runtest) (action (diff expected/failwith.religo.expected failwith.religo_output))) +(alias (name runtest) (action (diff expected/function-shared.religo.expected function-shared.religo_output))) +(alias (name runtest) (action (diff expected/high-order.religo.expected high-order.religo_output))) +(alias (name runtest) (action (diff expected/implicit_account.religo.expected implicit_account.religo_output))) +(alias (name runtest) (action (diff expected/included.religo.expected included.religo_output))) +(alias (name runtest) (action (diff expected/includer.religo.expected includer.religo_output))) +(alias (name runtest) (action (diff expected/key_hash.religo.expected key_hash.religo_output))) +(alias (name runtest) (action (diff expected/lambda.religo.expected lambda.religo_output))) +(alias (name runtest) (action (diff expected/lambda2.religo.expected lambda2.religo_output))) +(alias (name runtest) (action (diff expected/let_multiple.religo.expected let_multiple.religo_output))) +(alias (name runtest) (action (diff expected/letin.religo.expected letin.religo_output))) +(alias (name runtest) (action (diff expected/list.religo.expected list.religo_output))) +(alias (name runtest) (action (diff expected/loop.religo.expected loop.religo_output))) +(alias (name runtest) (action (diff expected/map.religo.expected map.religo_output))) +(alias (name runtest) (action (diff expected/match_bis.religo.expected match_bis.religo_output))) +(alias (name runtest) (action (diff expected/match.religo.expected match.religo_output))) +(alias (name runtest) (action (diff expected/michelson_pair_tree.religo.expected michelson_pair_tree.religo_output))) +(alias (name runtest) (action (diff expected/multiple-parameters.religo.expected multiple-parameters.religo_output))) +(alias (name runtest) (action (diff expected/multisig.religo.expected multisig.religo_output))) +(alias (name runtest) (action (diff expected/no_semicolon.religo.expected no_semicolon.religo_output))) +(alias (name runtest) (action (diff expected/pledge.religo.expected pledge.religo_output))) +(alias (name runtest) (action (diff expected/record.religo.expected record.religo_output))) +(alias (name runtest) (action (diff expected/recursion.religo.expected recursion.religo_output))) +(alias (name runtest) (action (diff expected/self_address.religo.expected self_address.religo_output))) +(alias (name runtest) (action (diff expected/set_arithmetic.religo.expected set_arithmetic.religo_output))) +(alias (name runtest) (action (diff expected/set_delegate.religo.expected set_delegate.religo_output))) +(alias (name runtest) (action (diff expected/single_record_item.religo.expected single_record_item.religo_output))) +(alias (name runtest) (action (diff expected/string_arithmetic.religo.expected string_arithmetic.religo_output))) +(alias (name runtest) (action (diff expected/super-counter.religo.expected super-counter.religo_output))) +(alias (name runtest) (action (diff expected/tuple_list.religo.expected tuple_list.religo_output))) +(alias (name runtest) (action (diff expected/tuple_param_destruct.religo.expected tuple_param_destruct.religo_output))) +(alias (name runtest) (action (diff expected/tuple_type.religo.expected tuple_type.religo_output))) +(alias (name runtest) (action (diff expected/tuple.religo.expected tuple.religo_output))) +(alias (name runtest) (action (diff expected/tuples_no_annotation.religo.expected tuples_no_annotation.religo_output))) +(alias (name runtest) (action (diff expected/tuples_sequences_functions.religo.expected tuples_sequences_functions.religo_output))) +(alias (name runtest) (action (diff expected/variant.religo.expected variant.religo_output))) +(alias (name runtest) (action (diff expected/website2.religo.expected website2.religo_output))) ;; cameligo -(alias (name runtest) (action (diff expected/assert.mligo assert.mligo_output))) -(alias (name runtest) (action (diff expected/address.mligo address.mligo_output))) -(alias (name runtest) (action (diff expected/amount_lambda.mligo amount_lambda.mligo_output))) -(alias (name runtest) (action (diff expected/amount.mligo amount.mligo_output))) -(alias (name runtest) (action (diff expected/arithmetic.mligo arithmetic.mligo_output))) -(alias (name runtest) (action (diff expected/attributes.mligo attributes.mligo_output))) -(alias (name runtest) (action (diff expected/balance_constant.mligo balance_constant.mligo_output))) -(alias (name runtest) (action (diff expected/basic.mligo basic.mligo_output))) -(alias (name runtest) (action (diff expected/big_map.mligo big_map.mligo_output))) -(alias (name runtest) (action (diff expected/bitwise_arithmetic.mligo bitwise_arithmetic.mligo_output))) -(alias (name runtest) (action (diff expected/boolean_operators.mligo boolean_operators.mligo_output))) -(alias (name runtest) (action (diff expected/bytes_arithmetic.mligo bytes_arithmetic.mligo_output))) -(alias (name runtest) (action (diff expected/bytes_unpack.mligo bytes_unpack.mligo_output))) -(alias (name runtest) (action (diff expected/check_signature.mligo check_signature.mligo_output))) -(alias (name runtest) (action (diff expected/closure.mligo closure.mligo_output))) -(alias (name runtest) (action (diff expected/comparable.mligo comparable.mligo_output))) -(alias (name runtest) (action (diff expected/condition-annot.mligo condition-annot.mligo_output))) -(alias (name runtest) (action (diff expected/condition-shadowing.mligo condition-shadowing.mligo_output))) -(alias (name runtest) (action (diff expected/condition.mligo condition.mligo_output))) -(alias (name runtest) (action (diff expected/counter.mligo counter.mligo_output))) -(alias (name runtest) (action (diff expected/create_contract.mligo create_contract.mligo_output))) -(alias (name runtest) (action (diff expected/crypto.mligo crypto.mligo_output))) -(alias (name runtest) (action (diff expected/curry.mligo curry.mligo_output))) -(alias (name runtest) (action (diff expected/double_michelson_or.mligo double_michelson_or.mligo_output))) -(alias (name runtest) (action (diff expected/empty_case.mligo empty_case.mligo_output))) -(alias (name runtest) (action (diff expected/eq_bool.mligo eq_bool.mligo_output))) -(alias (name runtest) (action (diff expected/FA1.2.mligo FA1.2.mligo_output))) -(alias (name runtest) (action (diff expected/failwith.mligo failwith.mligo_output))) -(alias (name runtest) (action (diff expected/fibo.mligo fibo.mligo_output))) -(alias (name runtest) (action (diff expected/fibo2.mligo fibo2.mligo_output))) -(alias (name runtest) (action (diff expected/fibo3.mligo fibo3.mligo_output))) -(alias (name runtest) (action (diff expected/fibo4.mligo fibo4.mligo_output))) -(alias (name runtest) (action (diff expected/function-shared.mligo function-shared.mligo_output))) -(alias (name runtest) (action (diff expected/guess_string.mligo guess_string.mligo_output))) +(alias (name runtest) (action (diff expected/assert.mligo.expected assert.mligo_output))) +(alias (name runtest) (action (diff expected/address.mligo.expected address.mligo_output))) +(alias (name runtest) (action (diff expected/amount_lambda.mligo.expected amount_lambda.mligo_output))) +(alias (name runtest) (action (diff expected/amount.mligo.expected amount.mligo_output))) +(alias (name runtest) (action (diff expected/arithmetic.mligo.expected arithmetic.mligo_output))) +(alias (name runtest) (action (diff expected/attributes.mligo.expected attributes.mligo_output))) +(alias (name runtest) (action (diff expected/balance_constant.mligo.expected balance_constant.mligo_output))) +(alias (name runtest) (action (diff expected/basic.mligo.expected basic.mligo_output))) +(alias (name runtest) (action (diff expected/big_map.mligo.expected big_map.mligo_output))) +(alias (name runtest) (action (diff expected/bitwise_arithmetic.mligo.expected bitwise_arithmetic.mligo_output))) +(alias (name runtest) (action (diff expected/boolean_operators.mligo.expected boolean_operators.mligo_output))) +(alias (name runtest) (action (diff expected/bytes_arithmetic.mligo.expected bytes_arithmetic.mligo_output))) +(alias (name runtest) (action (diff expected/bytes_unpack.mligo.expected bytes_unpack.mligo_output))) +(alias (name runtest) (action (diff expected/check_signature.mligo.expected check_signature.mligo_output))) +(alias (name runtest) (action (diff expected/closure.mligo.expected closure.mligo_output))) +(alias (name runtest) (action (diff expected/comparable.mligo.expected comparable.mligo_output))) +(alias (name runtest) (action (diff expected/condition-annot.mligo.expected condition-annot.mligo_output))) +(alias (name runtest) (action (diff expected/condition-shadowing.mligo.expected condition-shadowing.mligo_output))) +(alias (name runtest) (action (diff expected/condition.mligo.expected condition.mligo_output))) +(alias (name runtest) (action (diff expected/counter.mligo.expected counter.mligo_output))) +(alias (name runtest) (action (diff expected/create_contract.mligo.expected create_contract.mligo_output))) +(alias (name runtest) (action (diff expected/crypto.mligo.expected crypto.mligo_output))) +(alias (name runtest) (action (diff expected/curry.mligo.expected curry.mligo_output))) +(alias (name runtest) (action (diff expected/double_michelson_or.mligo.expected double_michelson_or.mligo_output))) +(alias (name runtest) (action (diff expected/empty_case.mligo.expected empty_case.mligo_output))) +(alias (name runtest) (action (diff expected/eq_bool.mligo.expected eq_bool.mligo_output))) +(alias (name runtest) (action (diff expected/FA1.2.mligo.expected FA1.2.mligo_output))) +(alias (name runtest) (action (diff expected/failwith.mligo.expected failwith.mligo_output))) +(alias (name runtest) (action (diff expected/fibo.mligo.expected fibo.mligo_output))) +(alias (name runtest) (action (diff expected/fibo2.mligo.expected fibo2.mligo_output))) +(alias (name runtest) (action (diff expected/fibo3.mligo.expected fibo3.mligo_output))) +(alias (name runtest) (action (diff expected/fibo4.mligo.expected fibo4.mligo_output))) +(alias (name runtest) (action (diff expected/function-shared.mligo.expected function-shared.mligo_output))) +(alias (name runtest) (action (diff expected/guess_string.mligo.expected guess_string.mligo_output))) ;; try to parse the generated contracts ;; reasonligo diff --git a/src/test/contracts/expected/FA1.2.mligo b/src/test/contracts/expected/FA1.2.mligo.expected similarity index 100% rename from src/test/contracts/expected/FA1.2.mligo rename to src/test/contracts/expected/FA1.2.mligo.expected diff --git a/src/test/contracts/expected/address.mligo b/src/test/contracts/expected/address.mligo.expected similarity index 100% rename from src/test/contracts/expected/address.mligo rename to src/test/contracts/expected/address.mligo.expected diff --git a/src/test/contracts/expected/address.religo b/src/test/contracts/expected/address.religo.expected similarity index 100% rename from src/test/contracts/expected/address.religo rename to src/test/contracts/expected/address.religo.expected diff --git a/src/test/contracts/expected/amount.mligo b/src/test/contracts/expected/amount.mligo.expected similarity index 100% rename from src/test/contracts/expected/amount.mligo rename to src/test/contracts/expected/amount.mligo.expected diff --git a/src/test/contracts/expected/amount.religo b/src/test/contracts/expected/amount.religo.expected similarity index 100% rename from src/test/contracts/expected/amount.religo rename to src/test/contracts/expected/amount.religo.expected diff --git a/src/test/contracts/expected/amount_lambda.mligo b/src/test/contracts/expected/amount_lambda.mligo.expected similarity index 100% rename from src/test/contracts/expected/amount_lambda.mligo rename to src/test/contracts/expected/amount_lambda.mligo.expected diff --git a/src/test/contracts/expected/arithmetic.mligo b/src/test/contracts/expected/arithmetic.mligo.expected similarity index 100% rename from src/test/contracts/expected/arithmetic.mligo rename to src/test/contracts/expected/arithmetic.mligo.expected diff --git a/src/test/contracts/expected/arithmetic.religo b/src/test/contracts/expected/arithmetic.religo.expected similarity index 100% rename from src/test/contracts/expected/arithmetic.religo rename to src/test/contracts/expected/arithmetic.religo.expected diff --git a/src/test/contracts/expected/assert.mligo b/src/test/contracts/expected/assert.mligo.expected similarity index 100% rename from src/test/contracts/expected/assert.mligo rename to src/test/contracts/expected/assert.mligo.expected diff --git a/src/test/contracts/expected/attributes.mligo b/src/test/contracts/expected/attributes.mligo.expected similarity index 100% rename from src/test/contracts/expected/attributes.mligo rename to src/test/contracts/expected/attributes.mligo.expected diff --git a/src/test/contracts/expected/bad_address_format.religo b/src/test/contracts/expected/bad_address_format.religo.expected similarity index 100% rename from src/test/contracts/expected/bad_address_format.religo rename to src/test/contracts/expected/bad_address_format.religo.expected diff --git a/src/test/contracts/expected/balance_constant.mligo b/src/test/contracts/expected/balance_constant.mligo.expected similarity index 100% rename from src/test/contracts/expected/balance_constant.mligo rename to src/test/contracts/expected/balance_constant.mligo.expected diff --git a/src/test/contracts/expected/balance_constant.religo b/src/test/contracts/expected/balance_constant.religo.expected similarity index 100% rename from src/test/contracts/expected/balance_constant.religo rename to src/test/contracts/expected/balance_constant.religo.expected diff --git a/src/test/contracts/expected/basic.mligo b/src/test/contracts/expected/basic.mligo.expected similarity index 100% rename from src/test/contracts/expected/basic.mligo rename to src/test/contracts/expected/basic.mligo.expected diff --git a/src/test/contracts/expected/big_map.mligo b/src/test/contracts/expected/big_map.mligo.expected similarity index 100% rename from src/test/contracts/expected/big_map.mligo rename to src/test/contracts/expected/big_map.mligo.expected diff --git a/src/test/contracts/expected/bitwise_arithmetic.mligo b/src/test/contracts/expected/bitwise_arithmetic.mligo.expected similarity index 100% rename from src/test/contracts/expected/bitwise_arithmetic.mligo rename to src/test/contracts/expected/bitwise_arithmetic.mligo.expected diff --git a/src/test/contracts/expected/bitwise_arithmetic.religo b/src/test/contracts/expected/bitwise_arithmetic.religo.expected similarity index 100% rename from src/test/contracts/expected/bitwise_arithmetic.religo rename to src/test/contracts/expected/bitwise_arithmetic.religo.expected diff --git a/src/test/contracts/expected/boolean_operators.mligo b/src/test/contracts/expected/boolean_operators.mligo.expected similarity index 100% rename from src/test/contracts/expected/boolean_operators.mligo rename to src/test/contracts/expected/boolean_operators.mligo.expected diff --git a/src/test/contracts/expected/boolean_operators.religo b/src/test/contracts/expected/boolean_operators.religo.expected similarity index 100% rename from src/test/contracts/expected/boolean_operators.religo rename to src/test/contracts/expected/boolean_operators.religo.expected diff --git a/src/test/contracts/expected/bytes_arithmetic.mligo b/src/test/contracts/expected/bytes_arithmetic.mligo.expected similarity index 100% rename from src/test/contracts/expected/bytes_arithmetic.mligo rename to src/test/contracts/expected/bytes_arithmetic.mligo.expected diff --git a/src/test/contracts/expected/bytes_arithmetic.religo b/src/test/contracts/expected/bytes_arithmetic.religo.expected similarity index 100% rename from src/test/contracts/expected/bytes_arithmetic.religo rename to src/test/contracts/expected/bytes_arithmetic.religo.expected diff --git a/src/test/contracts/expected/bytes_unpack.mligo b/src/test/contracts/expected/bytes_unpack.mligo.expected similarity index 100% rename from src/test/contracts/expected/bytes_unpack.mligo rename to src/test/contracts/expected/bytes_unpack.mligo.expected diff --git a/src/test/contracts/expected/bytes_unpack.religo b/src/test/contracts/expected/bytes_unpack.religo.expected similarity index 100% rename from src/test/contracts/expected/bytes_unpack.religo rename to src/test/contracts/expected/bytes_unpack.religo.expected diff --git a/src/test/contracts/expected/check_signature.mligo b/src/test/contracts/expected/check_signature.mligo.expected similarity index 100% rename from src/test/contracts/expected/check_signature.mligo rename to src/test/contracts/expected/check_signature.mligo.expected diff --git a/src/test/contracts/expected/check_signature.religo b/src/test/contracts/expected/check_signature.religo.expected similarity index 100% rename from src/test/contracts/expected/check_signature.religo rename to src/test/contracts/expected/check_signature.religo.expected diff --git a/src/test/contracts/expected/closure.mligo b/src/test/contracts/expected/closure.mligo.expected similarity index 100% rename from src/test/contracts/expected/closure.mligo rename to src/test/contracts/expected/closure.mligo.expected diff --git a/src/test/contracts/expected/closure.religo b/src/test/contracts/expected/closure.religo.expected similarity index 100% rename from src/test/contracts/expected/closure.religo rename to src/test/contracts/expected/closure.religo.expected diff --git a/src/test/contracts/expected/comparable.mligo b/src/test/contracts/expected/comparable.mligo.expected similarity index 100% rename from src/test/contracts/expected/comparable.mligo rename to src/test/contracts/expected/comparable.mligo.expected diff --git a/src/test/contracts/expected/condition-annot.mligo b/src/test/contracts/expected/condition-annot.mligo.expected similarity index 100% rename from src/test/contracts/expected/condition-annot.mligo rename to src/test/contracts/expected/condition-annot.mligo.expected diff --git a/src/test/contracts/expected/condition-shadowing.mligo b/src/test/contracts/expected/condition-shadowing.mligo.expected similarity index 100% rename from src/test/contracts/expected/condition-shadowing.mligo rename to src/test/contracts/expected/condition-shadowing.mligo.expected diff --git a/src/test/contracts/expected/condition-shadowing.religo b/src/test/contracts/expected/condition-shadowing.religo.expected similarity index 100% rename from src/test/contracts/expected/condition-shadowing.religo rename to src/test/contracts/expected/condition-shadowing.religo.expected diff --git a/src/test/contracts/expected/condition.mligo b/src/test/contracts/expected/condition.mligo.expected similarity index 100% rename from src/test/contracts/expected/condition.mligo rename to src/test/contracts/expected/condition.mligo.expected diff --git a/src/test/contracts/expected/condition.religo b/src/test/contracts/expected/condition.religo.expected similarity index 100% rename from src/test/contracts/expected/condition.religo rename to src/test/contracts/expected/condition.religo.expected diff --git a/src/test/contracts/expected/counter.mligo b/src/test/contracts/expected/counter.mligo.expected similarity index 100% rename from src/test/contracts/expected/counter.mligo rename to src/test/contracts/expected/counter.mligo.expected diff --git a/src/test/contracts/expected/counter.religo b/src/test/contracts/expected/counter.religo.expected similarity index 100% rename from src/test/contracts/expected/counter.religo rename to src/test/contracts/expected/counter.religo.expected diff --git a/src/test/contracts/expected/create_contract.mligo b/src/test/contracts/expected/create_contract.mligo.expected similarity index 100% rename from src/test/contracts/expected/create_contract.mligo rename to src/test/contracts/expected/create_contract.mligo.expected diff --git a/src/test/contracts/expected/crypto.mligo b/src/test/contracts/expected/crypto.mligo.expected similarity index 100% rename from src/test/contracts/expected/crypto.mligo rename to src/test/contracts/expected/crypto.mligo.expected diff --git a/src/test/contracts/expected/crypto.religo b/src/test/contracts/expected/crypto.religo.expected similarity index 100% rename from src/test/contracts/expected/crypto.religo rename to src/test/contracts/expected/crypto.religo.expected diff --git a/src/test/contracts/expected/curry.mligo b/src/test/contracts/expected/curry.mligo.expected similarity index 100% rename from src/test/contracts/expected/curry.mligo rename to src/test/contracts/expected/curry.mligo.expected diff --git a/src/test/contracts/expected/double_michelson_or.mligo b/src/test/contracts/expected/double_michelson_or.mligo.expected similarity index 100% rename from src/test/contracts/expected/double_michelson_or.mligo rename to src/test/contracts/expected/double_michelson_or.mligo.expected diff --git a/src/test/contracts/expected/empty_case.mligo b/src/test/contracts/expected/empty_case.mligo.expected similarity index 100% rename from src/test/contracts/expected/empty_case.mligo rename to src/test/contracts/expected/empty_case.mligo.expected diff --git a/src/test/contracts/expected/empty_case.religo b/src/test/contracts/expected/empty_case.religo.expected similarity index 100% rename from src/test/contracts/expected/empty_case.religo rename to src/test/contracts/expected/empty_case.religo.expected diff --git a/src/test/contracts/expected/eq_bool.mligo b/src/test/contracts/expected/eq_bool.mligo.expected similarity index 100% rename from src/test/contracts/expected/eq_bool.mligo rename to src/test/contracts/expected/eq_bool.mligo.expected diff --git a/src/test/contracts/expected/eq_bool.religo b/src/test/contracts/expected/eq_bool.religo.expected similarity index 100% rename from src/test/contracts/expected/eq_bool.religo rename to src/test/contracts/expected/eq_bool.religo.expected diff --git a/src/test/contracts/expected/failwith.mligo b/src/test/contracts/expected/failwith.mligo.expected similarity index 100% rename from src/test/contracts/expected/failwith.mligo rename to src/test/contracts/expected/failwith.mligo.expected diff --git a/src/test/contracts/expected/failwith.religo b/src/test/contracts/expected/failwith.religo.expected similarity index 100% rename from src/test/contracts/expected/failwith.religo rename to src/test/contracts/expected/failwith.religo.expected diff --git a/src/test/contracts/expected/fibo.mligo b/src/test/contracts/expected/fibo.mligo.expected similarity index 100% rename from src/test/contracts/expected/fibo.mligo rename to src/test/contracts/expected/fibo.mligo.expected diff --git a/src/test/contracts/expected/fibo2.mligo b/src/test/contracts/expected/fibo2.mligo.expected similarity index 100% rename from src/test/contracts/expected/fibo2.mligo rename to src/test/contracts/expected/fibo2.mligo.expected diff --git a/src/test/contracts/expected/fibo3.mligo b/src/test/contracts/expected/fibo3.mligo.expected similarity index 100% rename from src/test/contracts/expected/fibo3.mligo rename to src/test/contracts/expected/fibo3.mligo.expected diff --git a/src/test/contracts/expected/fibo4.mligo b/src/test/contracts/expected/fibo4.mligo.expected similarity index 100% rename from src/test/contracts/expected/fibo4.mligo rename to src/test/contracts/expected/fibo4.mligo.expected diff --git a/src/test/contracts/expected/function-shared.mligo b/src/test/contracts/expected/function-shared.mligo.expected similarity index 100% rename from src/test/contracts/expected/function-shared.mligo rename to src/test/contracts/expected/function-shared.mligo.expected diff --git a/src/test/contracts/expected/function-shared.religo b/src/test/contracts/expected/function-shared.religo.expected similarity index 100% rename from src/test/contracts/expected/function-shared.religo rename to src/test/contracts/expected/function-shared.religo.expected diff --git a/src/test/contracts/expected/guess_string.mligo b/src/test/contracts/expected/guess_string.mligo.expected similarity index 100% rename from src/test/contracts/expected/guess_string.mligo rename to src/test/contracts/expected/guess_string.mligo.expected diff --git a/src/test/contracts/expected/high-order.religo b/src/test/contracts/expected/high-order.religo.expected similarity index 100% rename from src/test/contracts/expected/high-order.religo rename to src/test/contracts/expected/high-order.religo.expected diff --git a/src/test/contracts/expected/implicit_account.religo b/src/test/contracts/expected/implicit_account.religo.expected similarity index 100% rename from src/test/contracts/expected/implicit_account.religo rename to src/test/contracts/expected/implicit_account.religo.expected diff --git a/src/test/contracts/expected/included.religo b/src/test/contracts/expected/included.religo.expected similarity index 100% rename from src/test/contracts/expected/included.religo rename to src/test/contracts/expected/included.religo.expected diff --git a/src/test/contracts/expected/includer.religo b/src/test/contracts/expected/includer.religo.expected similarity index 100% rename from src/test/contracts/expected/includer.religo rename to src/test/contracts/expected/includer.religo.expected diff --git a/src/test/contracts/expected/key_hash.religo b/src/test/contracts/expected/key_hash.religo.expected similarity index 100% rename from src/test/contracts/expected/key_hash.religo rename to src/test/contracts/expected/key_hash.religo.expected diff --git a/src/test/contracts/expected/lambda.religo b/src/test/contracts/expected/lambda.religo.expected similarity index 100% rename from src/test/contracts/expected/lambda.religo rename to src/test/contracts/expected/lambda.religo.expected diff --git a/src/test/contracts/expected/lambda2.religo b/src/test/contracts/expected/lambda2.religo.expected similarity index 100% rename from src/test/contracts/expected/lambda2.religo rename to src/test/contracts/expected/lambda2.religo.expected diff --git a/src/test/contracts/expected/let_multiple.religo b/src/test/contracts/expected/let_multiple.religo.expected similarity index 100% rename from src/test/contracts/expected/let_multiple.religo rename to src/test/contracts/expected/let_multiple.religo.expected diff --git a/src/test/contracts/expected/letin.religo b/src/test/contracts/expected/letin.religo.expected similarity index 100% rename from src/test/contracts/expected/letin.religo rename to src/test/contracts/expected/letin.religo.expected diff --git a/src/test/contracts/expected/list.religo b/src/test/contracts/expected/list.religo.expected similarity index 100% rename from src/test/contracts/expected/list.religo rename to src/test/contracts/expected/list.religo.expected diff --git a/src/test/contracts/expected/loop.religo b/src/test/contracts/expected/loop.religo.expected similarity index 100% rename from src/test/contracts/expected/loop.religo rename to src/test/contracts/expected/loop.religo.expected diff --git a/src/test/contracts/expected/map.religo b/src/test/contracts/expected/map.religo.expected similarity index 100% rename from src/test/contracts/expected/map.religo rename to src/test/contracts/expected/map.religo.expected diff --git a/src/test/contracts/expected/match.religo b/src/test/contracts/expected/match.religo.expected similarity index 100% rename from src/test/contracts/expected/match.religo rename to src/test/contracts/expected/match.religo.expected diff --git a/src/test/contracts/expected/match_bis.religo b/src/test/contracts/expected/match_bis.religo.expected similarity index 100% rename from src/test/contracts/expected/match_bis.religo rename to src/test/contracts/expected/match_bis.religo.expected diff --git a/src/test/contracts/expected/michelson_pair_tree.religo b/src/test/contracts/expected/michelson_pair_tree.religo.expected similarity index 100% rename from src/test/contracts/expected/michelson_pair_tree.religo rename to src/test/contracts/expected/michelson_pair_tree.religo.expected diff --git a/src/test/contracts/expected/multiple-parameters.religo b/src/test/contracts/expected/multiple-parameters.religo.expected similarity index 100% rename from src/test/contracts/expected/multiple-parameters.religo rename to src/test/contracts/expected/multiple-parameters.religo.expected diff --git a/src/test/contracts/expected/multisig.religo b/src/test/contracts/expected/multisig.religo.expected similarity index 100% rename from src/test/contracts/expected/multisig.religo rename to src/test/contracts/expected/multisig.religo.expected diff --git a/src/test/contracts/expected/no_semicolon.religo b/src/test/contracts/expected/no_semicolon.religo.expected similarity index 100% rename from src/test/contracts/expected/no_semicolon.religo rename to src/test/contracts/expected/no_semicolon.religo.expected diff --git a/src/test/contracts/expected/pledge.religo b/src/test/contracts/expected/pledge.religo.expected similarity index 100% rename from src/test/contracts/expected/pledge.religo rename to src/test/contracts/expected/pledge.religo.expected diff --git a/src/test/contracts/expected/record.religo b/src/test/contracts/expected/record.religo.expected similarity index 100% rename from src/test/contracts/expected/record.religo rename to src/test/contracts/expected/record.religo.expected diff --git a/src/test/contracts/expected/recursion.religo b/src/test/contracts/expected/recursion.religo.expected similarity index 100% rename from src/test/contracts/expected/recursion.religo rename to src/test/contracts/expected/recursion.religo.expected diff --git a/src/test/contracts/expected/self_address.religo b/src/test/contracts/expected/self_address.religo.expected similarity index 100% rename from src/test/contracts/expected/self_address.religo rename to src/test/contracts/expected/self_address.religo.expected diff --git a/src/test/contracts/expected/set_arithmetic.religo b/src/test/contracts/expected/set_arithmetic.religo.expected similarity index 100% rename from src/test/contracts/expected/set_arithmetic.religo rename to src/test/contracts/expected/set_arithmetic.religo.expected diff --git a/src/test/contracts/expected/set_delegate.religo b/src/test/contracts/expected/set_delegate.religo.expected similarity index 100% rename from src/test/contracts/expected/set_delegate.religo rename to src/test/contracts/expected/set_delegate.religo.expected diff --git a/src/test/contracts/expected/single_record_item.religo b/src/test/contracts/expected/single_record_item.religo.expected similarity index 100% rename from src/test/contracts/expected/single_record_item.religo rename to src/test/contracts/expected/single_record_item.religo.expected diff --git a/src/test/contracts/expected/string_arithmetic.religo b/src/test/contracts/expected/string_arithmetic.religo.expected similarity index 100% rename from src/test/contracts/expected/string_arithmetic.religo rename to src/test/contracts/expected/string_arithmetic.religo.expected diff --git a/src/test/contracts/expected/super-counter.religo b/src/test/contracts/expected/super-counter.religo.expected similarity index 100% rename from src/test/contracts/expected/super-counter.religo rename to src/test/contracts/expected/super-counter.religo.expected diff --git a/src/test/contracts/expected/tuple.religo b/src/test/contracts/expected/tuple.religo.expected similarity index 100% rename from src/test/contracts/expected/tuple.religo rename to src/test/contracts/expected/tuple.religo.expected diff --git a/src/test/contracts/expected/tuple_list.religo b/src/test/contracts/expected/tuple_list.religo.expected similarity index 100% rename from src/test/contracts/expected/tuple_list.religo rename to src/test/contracts/expected/tuple_list.religo.expected diff --git a/src/test/contracts/expected/tuple_param_destruct.religo b/src/test/contracts/expected/tuple_param_destruct.religo.expected similarity index 100% rename from src/test/contracts/expected/tuple_param_destruct.religo rename to src/test/contracts/expected/tuple_param_destruct.religo.expected diff --git a/src/test/contracts/expected/tuple_type.religo b/src/test/contracts/expected/tuple_type.religo.expected similarity index 100% rename from src/test/contracts/expected/tuple_type.religo rename to src/test/contracts/expected/tuple_type.religo.expected diff --git a/src/test/contracts/expected/tuples_no_annotation.religo b/src/test/contracts/expected/tuples_no_annotation.religo.expected similarity index 100% rename from src/test/contracts/expected/tuples_no_annotation.religo rename to src/test/contracts/expected/tuples_no_annotation.religo.expected diff --git a/src/test/contracts/expected/tuples_sequences_functions.religo b/src/test/contracts/expected/tuples_sequences_functions.religo.expected similarity index 100% rename from src/test/contracts/expected/tuples_sequences_functions.religo rename to src/test/contracts/expected/tuples_sequences_functions.religo.expected diff --git a/src/test/contracts/expected/variant.religo b/src/test/contracts/expected/variant.religo.expected similarity index 100% rename from src/test/contracts/expected/variant.religo rename to src/test/contracts/expected/variant.religo.expected diff --git a/src/test/contracts/expected/website2.religo b/src/test/contracts/expected/website2.religo.expected similarity index 100% rename from src/test/contracts/expected/website2.religo rename to src/test/contracts/expected/website2.religo.expected