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

Fail correctly in the tests

Browse Source
This commit is contained in:
Pierre Chambart 2018-06-23 03:43:39 +02:00
parent 2ef5b26b1b
commit c2483da50f
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/proto_alpha/lib_protocol/test/origination.ml
View File

@ -142,7 +142,13 @@ let undelegatable fee () =
else else
(* delegation is processed ; but delegate does not change *) (* delegation is processed ; but delegate does not change *)
begin begin
Incremental.add_operation i operation >>=? fun i -> let expect_failure = function
| Alpha_environment.Ecoproto_error (Delegate_storage.Non_delegatable_contract _) :: _ ->
return ()
| _ ->
failwith "The contract is not delegatable, it fail !"
in
Incremental.add_operation ~expect_failure i operation >>=? fun i ->
(* new contracts loses the fee *) (* new contracts loses the fee *)
Assert.balance_was_debited ~loc:__LOC__ (I i) new_contract balance fee Assert.balance_was_debited ~loc:__LOC__ (I i) new_contract balance fee
(* TODO delegate has not changed : wait for delegation tests and Context.Contract.delegate (* TODO delegate has not changed : wait for delegation tests and Context.Contract.delegate