search

viperproject / gobra-libs

Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
MIT License
2 stars 1 forks source link

Remove bad trigger #14

Closed dnezam closed 5 months ago

dnezam commented 5 months ago

Keeping this trigger causes profiling to fail, as the trigger cannot be found in the body of the quantifier.