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