search

viperproject / gobra

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
https://gobra.ethz.ch
Other
111 stars 28 forks source link

Add purity checks to the ternary expression #778

Closed jcp19 closed 3 months ago

jcp19 commented 3 months ago

Fixes #777