Project

General

Profile

Feature #2128

[Analyses/Simulation] Looping simulations

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

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
09/05/2014
Due date:
% Done:

0%

Estimated time:

Description

Step-by-step to get to the situation:
  1. open the attached model
  2. go to the "A/G, Contracts, Patterns" aspect of the component in the component architecture
  3. check the only specification atom
  4. it should be FAIL and the trace should be now displaying in the "Counterexample Viewer" view
  5. observe (reading the text) how the counter-example is made a first state and then another state looping on itself
  6. then click "Open Simulator" to open the counter-example in the simulator
  7. run the simulator

What happens:
- after two steps you get to the end of the simulation (Pop-up "Couterexample simulation ended", "Start from the beginning")

Expected:
- a pop-up indicating the end of the loop
- the simulation automatically goes back at the beginning of the loop, not at the beginning of the simulation

Issue.af3_23 (14.9 KB) Issue.af3_23 Anonymous, 09/05/2014 02:54 PM

Related issues

Related to Feature #2165: [Analysis] use counter-example to refine black box components guaranteesRejected11/25/2014

History

#1 Updated by Anonymous almost 6 years ago

  • Related to Feature #2165: [Analysis] use counter-example to refine black box components guarantees added

#2 Updated by Anonymous over 5 years ago

  • Target version changed from AF3 2.7 RC2 (GUI improved) to AF3 2.8 RC1 (Feature Freeze)

#3 Updated by Anonymous about 5 years ago

  • Target version changed from AF3 2.8 RC1 (Feature Freeze) to AF3 2.8 RC2 (Tested & Bugfixed)

#4 Updated by Anonymous about 5 years ago

  • Target version changed from AF3 2.8 RC2 (Tested & Bugfixed) to AF3 2.9 RC1 (Features frozen)

#5 Updated by Anonymous over 4 years ago

  • Target version changed from AF3 2.9 RC1 (Features frozen) to AF3 2.10 Feature Freeze

#6 Updated by Anonymous over 4 years ago

  • Assignee changed from Anonymous to Anonymous

#7 Updated by Anonymous about 4 years ago

  • Target version changed from AF3 2.10 Feature Freeze to AF3 2.10 Post-release

#8 Updated by Anonymous almost 4 years ago

  • Target version changed from AF3 2.10 Post-release to AF3 2.11 GUI Improvement Week

#9 Updated by Anonymous over 3 years ago

  • Target version changed from AF3 2.11 GUI Improvement Week to AF3 2.11 RC1 (Feature Freeze)

#10 Updated by Anonymous over 3 years ago

  • Target version changed from AF3 2.11 RC1 (Feature Freeze) to AF3 2.11 Post-release

#11 Updated by Anonymous over 2 years ago

  • Assignee set to Anonymous

#12 Updated by Anonymous over 2 years ago

  • Target version changed from AF3 2.11 Post-release to AF3 2.13 RC1 (Feature Freeze)

#13 Updated by Anonymous over 2 years ago

  • Assignee changed from Anonymous to Anonymous

@Sudeep: I think this should be easy. If not, just reject.

#14 Updated by Anonymous over 2 years ago

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

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