Unit Test Results.
Designed for use with
JUnit
and
Ant
.
Package cruise.umple.implementation.nusmvoptimizer
Classes
Name
Tests
Errors
Failures
Skipped
Time(s)
Time Stamp
Host
NuSMVOptimizerTemplateTest
44
0
0
1
0.422
2026-10-21T11:25:19
cruise