From a4b1c9951d14bbea614fc2f6caf272b49bc0e58f Mon Sep 17 00:00:00 2001 From: John David Pressman Date: Tue, 17 Dec 2019 09:50:47 -0800 Subject: [PATCH] Add ReasonLIGO and CameLIGO tests for SET_DELEGATE --- src/passes/operators/operators.ml | 1 + src/test/contracts/set_delegate.mligo | 3 +++ src/test/contracts/set_delegate.religo | 4 ++++ src/test/integration_tests.ml | 18 ++++++++++++++++++ 4 files changed, 26 insertions(+) create mode 100644 src/test/contracts/set_delegate.mligo create mode 100644 src/test/contracts/set_delegate.religo diff --git a/src/passes/operators/operators.ml b/src/passes/operators/operators.ml index c2b49cdb1..c50806c66 100644 --- a/src/passes/operators/operators.ml +++ b/src/passes/operators/operators.ml @@ -225,6 +225,7 @@ module Simplify = struct | "stop" -> ok C_STOP | "Operation.transaction" -> ok C_CALL + | "Operation.set_delegate" -> ok C_SET_DELEGATE | "Operation.get_contract" -> ok C_CONTRACT | "Operation.get_entrypoint" -> ok C_CONTRACT_ENTRYPOINT | "int" -> ok C_INT diff --git a/src/test/contracts/set_delegate.mligo b/src/test/contracts/set_delegate.mligo new file mode 100644 index 000000000..9b3629f5d --- /dev/null +++ b/src/test/contracts/set_delegate.mligo @@ -0,0 +1,3 @@ +let main (p: key_hash) : operation list = + let unused: operation = (Operation.set_delegate (Some p)) in ([]: operation list) + diff --git a/src/test/contracts/set_delegate.religo b/src/test/contracts/set_delegate.religo new file mode 100644 index 000000000..bae3a38fb --- /dev/null +++ b/src/test/contracts/set_delegate.religo @@ -0,0 +1,4 @@ +let main = (p: key_hash) : list(operation) => { + let unused: operation = (Operation.set_delegate(Some(p))); + ([]: list(operation)); +} ; diff --git a/src/test/integration_tests.ml b/src/test/integration_tests.ml index ccbf873e9..29924b97d 100644 --- a/src/test/integration_tests.ml +++ b/src/test/integration_tests.ml @@ -1764,6 +1764,22 @@ let set_delegate () : unit result = let%bind () = expect_eq program "main" (e_key_hash pkh_str) (e_typed_list [] t_operation) in ok () +let set_delegate_mligo () : unit result = + let open Tezos_crypto in + let (raw_pkh,_,_) = Signature.generate_key () in + let pkh_str = Signature.Public_key_hash.to_b58check raw_pkh in + let%bind program = mtype_file "./contracts/set_delegate.mligo" in + let%bind () = expect_eq program "main" (e_key_hash pkh_str) (e_typed_list [] t_operation) + in ok () + +let set_delegate_religo () : unit result = + let open Tezos_crypto in + let (raw_pkh,_,_) = Signature.generate_key () in + let pkh_str = Signature.Public_key_hash.to_b58check raw_pkh in + let%bind program = retype_file "./contracts/set_delegate.religo" in + let%bind () = expect_eq program "main" (e_key_hash pkh_str) (e_typed_list [] t_operation) + in ok () + let main = test_suite "Integration (End to End)" [ test "key hash" key_hash ; test "chain id" chain_id ; @@ -1892,6 +1908,8 @@ let main = test_suite "Integration (End to End)" [ test "implicit account (mligo)" implicit_account_mligo ; test "implicit account (religo)" implicit_account_religo ; test "set delegate" set_delegate ; + test "set delegate (mligo)" set_delegate_mligo ; + test "set delegate (religo)" set_delegate_religo ; test "is_nat" is_nat ; test "is_nat (mligo)" is_nat_mligo ; test "is_nat (religo)" is_nat_religo ;