| Issue 44: | Check if fields mentioned in invariant annotations exist | |
| 1 person starred this issue and may be notified of changes. | Back to list |
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
Status:
Fixed
|