From 78693b482c511f2e5814ecc3d24aade2de5c96c2 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Thu, 6 Feb 2020 18:12:44 +0100 Subject: [PATCH] remove unused test --- src/test/contracts/new-syntax.mligo | 19 ------------------- src/test/integration_tests.ml | 7 ------- 2 files changed, 26 deletions(-) delete mode 100644 src/test/contracts/new-syntax.mligo diff --git a/src/test/contracts/new-syntax.mligo b/src/test/contracts/new-syntax.mligo deleted file mode 100644 index 9f318f2d1..000000000 --- a/src/test/contracts/new-syntax.mligo +++ /dev/null @@ -1,19 +0,0 @@ -type storage = { - challenge : string; -} - -type param = { - new_challenge : string; - attempt : bytes; -} - -let attempt (p: param) storage = - if Crypto.hash (Bytes.pack p.attempt) <> Bytes.pack storage.challenge - then failwith "Failed challenge" - else - let contract : unit contract = - Operation.get_contract sender in - let transfer : operation = - Operation.transaction (unit, contract, 10tz) in - let storage : storage = {challenge = p.new_challenge} - in ([] : operation list), storage diff --git a/src/test/integration_tests.ml b/src/test/integration_tests.ml index 204d2fc55..247832641 100644 --- a/src/test/integration_tests.ml +++ b/src/test/integration_tests.ml @@ -1458,12 +1458,6 @@ let assert_religo () : unit result = let%bind _ = expect_eq program "main" (make_input true) make_expected in ok () -let guess_the_hash_mligo () : unit result = - let%bind program = mtype_file "./contracts/new-syntax.mligo" in - let make_input = fun n-> e_pair (e_int n) (e_int 42) in - let make_expected = fun n -> e_pair (e_typed_list [] t_operation) (e_int (42 + n)) in - expect_eq_n program "main" make_input make_expected - let guess_string_mligo () : unit result = let%bind program = type_file "./contracts/guess_string.mligo" in let make_input = fun n -> e_pair (e_int n) (e_int 42) in @@ -2314,7 +2308,6 @@ let main = test_suite "Integration (End to End)" [ (* test "list matching (mligo)" mligo_list ; *) test "list matching (mligo)" mligo_list ; test "list matching (religo)" religo_list ; - (* test "guess the hash mligo" guess_the_hash_mligo ; WIP? *) test "failwith ligo" failwith_ligo ; test "failwith mligo" failwith_mligo ; test "assert mligo" assert_mligo ;