Directory org.openiaml.verification.nusmv.tests/models/navigation/

Total Files:
2
Deleted Files:
0
Lines of Code:
84

[root]/org.openiaml.verification.nusmv.tests/models/navigation

Lines of Code

org.openiaml.verification.nusmv.tests/models/navigation/ Lines of Code

Developers

Author Changes Lines of Code Lines per Change
soundasleep 4 (100.0%) 0 (-) 0.0

Most Recent Commits

soundasleep 2011-09-26 17:31 Rev.: 3118

migrating two simple NuSMV test models to latest metamodel; other test models must be migrated manually

0 lines of code changed in 4 files:

  • org.openiaml.verification.nusmv.tests/models/navigation: Normal.iaml (changed), SimpleLoop.iaml (new)
Generated by StatSVN 0.7.0