AFby and AP invariants are each listed twice in the invariants tab. This is likely because they're being printed once when the lowerbound invariant comes up and again when the upperbound one does.
Make it so each invariant is only shown once.
[Issue created by ohmann: 2015-02-03]
[Last updated on bitbucket: 2015-02-15]
[Comment created by ohmann: 2015-02-15]
Closing issue 62
→ <<cset 5197799b3e1e>>
[Comment created by stanleyrya: 2015-02-12]
Solution in revision c9974b661889, please review.
[Comment created by stanleyrya: 2015-02-06]
Comment for later: It looks like the "checkExistsPrecedes" and "checkExistsFollowed" will remove the duplicates. However, currently the code that draws the invariants to the screen starts from scratch instead of using these functions.
AFby and AP invariants are each listed twice in the invariants tab. This is likely because they're being printed once when the lowerbound invariant comes up and again when the upperbound one does.
Make it so each invariant is only shown once.
[Issue created by ohmann: 2015-02-03] [Last updated on bitbucket: 2015-02-15]
[Comment created by ohmann: 2015-02-15] Closing issue 62
→ <<cset 5197799b3e1e>>
[Comment created by stanleyrya: 2015-02-12] Solution in revision c9974b661889, please review.
[Comment created by stanleyrya: 2015-02-06] Comment for later: It looks like the "checkExistsPrecedes" and "checkExistsFollowed" will remove the duplicates. However, currently the code that draws the invariants to the screen starts from scratch instead of using these functions.