balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Verify some more tests

Browse Source
This commit is contained in:
Pierre Chambart 2018-06-23 02:07:05 +02:00
parent e52f01caa6
commit b3c670ef8f
1 changed files with 16 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
src/proto_alpha/lib_protocol/test/transfer.ml
View File

@ -302,15 +302,18 @@ let balance_too_low fee () =
Context.Contract.balance (I i) contract_1 >>=? fun balance1 -> Context.Contract.balance (I i) contract_1 >>=? fun balance1 ->
Context.Contract.balance (I i) contract_2 >>=? fun balance2 -> Context.Contract.balance (I i) contract_2 >>=? fun balance2 ->
Op.transaction ~fee (I i) contract_1 contract_2 max_tez >>=? fun op -> Op.transaction ~fee (I i) contract_1 contract_2 max_tez >>=? fun op ->
let expect_failure = function
| Alpha_environment.Ecoproto_error (Contract_storage.Balance_too_low _) :: _ ->
return ()
| _ ->
failwith "balance too low should fail"
in
if fee > balance1 then begin if fee > balance1 then begin
Incremental.add_operation i op >>= fun res -> Incremental.add_operation ~expect_failure i op >>= fun _res ->
Assert.proto_error ~loc:__LOC__ res begin function return ()
| Contract_storage.Balance_too_low _ -> true
| _ -> false
end
end end
else begin else begin
Incremental.add_operation i op >>=? fun i -> Incremental.add_operation ~expect_failure i op >>=? fun i ->
(* contract_1 loses the fees *) (* contract_1 loses the fees *)
Assert.balance_was_debited ~loc:__LOC__ (I i) contract_1 balance1 fee >>=? fun () -> Assert.balance_was_debited ~loc:__LOC__ (I i) contract_1 balance1 fee >>=? fun () ->
(* contract_2 is not credited *) (* contract_2 is not credited *)
@ -337,7 +340,13 @@ let balance_too_low_two_transfers fee () =
Context.Contract.balance (I i) contract_3 >>=? fun balance3 -> Context.Contract.balance (I i) contract_3 >>=? fun balance3 ->
Op.transaction ~fee (I i) contract_1 contract_3 Op.transaction ~fee (I i) contract_1 contract_3
two_third_of_balance >>=? fun operation -> two_third_of_balance >>=? fun operation ->
Incremental.add_operation i operation >>=? fun i -> let expect_failure = function
| Alpha_environment.Ecoproto_error (Contract_storage.Balance_too_low _) :: _ ->
return ()
| _ ->
failwith "balance too low should fail"
in
Incremental.add_operation ~expect_failure i operation >>=? fun i ->
(* contract_1 loses the fees *) (* contract_1 loses the fees *)
Assert.balance_was_debited ~loc:__LOC__ (I i) contract_1 balance1 fee >>=? fun () -> Assert.balance_was_debited ~loc:__LOC__ (I i) contract_1 balance1 fee >>=? fun () ->
(* contract_3 is not credited *) (* contract_3 is not credited *)