Name | Status | Type | Time(s) |
[0] ThereAreNoTclTests (RunTclFile) | Success | | 0.008 |
[0] ThereAreNoKnowFailedTests (RunModel) | Success | | 0.004 |
[0] ThereAreNoAutoArchTests (RunModel) | Success | | 0.017 |
[0] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/ABCROFlat_SA.xml (RunModel) | Success | | 0.740 |
[1] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/ABCROHierarchicalTermination.xml (RunModel) | Success | | 0.276 |
[2] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/ABCROHierarchical_SA.xml (RunModel) | Success | | 0.281 |
[3] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/ABROFlat_SA.xml (RunModel) | Success | | 0.134 |
[4] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/ABROFlat_SA_BruteForce.xml (RunModel) | Success | | 0.110 |
[5] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/ABROHierarchicalTermination.xml (RunModel) | Success | | 0.157 |
[6] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/ABROHierarchical_SA.xml (RunModel) | Success | | 0.128 |
[7] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/CapriciousThermostat.xml (RunModel) | Success | | 0.246 |
[8] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/ExtendedFSM.xml (RunModel) | Success | | 0.049 |
[9] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/FinalStates.xml (RunModel) | Success | | 0.033 |
[10] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/FinalStatesImmediate.xml (RunModel) | Success | | 0.044 |
[11] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/FinalStatesReset.xml (RunModel) | Success | | 0.040 |
[12] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/FinalStatesResetDefault.xml (RunModel) | Success | | 0.033 |
[13] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/FixedPointFSM.xml (RunModel) | Success | | 0.064 |
[14] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/HierarchicalFSM.xml (RunModel) | Success | | 0.182 |
[15] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/HierarchicalFSM_Flattened.xml (RunModel) | Success | | 0.112 |
[16] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/Hysteresis.xml (RunModel) | Success | | 0.099 |
[17] /home/travis/build/icyphy/ptII/doc/books/systems/fsm/test/auto/HysteresisWithDefault.xml (RunModel) | Success | | 0.100 |