Viewing all changes in revision 340.
- Committer: Jiri Srba
- Date: 2020-10-09 17:09:26 UTC
- mfrom: (338.3.8 af-games)
- Revision ID: srba@cs.aau.dk-20201009170926-nv52m3w582ho6ke7
merged in lp:~verifydtapn-contributers/verifydtapn/af-games fixing a problem in control AF verification
- files modified:
- src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp
expand all
collapse all
added
removed
