Analysis: Check assumptions for non-contradiction
Contradictory assumptions (in A/G contracts) completely screw any analysis.
Therefore would be nice to provide some check for that.
#10 Updated by Anonymous almost 3 years ago
- Assignee changed from Anonymous to Anonymous
@Sudeep: opinion? Tackle or reject? Do you even think it would be really useful in practice?
IMO, if we get back to the remark we said once: "don't do all analyses, but pick a couple and make them perfect", I'd say we can reject.
#11 Updated by Anonymous almost 3 years ago
- Status changed from New to Rejected
- Assignee deleted (
- Target version changed from AF3 2.11 Post-release to AF3 2.12 Post-release
We have rebuilt the analyses plugin completely, and do not support this at present. This will be tackled when this feature is developed for the new analyses. refer to #3232