PLDI’20 Artefact Documentation
==============================

The following is the C artefact documentation for the :doc:`../../publications/gillian-part-1` PLDI'20 submission

.. toctree::
   :titlesonly:

   folder-structure
   symbolic-testing