Viewing all changes in revision 91.
- Committer: Kenneth Yrke Jørgensen
- Date: 2010-01-25 10:07:10 UTC
- Revision ID: kyrke@dagmar-20100125100710-t6ft71ai1ctw3k5d
Updated model to include clock declaration
- files modified:
- modelchecker/tests/tossetmodel1.xml
expand all
collapse all
added
removed
