Name | Status | Type | Time(s) |
CourseSectionNested | Success | | 0.034 |
AndCrossExample | Success | | 0.012 |
SingleLaneBridge | Success | | 0.088 |
SingleEventMachine | Success | | 0.016 |
AbstractConcurrentSystem | Success | | 0.009 |
AbstractMachine | Success | | 0.007 |
DigitalWatchFlat | Success | | 0.059 |
nestedConcurrentMachine | Success | | 0.014 |
MultiLevelStateMachineExampleCase2 | Success | | 0.008 |
GrantApplication | Success | | 0.018 |
ExampleFile | Success | | 0.009 |
NestedMachine | Success | | 0.007 |
SimpleCaseOfNondeterminism | Success | | 0.007 |
myTemporaryTest | Success | | 0.048 |
NestedWatch | Success | | 0.030 |
BigStateMachineTest | Success | | 0.022 |
File | Skipped | N/A
| 0.000 |
Test | Success | | 0.008 |
ExampleFile1 | Success | | 0.007 |
ExampleFile2 | Success | | 0.017 |
Elevator | Success | | 0.022 |
ConstantTest | Success | | 0.008 |
CourseSection | Success | | 0.009 |
AdaptiveCruiseControlWithTerminalState | Success | | 0.121 |
AndCrossFromDeeplyNestedStateCase2 | Success | | 0.012 |
EmptyStateMachineTest | Success | | 0.004 |
AndCrossFromDeeplyNestedState | Success | | 0.011 |
ArbitraryExample | Success | | 0.014 |
AdaptiveCruiseControlSystem | Success | | 0.142 |
MultiLevelStateMachineExample | Success | | 0.007 |
FurnaceControlSystem | Success | | 0.071 |
EnhancedBitCounter | Success | | 0.016 |
RoomHeatingSystem | Success | | 0.075 |
CarTransmission | Success | | 0.039 |
OutgoingTransitionOfConcurrentState | Success | | 0.010 |
JavaDataTypes | Success | | 0.008 |
OutgoingTransitionOfConcurrentStateWithAndCross1 | Success | | 0.011 |
BigStateMachineWithNakedTransition | Success | | 0.015 |
concurrentMachineExample | Success | | 0.009 |
InputVariableTest | Success | | 0.007 |
avoidJunitError | Success | | 0.001 |