Viewing all changes in revision 93.
- Committer: Kenneth Yrke Jørgensen
- Date: 2010-01-26 14:47:02 UTC
- Revision ID: kyrke@elia-20100126144702-4bsov8v604vtyk3b
Added support for invariant
- files added:
- modelchecker/tests/invariant.xml
- files modified:
- modelchecker/successor.py
expand all
collapse all
added
removed
