To continue the test framework, metrics are added. Metrics are tests, what changes is just the pretty printing.
The previous Testext module in Stdlib is deleted.
Introduce new functions in the framework:
metric pretty printing
runner for suite using metric pretty printing
runner for list of suite using metric pretty printing
To continue the test framework, metrics are added. Metrics are tests, what changes is just the pretty printing. The previous Testext module in Stdlib is deleted.
Introduce new functions in the framework:
Refactoring of metrics.mligo