Viewing all changes in revision 680.1.1.
- Committer: Jiri Srba
- Date: 2012-03-08 23:31:31 UTC
- mto: This revision was merged to the branch mainline in revision 681.
- Revision ID: srba@cs.aau.dk-20120308233131-5d6bv86ijlr5pb41
Fixed a problem when for EG nonsatisfied query there was a warning that
a trace cannot be generated and similarly for AF satisfied query.
a trace cannot be generated and similarly for AF satisfied query.
- files modified:
- src/dk/aau/cs/verification/UPPAAL/Verifyta.java
expand all
collapse all
added
removed
