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.
(from redmine: issue id 972, created on 2012-09-05, closed on 2013-01-16)
- Relations:
- parent #959 (closed)