Contents:

• Whimsy
  • Motivation
  • Definition of Terms
  • File Organization
  • Running Tests
  • Typical Runloop
• Test Writing By Example
  • Writing A Verifier Test
  • A Test From Scratch
  • Migrating an Existing Test
• Features
  • Distributed Test Support
• The Whimsy Library
  • Subpackages
  • Main Modules
  • Test Items
  • Support Modules