Name | Status | Type | Time(s) |
[0] ThereAreNoTclTests (RunTclFile) | Success | | 0.008 |
[0] ThereAreNoKnowFailedTests (RunModel) | Success | | 0.002 |
[0] ThereAreNoAutoArchTests (RunModel) | Success | | 0.018 |
[0] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/Monotonicity2WayIfNonmonotonic.xml (RunModel) | Success | | 0.867 |
[1] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityArgumentYMonotonic.xml (RunModel) | Success | | 0.061 |
[2] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityConditionalAntimonotonic.xml (RunModel) | Success | | 0.074 |
[3] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityConditionalMonotonic.xml (RunModel) | Success | | 0.069 |
[4] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityConstantConcept.xml (RunModel) | Success | | 0.045 |
[5] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityDimensionLattice3WayIfMonotonic.xml (RunModel) | Success | | 0.089 |
[6] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityDimensionLattice3WayIfNonmonotonic.xml (RunModel) | Success | | 0.061 |
[7] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityDimensionLattice4WayIfMonotonic.xml (RunModel) | Success | | 0.093 |
[8] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityDimensionLatticeAntimonotonic.xml (RunModel) | Success | | 0.057 |
[9] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityDimensionLatticeIntegratorMonotonic.xml (RunModel) | Success | | 0.093 |
[10] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityIfcBaseCase.xml (RunModel) | Success | | 0.084 |
[11] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityIfcHarderCase.xml (RunModel) | Success | | 0.073 |
[12] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityIfcProblemCase.xml (RunModel) | Success | | 0.104 |
[13] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityRelationalNodeM.xml (RunModel) | Success | | 0.052 |
[14] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicitySimpleIfRow1.xml (RunModel) | Success | | 0.024 |
[15] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicitySimpleIfRow3.xml (RunModel) | Success | | 0.066 |
[16] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicitySimpleIfRow5.xml (RunModel) | Success | | 0.019 |
[17] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicitySingleConstant.xml (RunModel) | Success | | 0.021 |
[18] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicitySingleVariable.xml (RunModel) | Success | | 0.030 |
[19] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/MonotonicityTwoVariable.xml (RunModel) | Success | | 0.047 |
[20] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/ProductLatticeMultiplyDivide.xml (RunModel) | Success | | 0.236 |
[21] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/ProductLatticeMultiplyDivideMODELS.xml (RunModel) | Success | | 0.356 |
[22] /home/travis/build/icyphy/ptII/ptolemy/data/ontologies/demo/MonotonicityAnalysis/test/auto/ProductLatticeMultiplyDivideMODELSwProjections.xml (RunModel) | Success | | 0.577 |