Name | Status | Type | Time(s) |
CourseSectionNested | Success | | 0.027 |
AndCrossExample | Success | | 0.011 |
SingleLaneBridge | Success | | 0.106 |
SingleEventMachine | Success | | 0.007 |
AbstractConcurrentSystem | Success | | 0.008 |
AbstractMachine | Success | | 0.004 |
DigitalWatchFlat | Success | | 0.022 |
nestedConcurrentMachine | Success | | 0.008 |
MultiLevelStateMachineExampleCase2 | Success | | 0.005 |
GrantApplication | Success | | 0.016 |
ExampleFile | Success | | 0.006 |
NestedMachine | Success | | 0.006 |
SimpleCaseOfNondeterminism | Success | | 0.005 |
myTemporaryTest | Success | | 0.043 |
NestedWatch | Success | | 0.026 |
BigStateMachineTest | Success | | 0.016 |
File | Skipped | N/A
| 0.000 |
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.099 |
AndCrossFromDeeplyNestedStateCase2 | Success | | 0.011 |
EmptyStateMachineTest | Success | | 0.003 |
AndCrossFromDeeplyNestedState | Success | | 0.009 |
ArbitraryExample | Success | | 0.012 |
AdaptiveCruiseControlSystem | Success | | 0.142 |
MultiLevelStateMachineExample | Success | | 0.006 |
FurnaceControlSystem | Success | | 0.041 |
EnhancedBitCounter | Success | | 0.011 |
RoomHeatingSystem | Success | | 0.076 |
CarTransmission | Success | | 0.043 |
OutgoingTransitionOfConcurrentState | Success | | 0.009 |
JavaDataTypes | Success | | 0.007 |
OutgoingTransitionOfConcurrentStateWithAndCross1 | Success | | 0.008 |
BigStateMachineWithNakedTransition | Success | | 0.014 |
concurrentMachineExample | Success | | 0.008 |
InputVariableTest | Success | | 0.007 |
avoidJunitError | Success | | 0.002 |