Feature #959: Enable SMT-based A/G Reasoning
verification context drop down menu is not selected in the "A/G, Contracts, Patterns" view
when selecting a specification atom in one of the registers of the "A/G, Contracts, Patterns" view, the drop-down menu "Verification context" is not set to the current context. It stays empty.
#6 Updated by Anonymous almost 8 years ago
- Status changed from Resolved to In Progress
- Assignee changed from Anonymous to Anonymous
- % Done changed from 90 to 80
now there is a quite strange update behavior:
when I change the verification context of a guarantee in the tab "Guarantees" from A to B, but do not click on "change", and then change into "All specifications Atoms" tab, then A is shown, going back to "Guarantees"tab, again B is shown. I know, the real context is A because I didn't press on change, but when going back to "Guarantees" tab, the real value A should be shown and not B.
Moreover, when I press "change" in "Guarantees" tab after changing context from A to B, and when I then change to "All specifications Atoms" tab, then still A is shown, but it should be B.
PS: after closing the view and opening again, its ok.