Viewing all changes in revision 249.
- Committer: Simon Virenfeldt
- Date: 2021-05-11 06:45:22 UTC
- Revision ID: simwir1@gmail.com-20210511064522-v5ax1ggfakczb7ve
If translation from CTL* to eiter LTL or CTL an error is now printed
- files modified:
- src/VerifyPN.cpp
expand all
collapse all
added
removed
