************************
Crux Reference Manual
************************

Crux is a static simulator for programs.  It runs a set of test cases and
attempts to prove that all assertions pass on all valid inputs.

.. toctree::
  :maxdepth: 5

  installation
  rust
  llvm