Modelator

https://github.com/informalsystems/modelator

Modelator is a tool that automatically generates executable tests from TLA+ models using the...

Tokens:29,042
Snippets:176
Trust Score:9.5
License:Apache-2.0
Update:1 year ago
Tokens:
Raw