Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
150
stars
8
forks
source link
Add --max_runs flag and default/0 to unlimited simulated runs #93
Closed
jp-fizzbee closed 4 weeks ago