Skip to content

avoid using Hoare triples

Ralf Jung requested to merge ralf/no-hoare into master

@robbertkrebbers some of these make me wonder if deprecating Hoare triples is really the right call... Texan triples aren't always better, in particular for higher-order specs in negative position.

Merge request reports