import pkg/asynctest import pkg/chronos import codex/validation import codex/periods import ./helpers/mockmarket import ./helpers/mockclock import ./examples import ./helpers asyncchecksuite "validation": let period = 10 let timeout = 5 let maxSlots = 100 let slot = Slot.example let collateral = slot.request.ask.collateral var validation: Validation var market: MockMarket var clock: MockClock setup: market = MockMarket.new() clock = MockClock.new() validation = Validation.new(clock, market, maxSlots) market.config.proofs.period = period.u256 market.config.proofs.timeout = timeout.u256 await validation.start() teardown: await validation.stop() proc advanceToNextPeriod = let periodicity = Periodicity(seconds: period.u256) let period = periodicity.periodOf(clock.now().u256) let periodEnd = periodicity.periodEnd(period) clock.set((periodEnd + 1).truncate(int)) test "the list of slots that it's monitoring is empty initially": check validation.slots.len == 0 test "when a slot is filled on chain, it is added to the list": await market.fillSlot(slot.request.id, slot.slotIndex, @[], collateral) check validation.slots == @[slot.id] for state in [SlotState.Finished, SlotState.Failed]: test "when slot state changes, it is removed from the list": await market.fillSlot(slot.request.id, slot.slotIndex, @[], collateral) market.slotState[slot.id] = state advanceToNextPeriod() check eventually validation.slots.len == 0 test "when a proof is missed, it is marked as missing": await market.fillSlot(slot.request.id, slot.slotIndex, @[], collateral) market.setCanProofBeMarkedAsMissing(slot.id, true) advanceToNextPeriod() await sleepAsync(1.millis) check market.markedAsMissingProofs.contains(slot.id) test "when a proof can not be marked as missing, it will not be marked": await market.fillSlot(slot.request.id, slot.slotIndex, @[], collateral) market.setCanProofBeMarkedAsMissing(slot.id, false) advanceToNextPeriod() await sleepAsync(1.millis) check market.markedAsMissingProofs.len == 0 test "it does not monitor more than the maximum number of slots": for _ in 0..