medium10 pts · first answer countstest-designstate-transition-testing
A transition with a guard
In a wallet state machine, "Withdraw" moves Active → Active only if balance ≥ amount; otherwise it is rejected. What must your tests cover for this transition?
Discussion 0
Join free to post in the discussion.