-
Provide a (normalised) area under curve for timeline output variables.
Variables for statistics that produce a timeline, e.g., coverage development over time imply in interesting property: while the final coverage of two distinct runs/configurations might be equal, one might have a faster coverage increase than the other, thus could be considered better. The area under curve, i.e., the integral over the development function allows to access this property easily.
-
Add the ability to write the logging to a log file and not only STDOUT.
-
Add an auto-deploy action to GitHub to push releases to PyPI.
-
Fix a typo in the documentation (cf. GitHub issue #75).
-
Switch to
ruff-format.