← Back to branch summary

~yrke/opaal/timedart-vars+discrete

~yrke/opaal/timedart-vars+discrete

Viewing all changes in revision 33.

Committer: Mads Chr. Olesen
Date: 2010-09-23 11:48:55 UTC
Revision ID: launchpad@shiyee.dk-20100923114855-owxcsbvoxzvfx8bb

logging cleanup, use logging framework in unittests

files modified:
opaal/model_parsers/pyuppaal/goal_checker.py

opaal/model_parsers/pyuppaal/successor_generator.py

tests/run_tests.sh

tests/test_pyuppaal_lattice.py

tests/test_pyuppaal_succgen.py

Show diffs side-by-side

added added

removed removed

opaal/model_parsers/pyuppaal/goal_checker.py

opaal/model_parsers/pyuppaal/successor_generator.py

tests/run_tests.sh

tests/test_pyuppaal_lattice.py

tests/test_pyuppaal_succgen.py

Older »