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 refute statement #776

Closed bruggerl closed 3 months ago

bruggerl commented 3 months ago

This PR adds support for refute statements.