Test Result : SpecificatopnSlTestCase

0 failures (±0)
123 tests (±0)
Took 5.2 sec.

All Tests

Test nameDurationStatus
Package core / ACSSL <examples>15 msPassed
Install IDE / ACSSL <examples>18 msPassed
ACSSL <examples>15 msPassed
ADTSL <examples>59 msPassed
Package core / ADTSL <examples>59 msPassed
Install IDE / ADTSL <examples>40 msPassed
Install IDE / ATCSL <examples>44 msPassed
ATCSL <examples>44 msPassed
Package core / ATCSL <examples>44 msPassed
Install IDE / AlarmErrSL <examples>5 msPassed
Package core / AlarmErrSL <examples>9 msPassed
AlarmErrSL <examples>9 msPassed
AlarmSL <examples>6 msPassed
Package core / AlarmSL <examples>6 msPassed
Install IDE / AlarmSL <examples>5 msPassed
BOMSL <examples>5 msPassed
Package core / BOMSL <examples>5 msPassed
Install IDE / BOMSL <examples>4 msPassed
Install IDE / CMSL <examples>8 msPassed
Package core / CMSL <examples>7 msPassed
CMSL <examples>7 msPassed
Package core / CountryColouringSL <examples>30 msPassed
Install IDE / CountryColouringSL <examples>33 msPassed
CountryColouringSL <examples>30 msPassed
Package core / DFDexampleSL <examples>31 msPassed
DFDexampleSL <examples>31 msPassed
Install IDE / DFDexampleSL <examples>71 msPassed
Package core / DigraphSL <examples>11 msPassed
DigraphSL <examples>11 msPassed
Install IDE / DigraphSL <examples>10 msPassed
Install IDE / EngineSL <examples>4 msPassed
EngineSL <examples>5 msPassed
Package core / EngineSL <examples>5 msPassed
Install IDE / LUPSLSL <examples>7 msPassed
Package core / LUPSLSL <examples>10 msPassed
LUPSLSL <examples>10 msPassed
Install IDE / MAASL <examples>16 msPassed
Package core / MAASL <examples>22 msPassed
MAASL <examples>22 msPassed
Package core / NDBSL <examples>32 msPassed
Install IDE / NDBSL <examples>5 msPassed
NDBSL <examples>32 msPassed
Install IDE / PlannerSL <examples>34 msPassed
Package core / PlannerSL <examples>24 msPassed
PlannerSL <examples>24 msPassed
ProgLangSL <examples>15 msPassed
Install IDE / ProgLangSL <examples>11 msPassed
Package core / ProgLangSL <examples>15 msPassed
Install IDE / SAFERSL <examples>30 msPassed
SAFERSL <examples>39 msPassed
Package core / SAFERSL <examples>39 msPassed
STVSL <examples>61 msPassed
Install IDE / STVSL <examples>0.1 secPassed
Package core / STVSL <examples>61 msPassed
Package core / TrackerSL <examples>3 msPassed
Install IDE / TrackerSL <examples>8 msPassed
TrackerSL <examples>3 msPassed
barSL <examples>10 msPassed
Package core / barSL <examples>10 msPassed
Install IDE / barSL <examples>22 msPassed
Package core / cashdispenserSL <examples>7 msPassed
cashdispenserSL <examples>7 msPassed
Install IDE / cashdispenserSL <examples>5 msPassed
crosswordSL <examples>11 msPassed
Install IDE / crosswordSL <examples>12 msPassed
Package core / crosswordSL <examples>11 msPassed
Install IDE / dwarfSL <examples>20 msPassed
Package core / dwarfSL <examples>26 msPassed
dwarfSL <examples>26 msPassed
expressSL <examples>0.71 secPassed
Package core / expressSL <examples>0.71 secPassed
Install IDE / expressSL <examples>0.52 secPassed
Install IDE / gatewaySL <examples>3 msPassed
Package core / gatewaySL <examples>5 msPassed
gatewaySL <examples>5 msPassed
Install IDE / graphedSL <examples>82 msPassed
Package core / graphedSL <examples>48 msPassed
graphedSL <examples>48 msPassed
hotelSL <examples>7 msPassed
Package core / hotelSL <examples>7 msPassed
Install IDE / hotelSL <examples>9 msPassed
Package core / librarySL <examples>26 msPassed
librarySL <examples>26 msPassed
Install IDE / librarySL <examples>19 msPassed
looseSL <examples>32 msPassed
Package core / looseSL <examples>32 msPassed
Install IDE / looseSL <examples>24 msPassed
Install IDE / metroSL <examples>5 msPassed
Package core / metroSL <examples>8 msPassed
metroSL <examples>8 msPassed
Package core / monitorSL <examples>5 msPassed
Install IDE / monitorSL <examples>3 msPassed
monitorSL <examples>5 msPassed
Package core / newspeakSL <examples>0.3 secPassed
Install IDE / newspeakSL <examples>0.18 secPassed
newspeakSL <examples>0.3 secPassed
Install IDE / pacemakerSL <examples>11 msPassed
pacemakerSL <examples>17 msPassed
Package core / pacemakerSL <examples>17 msPassed
Install IDE / raildirSL <examples>0.12 secPassed
Package core / raildirSL <examples>0.11 secPassed
raildirSL <examples>0.11 secPassed
Package core / realmSL <examples>18 msPassed
realmSL <examples>18 msPassed
Install IDE / realmSL <examples>14 msPassed
Package core / recursiveSL <examples>7 msPassed
Install IDE / recursiveSL <examples>5 msPassed
recursiveSL <examples>7 msPassed
shmemSL <examples>5 msPassed
Package core / shmemSL <examples>5 msPassed
Install IDE / shmemSL <examples>11 msPassed
Install IDE / simulatorSL <examples>20 msPassed
simulatorSL <examples>24 msPassed
Package core / simulatorSL <examples>24 msPassed
Package core / soccerSL <examples>8 msPassed
soccerSL <examples>8 msPassed
Install IDE / soccerSL <examples>8 msPassed
Install IDE / telephoneSL <examples>8 msPassed
telephoneSL <examples>4 msPassed
Package core / telephoneSL <examples>4 msPassed
Package core / trafficSL <examples>10 msPassed
trafficSL <examples>10 msPassed
Install IDE / trafficSL <examples>12 msPassed