Properties (for model checking) remembered / read från .q

Status: Alpha

Brought to you by: pettersson, stefan19682

#16 Properties (for model checking) remembered / read från .q

Status: open

Owner: John Håkansson

Labels: uppaal-port (5)

Priority: 5

Updated: 2008-02-07

Created: 2008-02-07

Private: No

CHECK in Uppaal Port always starts a new with "A[] true". It does not remember the latest property entered by user.

Stage1:
Remember the latest property

Stage2:
Read / write properties from the associated .q file

Davor Slutej - 2008-02-07

assigned_to: nobody --> john-h
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: