Name | Status | Type | Time(s) |
CourseSectionNested | Success | | 0.010 |
AndCrossExample | Success | | 0.008 |
SingleLaneBridge | Success | | 0.033 |
FlatElevator | Success | | 0.016 |
SingleEventMachine | Success | | 0.006 |
AbstractConcurrentSystem | Success | | 0.023 |
AbstractMachine | Success | | 0.008 |
DigitalWatchFlat | Success | | 0.029 |
nestedConcurrentMachine | Success | | 0.014 |
MultiLevelStateMachineExampleCase2 | Success | | 0.011 |
GrantApplication | Success | | 0.040 |
ExampleFile | Success | | 0.015 |
NestedMachine | Success | | 0.013 |
SimpleCaseOfNondeterminism | Success | | 0.011 |
myTemporaryTest | Success | | 0.072 |
NestedWatch | Success | | 0.056 |
BigStateMachineTest | Success | | 0.034 |
FlatSpecificFlight | Success | | 0.028 |
File | Skipped | N/A
| 0.000 |
Test | Success | | 0.005 |
ExampleFile1 | Success | | 0.005 |
ExampleFile2 | Success | | 0.024 |
Elevator | Success | | 0.018 |
ConstantTest | Success | | 0.010 |
SpecificFlight | Success | | 0.017 |
CourseSection | Success | | 0.008 |
AdaptiveCruiseControlWithTerminalState | Success | | 0.031 |
AndCrossFromDeeplyNestedStateCase2 | Success | | 0.016 |
EmptyStateMachineTest | Success | | 0.003 |
AndCrossFromDeeplyNestedState | Success | | 0.013 |
ArbitraryExample | Success | | 0.016 |
AdaptiveCruiseControlSystem | Success | | 0.115 |
MultiLevelStateMachineExample | Success | | 0.005 |
FurnaceControlSystem | Success | | 0.050 |
EnhancedBitCounter | Success | | 0.011 |
RoomHeatingSystem | Success | | 0.046 |
CarTransmission | Success | | 0.040 |
OutgoingTransitionOfConcurrentState | Success | | 0.012 |
JavaDataTypes | Success | | 0.007 |
OutgoingTransitionOfConcurrentStateWithAndCross1 | Success | | 0.008 |
BigStateMachineWithNakedTransition | Success | | 0.014 |
concurrentMachineExample | Success | | 0.007 |
InputVariableTest | Success | | 0.006 |
avoidJunitError | Success | | 0.001 |