bivab / pytest-prob

Pytest plug-in to run B predicates and expressions as tests on ProB

Geek Repo

Github PK Tool