henkele

Readability and consistency of pattern names

17

We got some new patterns and pattern variations lately and their names got longer, less consistent, and less intuitive. I think there is some room for improvement.. ToDo's: - [x]...

Failing tests (18.11.2020) - [ ] rtinconsistency_test5.req (see #500, #495) - [ ] rtinconsistency_test36.req (see #493) - [ ] rtinconsistency_test118.req - [x] rtinconsistency_test2.req (timeout, fixed by 62386e1c2b885f279a9c37d1cf400b1e763cef54) - [x] rtinconsistency_test34.req...

This adds a ReqCheckVacuousResult to report invariants that are enforced by vacuous requirements. A vacuous requirement enforces an invariant if there exists only one location in its PEA representation in...