Topics

This section explains how the different parts of Quickstrom work and fit together at a high level.

• How It Works
• The Specification Language
  • Formulae
  • Expressions
  • Selectors
  • Elements
  • Let Bindings
  • Lazy Bindings
  • Propositions
  • Temporal Operators
    • Next
    • Always
    • Until
    • Unchanged
  • Actions
    • Built-in Actions
    • Action Preconditions
    • Event Postconditions
  • Check
  • State Machine Propositions
  • Source Files
    • Include Paths
• Checking
  • Cross-Browser Testing
• Reporters
  • Console
  • HTML
  • JSON
• Troubleshooting