Welcome to Eris’s documentation!

Eris is a porting of QuickCheck and property-based testing tools to the PHP and PHPUnit ecosystem.

In property-based testing, several properties that the System Under Test must respect are defined, and a large sample of generated inputs is sent to it in an attempt to break the properties. With a few lines of code, hundreds of test cases can be generated and run.

“Don’t write tests. Generate them.” – John Hughes

Eris is the Greek goddess of chaos, strife, and discord. It tries to break your code with the most random and chaotic input and actions.

• Installation
• Getting started
• Shrinking
  • Simplest example
  • Shrinking and preconditions
  • Shrinking time limit
  • Tree-based shrinking
  • Disabling shrinking
• Scalar generators
  • Integers
  • Floats
  • Booleans
  • Strings
  • Characters
  • Constants
  • Elements
• Collection generators
  • Associative arrays
  • Sequences
  • Vectors
  • Tuples
  • Sets
  • Subsets
• Composite generators
  • Frequency
  • One Of
  • Map
  • Such That
  • Bind
• Domain-based generators
  • Names
  • Dates
  • Regex
• Runtime limits
  • Time and iterations
  • Size of generated data
• Reproducibility
• Listeners
  • Collect Frequencies
  • Log
• Randomness
  • Configuration
  • Maximum sizes
  • Seeding
  • Comparison
• Using Eris outside of PHPUnit
  • Usage