Project

General

Profile

Bug #3072

Endless loop when OCRA is not installed

Added by Anonymous about 3 years ago. Updated about 1 year ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Formal Verification
Target version:
Start date:
09/14/2017
Due date:
% Done:

0%

Estimated time:

Description

Attempting to run AF3 with some the OCRA constraint activated but when OCRA is not installed yields an infinite loop.

To reproduce:
  • make sure Ocra is not installed (or not on your path)
  • create a new project
  • add an empty component
  • add a state automaton to it
  • add a contract

Save: should trigger an infinite loop (can be observed in the console that NuSMV files are permanently recreated).

Seems this should be true also for NuSMV.

History

#1 Updated by Anonymous about 3 years ago

  • Description updated (diff)

#2 Updated by Anonymous over 2 years ago

  • Target version changed from AF3 2.12 RC2 (Tested, Bug-fixed) to AF3 2.13 RC2 (Tested, Bug-free)

#3 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)

#4 Updated by Johannes Eder over 1 year ago

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

#5 Updated by Johannes Eder over 1 year ago

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

#6 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)

#7 Updated by Simon Barner about 1 year ago

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

Also available in: Atom PDF