Unit Test Results.

Designed for use with JUnit and Ant.

Class cruise.umple.implementation.nusmvoptimizer.NuSMVOptimizerTemplateTest

NameTestsErrorsFailuresSkippedTime(s)Time StampHost
NuSMVOptimizerTemplateTest440011.0582024-03-17T20:03:59cruise

Skipped

NameStatusTypeTime(s)
FileSkippedN/A

0.000
Properties »
System.out »