Viewing all changes in revision 45.
- Committer: Mads Chr. Olesen
- Date: 2011-09-23 09:46:12 UTC
- Revision ID: launchpad@shiyee.dk-20110923094612-pd4lp09fx4ofg8lp
test for sup queries
- files added:
- tests/suptest.xml
- files modified:
- tests/test_pyuppaal_succgen.py
expand all
collapse all
added
removed
