Viewing all changes in revision 245.
- Committer: Simon Virenfeldt
- Date: 2020-10-07 13:38:12 UTC
- Revision ID: simwir1@gmail.com-20201007133812-nig6rb7rxksxs934
Changed the is satisfied output repsect the format set by MCC
- files modified:
- src/LTLMain.cpp
expand all
collapse all
added
removed
