From 7e2427fc2b8c1cb93923fddae51f5daf1bd808d9 Mon Sep 17 00:00:00 2001 From: Georgios Karachalias Date: Tue, 4 May 2021 10:40:16 +0200 Subject: [PATCH] wibbles --- tests/testChecker.ml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/tests/testChecker.ml b/tests/testChecker.ml index 0db83382..0b8baab1 100644 --- a/tests/testChecker.ml +++ b/tests/testChecker.ml @@ -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