Viewing all changes in revision 265.
- Committer: Simon Virenfeldt
- Date: 2021-03-02 09:44:23 UTC
- Revision ID: simwir1@gmail.com-20210302094423-xdkzdt3g2zqv54lk
Fix nexttrans return true even if there is no next transition
- files modified:
- src/LTL/Algorithm/StubbornTarjanModelChecker.cpp
expand all
collapse all
added
removed
