Viewing all changes in revision 681.
- Committer: Tarmac
- Date: 2012-03-09 07:25:45 UTC
- mfrom: (680.1.1 tapaal)
- Revision ID: tarmac-20120309072545-5kw611utxugzclgy
Fixed a problem when for EG nonsatisfied query there was a warning that
a trace cannot be generated and similarly for AF satisfied query.
by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba
a trace cannot be generated and similarly for AF satisfied query.
by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba
- files modified:
- src/dk/aau/cs/verification/UPPAAL/Verifyta.java
expand all
collapse all
added
removed
