Viewing all changes in revision 266.
- Committer: Simon Virenfeldt
- Date: 2021-03-05 12:21:49 UTC
- Revision ID: simwir1@gmail.com-20210305122149-kfxczvr9me6gi030
Remove büchi complete flag
- files modified:
- src/LTL/Algorithm/LTLToBuchi.cpp
expand all
collapse all
added
removed
