mirror of
https://github.com/codex-storage/nim-codex.git
synced 2025-02-20 16:48:23 +00:00
d56eb6aee1
* [contracts] Add SlotFreed event * [integration] allow test node to be stopped twice * [cli] add --validator option * [contracts] remove dead code * [contracts] instantiate OnChainMarket and OnChainClock only once * [contracts] add Validation * [sales] remove duplicate import * [market] add missing import * [market] subscribe to all SlotFilled events * [market] add freeSlot() * [sales] fix warnings * [market] subscribe to SlotFreed events * [contracts] fix warning * [validator] keep track of filled slots * [validation] remove slots that have ended * [proving] absorb Proofs into Market Both Proofs and Market are abstractions around the Marketplace contract, having them separately is more trouble than it's worth at the moment. * [market] add markProofAsMissing() * [clock] speed up waiting for clock in tests * [validator] mark proofs as missing * [timer] fix error on node shutdown * [cli] handle --persistence and --validator separately * [market] allow retrieval of proof timeout value * [validator] do not subscribe to SlotFreed events Freed slots are already handled in removeSlotsThatHaveEnded(), and onSlotsFreed() interfered with its iterator. * [validator] Start validation at the start of a new period To decrease the likelihood that we hit the validation timeout. * [validator] do not mark proofs as missing after timeout * [market] check whether proof can be marked as missing * [validator] simplify validation Simulate a transaction to mark proof as missing, instead of trying to keep track of all the conditions that may lead to a proof being marked as missing. * [build] use nim-ethers PR #40 Uses "pending" blocktag instead of "latest" blocktag for better simulation of transactions before sending them. https://github.com/status-im/nim-ethers/pull/40 * [integration] integration test for validator * [validator] monitor a maximum number of slots Adds cli parameter --validator-max-slots. * [market] fix missing collateral argument After rebasing, add the new argument to fillSlot calls. * [build] update to nim-ethers 0.2.5 * [validator] use Set instead of Table to keep track of slots * [validator] add logging * [validator] add test for slot failure * [market] use "pending" blocktag to use more up to date block time * [contracts] remove unused import * [validator] fix: wait until after period ends The smart contract checks that 'end < block.timestamp', so we need to wait until the block timestamp is greater than the period end.
66 lines
2.1 KiB
Nim
66 lines
2.1 KiB
Nim
import pkg/asynctest
|
|
import pkg/chronos
|
|
|
|
import codex/validation
|
|
import ./helpers/mockmarket
|
|
import ./helpers/mockclock
|
|
import ./helpers/eventually
|
|
import ./examples
|
|
|
|
suite "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()
|
|
|
|
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
|
|
clock.advance(period)
|
|
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)
|
|
clock.advance(period)
|
|
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)
|
|
clock.advance(period)
|
|
await sleepAsync(1.millis)
|
|
check market.markedAsMissingProofs.len == 0
|
|
|
|
test "it does not monitor more than the maximum number of slots":
|
|
for _ in 0..<maxSlots + 1:
|
|
let slot = Slot.example
|
|
await market.fillSlot(slot.request.id, slot.slotIndex, @[], collateral)
|
|
check validation.slots.len == maxSlots
|