javert — Journal Automatique de VÉRificaTion
templates
– Things that can be put in the reportrepresentation
– Transform test results into itemstable_repr
– Transform test results intoTableTemplate
plot_repr
– Transform test results intoPlotTemplate
formatter
– Abstract class for formattersmpl
– Convert templates to plotstest_report
– Classes modelling a test reporttest_external
– Class to import external testrst
– Convert items to rst formatverbosity
– Verbosity levels