Name | Status | Type | Time(s) |
[0] ThereAreNoTclTests (RunTclFile) | Success | | 0.011 |
[0] ThereAreNoKnowFailedTests (RunModel) | Success | | 0.003 |
[0] ThereAreNoAutoArchTests (RunModel) | Success | | 0.020 |
[0] /home/travis/build/icyphy/ptII/doc/books/systems/pn/test/auto/Barrier.xml (RunModel) | Success | | 14.350 |
[1] /home/travis/build/icyphy/ptII/doc/books/systems/pn/test/auto/HammingNumbers.xml (RunModel) | Success | | 3.229 |
[2] /home/travis/build/icyphy/ptII/doc/books/systems/pn/test/auto/RendezvousMerge.xml (RunModel) | Success | | 0.111 |
[3] /home/travis/build/icyphy/ptII/doc/books/systems/pn/test/auto/RendezvousOrderedMerge.xml (RunModel) | Success | | 0.113 |
[4] /home/travis/build/icyphy/ptII/doc/books/systems/pn/test/auto/SensorModel.xml (RunModel) | Success | | 2.048 |
[5] /home/travis/build/icyphy/ptII/doc/books/systems/pn/test/auto/WriteRegulator.xml (RunModel) | Success | | 5.871 |