Viewing all changes in revision 239.
- Committer: Simon Virenfeldt
- Date: 2020-12-14 10:41:06 UTC
- Revision ID: simwir1@gmail.com-20201214104106-plrneu14oqn12x8g
Disable LTL query simplifications if queryReductionTimeout is 0
- files modified:
- src/VerifyPN.cpp
expand all
collapse all
added
removed
