Skip to content

Commit

Permalink
wibbles
Browse files Browse the repository at this point in the history
  • Loading branch information
gkaracha committed May 4, 2021
1 parent 66b7501 commit 7e2427f
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion tests/testChecker.ml
Original file line number Diff line number Diff line change
Expand Up @@ -967,9 +967,15 @@ let suite =
* fees alone if the index remains the same. *)
let blocks_passed = 211 in (* NOTE: I am a little surprised/worried about this being again 211... *)
Ligo.Tezos.new_transaction ~seconds_passed:(60*blocks_passed) ~blocks_passed:blocks_passed ~sender:bob_addr ~amount:(Ligo.tez_from_literal "0mutez");
let _ops, checker = Checker.touch_with_index checker (Ligo.tez_from_literal "10_005_000mutez") in
let _ops, checker = Checker.touch_with_index checker (Ligo.tez_from_literal "1_105_283mutez") in (* sup *)
let _ops, checker = Checker.entrypoint_touch_burrow (checker, burrow_id) in

(* Ensure that the burrow is liquidatable. *)
begin match Ligo.Big_map.find_opt burrow_id checker.burrows with
| None -> assert_failure "bug"
| Some burrow -> assert_bool "burrow needs to be liquidatable for the test to be potent." (Burrow.burrow_is_liquidatable checker.parameters burrow);
end;

(* Let's mark the burrow for liquidation now (first pass: leaves it empty but active). *)
Ligo.Tezos.new_transaction ~seconds_passed:0 ~blocks_passed:0 ~sender:alice_addr ~amount:(Ligo.tez_from_literal "0mutez");
let (_ops, checker) = Checker.entrypoint_mark_for_liquidation (checker, burrow_id) in
Expand Down

0 comments on commit 7e2427f

Please sign in to comment.