Name | Status | Type | Time(s) |
CourseSectionNested | Success | | 0.011 |
AndCrossExample | Success | | 0.010 |
SingleLaneBridge | Success | | 0.089 |
SingleEventMachine | Success | | 0.005 |
AbstractConcurrentSystem | Success | | 0.007 |
AbstractMachine | Success | | 0.004 |
DigitalWatchFlat | Success | | 0.021 |
nestedConcurrentMachine | Success | | 0.009 |
MultiLevelStateMachineExampleCase2 | Success | | 0.005 |
GrantApplication | Success | | 0.016 |
ExampleFile | Success | | 0.006 |
NestedMachine | Success | | 0.005 |
SimpleCaseOfNondeterminism | Success | | 0.004 |
myTemporaryTest | Success | | 0.040 |
NestedWatch | Success | | 0.028 |
BigStateMachineTest | Success | | 0.015 |
File | Skipped | N/A
| 0.001 |
Test | Success | | 0.005 |
ExampleFile1 | Success | | 0.006 |
ExampleFile2 | Success | | 0.015 |
Elevator | Success | | 0.017 |
ConstantTest | Success | | 0.005 |
CourseSection | Success | | 0.007 |
AdaptiveCruiseControlWithTerminalState | Success | | 0.141 |
AndCrossFromDeeplyNestedStateCase2 | Success | | 0.009 |
EmptyStateMachineTest | Success | | 0.002 |
AndCrossFromDeeplyNestedState | Success | | 0.008 |
ArbitraryExample | Success | | 0.011 |
AdaptiveCruiseControlSystem | Success | | 0.134 |
MultiLevelStateMachineExample | Success | | 0.005 |
FurnaceControlSystem | Success | | 0.038 |
EnhancedBitCounter | Success | | 0.009 |
RoomHeatingSystem | Success | | 0.066 |
CarTransmission | Success | | 0.034 |
OutgoingTransitionOfConcurrentState | Success | | 0.008 |
JavaDataTypes | Success | | 0.006 |
OutgoingTransitionOfConcurrentStateWithAndCross1 | Success | | 0.008 |
BigStateMachineWithNakedTransition | Success | | 0.013 |
concurrentMachineExample | Success | | 0.010 |
InputVariableTest | Success | | 0.006 |
avoidJunitError | Success | | 0.002 |