search

flyvy-verifier / flyvy

An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition systems in first-order logic and verify temporal correctness properties, including safety and liveness.
BSD 2-Clause "Simplified" License
14 stars 1 forks source link

Add documentation for all top-level commands #84

Closed tchajed closed 1 year ago

tchajed commented 1 year ago

We don't have documentation for the variants of Command, which translates to temporal-verifier --help not producing useful output. We should fix that.

tchajed commented 1 year ago

In addition to top-level documentation I'd also like to have an example of every top-level command in both the README and in a snapshot test.