Documentation for DICE

Contents:

• About DICE
  • Goals and Objectives
• Getting Started
  • Installing DICE
  • Using DICE
• Writing DICE Tests
  • Anatomy of a DICE Project
  • Writing Test Runner
  • Writing Oracle
• How DICE Works
• Contributing Guidelines
  • Submit a Patch
  • Travis CI

API References

• dice package
• dice

Indices and tables

• Index
• Module Index
• Search Page