Viewing all changes in revision 301.
- Committer: Asger Gitz-Johansen
- Date: 2019-10-29 07:34:16 UTC
- Revision ID: agj@hmk-t570-048-20191029073416-5pw2xzrbln739spx
The "Is this query an LTL query"-check should be before the (!isreachability()) check.
- files modified:
- src/LTL/LTLPropertyParser.cpp
expand all
collapse all
added
removed
