Bug #296

simulation does not work for 'symbolic' models

Added by Axel Belinfante over 10 years ago. Updated over 10 years ago.

Status:ResolvedStart date:27 Feb 2010
Priority:NormalDue date:
Assignee:-% Done:


Target version:1.4.0


the problem already starts with the fact that we first have to 'View' a model before we can simulate it -
we currently cannot view a symbolic model (unless we have a prefab visualization, which we do not have for e.g. the timed-automata models of ta2torx), because the state space exploration that is necessary to obtain the automaton (LTS) that is to be shown might never finish.

furthermore, we should be able to instantiate in the simulator.


#1 Updated by Axel Belinfante over 10 years ago

  • Status changed from New to Resolved
  • Target version set to 1.4.0
  • % Done changed from 0 to 100

instantiation in simulator has been added in 1b9de20d2071a5ce1a6e3e2d5d101ed7e65cd588

improved starting simulator from Components view in commit 9fe973b008d8865e6b25e19cfe6564b3cdc2cd6a

Also available in: Atom PDF