| Name | Status | Type | Time(s) |
| [0] ThereAreNoTclTests (RunTclFile) | Success | | 0.008 |
| [0] ThereAreNoKnowFailedTests (RunModel) | Success | | 0.003 |
| [0] ThereAreNoAutoArchTests (RunModel) | Success | | 0.021 |
| [0] /home/travis/build/icyphy/ptII/doc/books/systems/synchronous/test/auto/Counter.xml (RunModel) | Success | | 0.470 |
| [1] /home/travis/build/icyphy/ptII/doc/books/systems/synchronous/test/auto/CounterWithPre.xml (RunModel) | Success | | 0.139 |
| [2] /home/travis/build/icyphy/ptII/doc/books/systems/synchronous/test/auto/GuardedCount.xml (RunModel) | Success | | 0.153 |
| [3] /home/travis/build/icyphy/ptII/doc/books/systems/synchronous/test/auto/IfThenElseSR.xml (RunModel) | Success | | 0.087 |
| [4] /home/travis/build/icyphy/ptII/doc/books/systems/synchronous/test/auto/MalikAcyclic.xml (RunModel) | Success | | 0.073 |
| [5] /home/travis/build/icyphy/ptII/doc/books/systems/synchronous/test/auto/MalikCyclic.xml (RunModel) | Success | | 0.055 |
| [6] /home/travis/build/icyphy/ptII/doc/books/systems/synchronous/test/auto/NonConstructive.xml (RunModel) | Success | | 0.062 |
| [7] /home/travis/build/icyphy/ptII/doc/books/systems/synchronous/test/auto/NonStrictAndInLoop.xml (RunModel) | Success | | 0.033 |
| [8] /home/travis/build/icyphy/ptII/doc/books/systems/synchronous/test/auto/NotInLoop.xml (RunModel) | Success | | 0.013 |
| [9] /home/travis/build/icyphy/ptII/doc/books/systems/synchronous/test/auto/PeriodicController.xml (RunModel) | Success | | 0.723 |
| [10] /home/travis/build/icyphy/ptII/doc/books/systems/synchronous/test/auto/PlaceHolderBecauseSynchronousHasNoTestsYet.xml (RunModel) | Success | | 1.132 |
| [11] /home/travis/build/icyphy/ptII/doc/books/systems/synchronous/test/auto/ScaleInLoop.xml (RunModel) | Success | | 0.037 |