Project

General

Profile

Bug #3342

UI freezes when contract constraint is enabled and guard is modified

Added by Anonymous over 2 years ago. Updated about 1 year ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Formal Verification
Target version:
-
Start date:
03/23/2018
Due date:
% Done:

0%

Estimated time:

Description

Scenario:
1) Enable OCRA constraints on a project
2) update the guard, or action or any semantically relevant model element.
3) Try to update it once again

Expected: the user should be able to make the update in point 3
Actual: the user is not able to do it and the UI freezes

Analysis: point 2 triggers model checking and it blocks the user from making any further changes.

Note: This bug is related to formal verification. You need NuSMV and OCRA installed on your machine.

History

#1 Updated by Anonymous over 2 years ago

  • Target version changed from AF3 2.13 RC2 (Tested, Bug-free) to AF3 2.14 RC1 (Feature Freeze)

#2 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.14 RC1 (Feature Freeze) to Backlog

#3 Updated by Johannes Eder over 1 year ago

  • Target version changed from Backlog to AF3 2.16 RC1 (Feature Freeze)

#4 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.16 RC1 (Feature Freeze) to AF3 2.16 RC2 (Tested, Bug-free)

#5 Updated by Simon Barner about 1 year ago

  • Category set to Formal Verification
  • Assignee deleted (Anonymous)
  • Target version deleted (AF3 2.16 RC2 (Tested, Bug-free))

Also available in: Atom PDF