Viewing all changes in revision 224.
- Committer: Mark Glavind
- Date: 2019-05-08 13:17:57 UTC
- Revision ID: mglavi14@student.aau.dk-20190508131757-c38dzplzw1e3587a
Query output format now depends on whether it is for verifydtapn or TAPAAL
- files modified:
- VerifyPN.cpp
expand all
collapse all
added
removed
