Viewing all changes in revision 376.
- Committer: Peter G. Jensen
- Date: 2020-08-26 09:14:10 UTC
- Revision ID: root@petergjoel.dk-20200826091410-5v8ewkll9flkdl9q
wrong initial and terminal check of control: AF
- files modified:
- src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp
expand all
collapse all
added
removed
