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

Basic version of simulation mode. #56

Closed jp-fizzbee closed 2 months ago

jp-fizzbee commented 2 months ago

Added a command line flag --simulation that runs in simulation mode.

At present, it is simply using stack (DFS) instead of a queue (BFS). This doesn't use any additional optimizations that are typically possible for simulation like in TLC's implementation.

At present, only safety checks are supported.