Viewing all changes in revision 32.
- Committer: Mads Chr. Olesen
- Date: 2010-09-22 14:03:09 UTC
- Revision ID: launchpad@shiyee.dk-20100922140309-h4i3cp02u0srujfv
Fix non-array channels, add testcase
- files added:
- tests/test_simple_sync.xml
- files modified:
- opaal/model_parsers/pyuppaal/successor_generator.py
expand all
collapse all
added
removed
