Fixpoint verification failures outside our tests are usually not indicative of a bug -- don't be pushy about having people report them.
Fixpoint verification failures outside our tests are usually not indicative of a bug -- don't be pushy about having people report them.