[root]/org.openiaml.verification.nusmv.tests/src/org/openiaml/verification/nusmv/tests
Author | Changes | Lines of Code | Lines per Change |
---|---|---|---|
soundasleep | 2 (100.0%) | 0 (-) | 0.0 |
issue 236: updating NuSMV templates to latest metamodel
some aspects, such as 'can cast?' and 'is set?' Decisions, are not fully implemented
0 lines of code changed in 2 files: