Project

General

Profile

Support #2736

Timeout is observed while running NuXMV

Added by Anonymous almost 4 years ago. Updated over 1 year ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
11/21/2016
Due date:
% Done:

0%

Estimated time:

Description

Trying the NuXMV for Cruisecontrol example. However, it is showing timeout always for all types of analysis.

History

#1 Updated by Anonymous almost 3 years ago

  • Assignee set to Anonymous

#2 Updated by Anonymous almost 3 years ago

Our implementation does not support cruise control example at the moment. But I agree that this information should be provided and also the error shown should not be "timeout"

#3 Updated by Anonymous over 2 years ago

  • Target version set 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

Also available in: Atom PDF