Viewing all changes in revision 185.
- Committer: Mads Chr. Olesen
- Date: 2013-05-07 14:58:36 UTC
- Revision ID: launchpad@shiyee.dk-20130507145836-2c8a2o9hk205itdx
refactor some test cases
- files added:
- tests/test_pyuppaal_simplify.py
- files renamed:
- tests/gensuccgen/test_simple1.xml => tests/gensuccgen/simple1.xml
- tests/gensuccgen/constraints.xml => tests/gensuccgen/simple_constraints.xml
- tests/gensuccgen/simple_nop.xml => tests/gensuccgen/sync_simple_nop.xml
- tests/gensuccgen/upc_guard_func.xml => tests/gensuccgen/upc_func.xml
- files modified:
- tests/test_gensuccgen.py
expand all
collapse all
added
removed
