Viewing all changes in revision 180.
- Committer: Mads Chr. Olesen
- Date: 2013-04-30 15:41:34 UTC
- Revision ID: launchpad@shiyee.dk-20130430154134-ll8wvp3qss4c3ppd
Add support for invariants with disjunctions that mix discrete and DBM invariants
- files added:
- tests/gensuccgen/invariant_disallowed_disjunct.xml
- files modified:
- opaal/model_parsers/pyuppaal/gensuccgen.py
expand all
collapse all
added
removed
