Unit Test Results.
Designed for use with
JUnit
and
Ant
.
Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest
Name
Tests
Errors
Failures
Skipped
Time(s)
Time Stamp
Host
NuSMVOptimizerTemplateTest
44
0
0
1
0.637
2023-05-04T13:53:48
cruise
Skipped
Name
Status
Type
Time(s)
File
Skipped
N/A
0.000
Properties »
System.out »