Viewing all changes in revision 1045.
- Committer: Mads Johannsen
- Date: 2017-06-26 13:44:32 UTC
- Revision ID: mjohan12@student.aau.dk-20170626134432-7tlbgi053413j9op
Display message: Traces are available only for reachability queries, not for CTL queries.
expand all
collapse all
added
removed
