search

fizzbee-io / fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
https://fizzbee.io
Apache License 2.0
128 stars 6 forks source link

Don't save states if saveStates is not enabled #75

Closed jp-fizzbee closed 3 weeks ago