Systems Litmus
==============

Litmus tests are small snippets of non-deterministic code that a test harness can run many times
to try observe all the possible results.  Systems Litmus tests are small kernels that
system-litmus-harness can boot many times and observe all the results.

.. toctree::
   :maxdepth: 2
   :caption: User Documentation:

   getting_started
   debugging_make
   customizing_litmus

.. toctree::
   :maxdepth: 2
   :caption: Developer Documentation:

   customizing_make
   debugging_code
   writing_tests
   test_discover