Issue 44: Check if fields mentioned in invariant annotations exist
Status:  Fixed
Owner:
Closed:  Oct 2008
Project Member Reported by nels.bec...@gmail.com, Sep 26, 2008
I sort of thought we used to have this... but I want the 
PluralAnnotationAnalysis to issue a warning if an invariant mentions a 
field that does not exist. For example,

@ClassStates(@State(name="alive", inv="hasUnique == true => full(data)"))
public class ImplicationWorks {
	boolean hasFull;


I changed hasUnique to hasFull, but I got no warning that my invariant was 
now useless.
Oct 1, 2008
Project Member #1 nels.bec...@gmail.com
Fixed in r97
Status: Fixed