seal5.backends.report.test\_results.writer
==========================================

.. automodule:: seal5.backends.report.test_results.writer

   
   .. rubric:: Functions

   .. autosummary::
   
      main