informalsystems/modelator

Pytest support

ivan-gavran opened this issue · 0 comments

ivan-gavran commented

This work has already been done and PR #213 submitted. I create an issue to experiment with the project board