Viewing all changes in revision 255.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-10-27 20:06:14 UTC
- Revision ID: njul@cs.aau.dk-20211027200614-sshasr8hmmt30cki
making the --ltl-heur help string more clear
- files modified:
- src/VerifyPN.cpp
expand all
collapse all
added
removed
