Skip to main content

✅ Exhaust demon

CategoryAbility
StatusPassing
Testtests/test_operations.py::test_exhaust_demon

A READIED demon is exhausted.

Preconditions​

  • Lane 0: P1's Duban (#001) — READIED

Action​

  • exhaust_demon(state, duban)

Expected Postconditions​

  • Duban.state = EXHAUSTED (was READIED)

  • No other state changes

Assertions​

assert exhausted.state == DemonState.EXHAUSTED
    assert state.demons[0].state == DemonState.READIED  # original unchanged