Test Result : SpecificatopnSlTestCase

0 failures (±0)
123 tests (+82)
Took 4.9 sec.

All Tests

Test nameDurationStatus
Package core / ACSSL <examples>18 msPassed
ACSSL <examples>18 msPassed
Install IDE / ACSSL <examples>16 msPassed
Package core / ADTSL <examples>44 msPassed
Install IDE / ADTSL <examples>53 msPassed
ADTSL <examples>44 msPassed
Package core / ATCSL <examples>37 msPassed
Install IDE / ATCSL <examples>36 msPassed
ATCSL <examples>37 msPassed
Package core / AlarmErrSL <examples>6 msPassed
AlarmErrSL <examples>6 msPassed
Install IDE / AlarmErrSL <examples>6 msPassed
Package core / AlarmSL <examples>4 msPassed
Install IDE / AlarmSL <examples>4 msPassed
AlarmSL <examples>4 msPassed
Package core / BOMSL <examples>4 msPassed
Install IDE / BOMSL <examples>3 msPassed
BOMSL <examples>4 msPassed
Package core / CMSL <examples>7 msPassed
CMSL <examples>7 msPassed
Install IDE / CMSL <examples>6 msPassed
Package core / CountryColouringSL <examples>25 msPassed
CountryColouringSL <examples>25 msPassed
Install IDE / CountryColouringSL <examples>6 msPassed
Package core / DFDexampleSL <examples>95 msPassed
DFDexampleSL <examples>95 msPassed
Install IDE / DFDexampleSL <examples>76 msPassed
Package core / DigraphSL <examples>10 msPassed
Install IDE / DigraphSL <examples>8 msPassed
DigraphSL <examples>10 msPassed
Package core / EngineSL <examples>3 msPassed
Install IDE / EngineSL <examples>4 msPassed
EngineSL <examples>3 msPassed
LUPSLSL <examples>7 msPassed
Package core / LUPSLSL <examples>7 msPassed
Install IDE / LUPSLSL <examples>7 msPassed
Install IDE / MAASL <examples>18 msPassed
Package core / MAASL <examples>18 msPassed
MAASL <examples>18 msPassed
Install IDE / NDBSL <examples>5 msPassed
NDBSL <examples>4 msPassed
Package core / NDBSL <examples>4 msPassed
Package core / PlannerSL <examples>34 msPassed
PlannerSL <examples>34 msPassed
Install IDE / PlannerSL <examples>40 msPassed
Package core / ProgLangSL <examples>11 msPassed
Install IDE / ProgLangSL <examples>12 msPassed
ProgLangSL <examples>11 msPassed
SAFERSL <examples>31 msPassed
Install IDE / SAFERSL <examples>36 msPassed
Package core / SAFERSL <examples>31 msPassed
STVSL <examples>95 msPassed
Package core / STVSL <examples>95 msPassed
Install IDE / STVSL <examples>0.12 secPassed
Install IDE / TrackerSL <examples>9 msPassed
Package core / TrackerSL <examples>24 msPassed
TrackerSL <examples>24 msPassed
Install IDE / barSL <examples>15 msPassed
Package core / barSL <examples>20 msPassed
barSL <examples>20 msPassed
Install IDE / cashdispenserSL <examples>4 msPassed
cashdispenserSL <examples>5 msPassed
Package core / cashdispenserSL <examples>5 msPassed
Install IDE / crosswordSL <examples>10 msPassed
Package core / crosswordSL <examples>9 msPassed
crosswordSL <examples>9 msPassed
Package core / dwarfSL <examples>21 msPassed
dwarfSL <examples>21 msPassed
Install IDE / dwarfSL <examples>20 msPassed
expressSL <examples>0.54 secPassed
Install IDE / expressSL <examples>0.58 secPassed
Package core / expressSL <examples>0.54 secPassed
gatewaySL <examples>3 msPassed
Install IDE / gatewaySL <examples>3 msPassed
Package core / gatewaySL <examples>3 msPassed
graphedSL <examples>92 msPassed
Package core / graphedSL <examples>92 msPassed
Install IDE / graphedSL <examples>90 msPassed
Install IDE / hotelSL <examples>7 msPassed
Package core / hotelSL <examples>9 msPassed
hotelSL <examples>9 msPassed
Install IDE / librarySL <examples>18 msPassed
Package core / librarySL <examples>22 msPassed
librarySL <examples>22 msPassed
Package core / looseSL <examples>23 msPassed
looseSL <examples>23 msPassed
Install IDE / looseSL <examples>20 msPassed
Install IDE / metroSL <examples>6 msPassed
Package core / metroSL <examples>5 msPassed
metroSL <examples>5 msPassed
monitorSL <examples>3 msPassed
Package core / monitorSL <examples>3 msPassed
Install IDE / monitorSL <examples>3 msPassed
newspeakSL <examples>0.19 secPassed
Package core / newspeakSL <examples>0.19 secPassed
Install IDE / newspeakSL <examples>0.19 secPassed
Package core / pacemakerSL <examples>12 msPassed
pacemakerSL <examples>12 msPassed
Install IDE / pacemakerSL <examples>11 msPassed
Install IDE / raildirSL <examples>0.13 secPassed
Package core / raildirSL <examples>0.11 secPassed
raildirSL <examples>0.11 secPassed
Package core / realmSL <examples>13 msPassed
Install IDE / realmSL <examples>12 msPassed
realmSL <examples>13 msPassed
Install IDE / recursiveSL <examples>5 msPassed
Package core / recursiveSL <examples>4 msPassed
recursiveSL <examples>4 msPassed
Install IDE / shmemSL <examples>12 msPassed
shmemSL <examples>13 msPassed
Package core / shmemSL <examples>13 msPassed
Package core / simulatorSL <examples>19 msPassed
Install IDE / simulatorSL <examples>21 msPassed
simulatorSL <examples>19 msPassed
Install IDE / soccerSL <examples>5 msPassed
Package core / soccerSL <examples>6 msPassed
soccerSL <examples>6 msPassed
Install IDE / telephoneSL <examples>7 msPassed
telephoneSL <examples>7 msPassed
Package core / telephoneSL <examples>7 msPassed
Install IDE / trafficSL <examples>16 msPassed
Package core / trafficSL <examples>14 msPassed
trafficSL <examples>14 msPassed