Viewing all changes in revision 87.
- Committer: Mads Chr. Olesen
- Date: 2009-10-29 17:51:24 UTC
- Revision ID: launchpad@shiyee.dk-20091029175124-ha72cnyoap2k8tct
Reintroduce a CLI master
Make a passedwaiting set, and use instead of passed
Make a passedwaiting set, and use instead of passed
- files added:
- modelchecker/master_cli.py
- files modified:
- modelchecker/modelcheck.py
expand all
collapse all
added
removed
