Currently, the Seal5 Report Backends have to be manually executed by the user.
It would be very nice if we could just run seal5_flow.report(...) and automatically generate all of the reports. The default location would be .seal5/reports but this could be overriden of course.
Recommended by @dlr-jas
Currently, the Seal5 Report Backends have to be manually executed by the user.
It would be very nice if we could just run
seal5_flow.report(...)and automatically generate all of the reports. The default location would be.seal5/reportsbut this could be overriden of course.Recommended by @dlr-jas