Project

General

Profile

Bug #972

Feature #959: Enable SMT-based A/G Reasoning

verification context drop down menu is not selected in the "A/G, Contracts, Patterns" view

Added by Anonymous about 8 years ago. Updated almost 8 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
09/04/2012
Due date:
% Done:

100%

Estimated time:

Description

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.

History

#1 Updated by Anonymous about 8 years ago

  • Status changed from In Progress to New

#2 Updated by Anonymous almost 8 years ago

  • Parent task set to #959

#3 Updated by Anonymous almost 8 years ago

  • Priority changed from Low to Normal
  • Target version changed from Phoenix - BACKLOG to Phoenix 2.3 RC2 (Major Bugs)

#4 Updated by Anonymous almost 8 years ago

  • Status changed from New to Resolved
  • Assignee changed from Anonymous to Anonymous

#5 Updated by Anonymous almost 8 years ago

  • % Done changed from 0 to 90

#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.

#7 Updated by Anonymous almost 8 years ago

  • Status changed from In Progress to Resolved
  • Assignee changed from Anonymous to Anonymous
  • % Done changed from 80 to 90

#8 Updated by Anonymous almost 8 years ago

  • Status changed from Resolved to Closed
  • % Done changed from 90 to 100

Also available in: Atom PDF