Only print UF logic once (fix 465a386)

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

Closed daniel-larraz closed 2 months ago