team-worthwhile/worthwhile — Issue #102: Irritating Invariant/FunctionAnnotation `true` when Invariants/FunctionAnnotations present
Author: bafain
Created: 2012-02-25 00:50:46+00:00
State: open
Labels: prover