The make run in this branch runs example 01 from fractal-demos.
The idea would be that we can include a few more examples, and also produce a lightweight report about the formal status (did any step not go through?). This is not directly related to output validation, but we could also integrate it - at different levels.
Work in progress, but definitely worth exploring.
The
make run
in this branch runs example 01 from fractal-demos. The idea would be that we can include a few more examples, and also produce a lightweight report about the formal status (did any step not go through?). This is not directly related to output validation, but we could also integrate it - at different levels.