Viewing all changes in revision 280.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-10-14 11:37:21 UTC
- Revision ID: njul@cs.aau.dk-20211014113721-f38xblozwzz18r9w
LTL Query simplification more robust against queries without leading A/E quantifier.
- files modified:
- src/VerifyPN.cpp
expand all
collapse all
added
removed
