search

kind2-mc / kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
https://kind.cs.uiowa.edu
Apache License 2.0
87 stars 29 forks source link

Add contract start line information to Kind 2 output with LSP flag enabled #1064

Closed lorchrob closed 7 months ago

lorchrob commented 7 months ago

This PR involves updating the AST to include contract position information.