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

Fix a stray clippy warning #108

Closed tchajed closed 1 year ago

tchajed commented 1 year ago

I don't really understand why this doesn't show up in CI, but VS Code reliably reports it (with the rust-analyzer check command set to clippy).