What to put in a Specification

How you write and organise your specification is up to you.

Verifying your specification will be easier if your specification consists of assertions that are:

• clear
• mutually exclusive (don't repeat yourself)
• collectively exhaustive (don't miss anything)

Thus, it often makes sense to use lists in a specification.

See the Guessing Game Demo for a simple working specification.