Test Result : SpecificatopnSlTestCase

0 failures (±0)
164 tests (±0)
Took 5.7 sec.

All Tests

Test nameDurationStatus
ACSSL <examples>19 msPassed
ACSSL <examples>19 msPassed
ACSSL <examples>19 msPassed
ACSSL <examples>19 msPassed
ADTSL <examples>39 msPassed
ADTSL <examples>39 msPassed
ADTSL <examples>39 msPassed
ADTSL <examples>39 msPassed
ATCSL <examples>34 msPassed
ATCSL <examples>37 msPassed
ATCSL <examples>34 msPassed
ATCSL <examples>37 msPassed
AlarmErrSL <examples>4 msPassed
AlarmErrSL <examples>4 msPassed
AlarmErrSL <examples>5 msPassed
AlarmErrSL <examples>5 msPassed
AlarmSL <examples>3 msPassed
AlarmSL <examples>3 msPassed
AlarmSL <examples>3 msPassed
AlarmSL <examples>3 msPassed
BOMSL <examples>3 msPassed
BOMSL <examples>3 msPassed
BOMSL <examples>3 msPassed
BOMSL <examples>3 msPassed
CMSL <examples>6 msPassed
CMSL <examples>8 msPassed
CMSL <examples>8 msPassed
CMSL <examples>6 msPassed
CountryColouringSL <examples>7 msPassed
CountryColouringSL <examples>5 msPassed
CountryColouringSL <examples>7 msPassed
CountryColouringSL <examples>5 msPassed
DFDexampleSL <examples>52 msPassed
DFDexampleSL <examples>52 msPassed
DFDexampleSL <examples>55 msPassed
DFDexampleSL <examples>55 msPassed
DigraphSL <examples>7 msPassed
DigraphSL <examples>7 msPassed
DigraphSL <examples>6 msPassed
DigraphSL <examples>6 msPassed
EngineSL <examples>3 msPassed
EngineSL <examples>3 msPassed
EngineSL <examples>3 msPassed
EngineSL <examples>3 msPassed
LUPSLSL <examples>5 msPassed
LUPSLSL <examples>5 msPassed
LUPSLSL <examples>5 msPassed
LUPSLSL <examples>5 msPassed
MAASL <examples>17 msPassed
MAASL <examples>17 msPassed
MAASL <examples>16 msPassed
MAASL <examples>16 msPassed
NDBSL <examples>4 msPassed
NDBSL <examples>4 msPassed
NDBSL <examples>4 msPassed
NDBSL <examples>4 msPassed
PlannerSL <examples>25 msPassed
PlannerSL <examples>58 msPassed
PlannerSL <examples>58 msPassed
PlannerSL <examples>25 msPassed
ProgLangSL <examples>7 msPassed
ProgLangSL <examples>9 msPassed
ProgLangSL <examples>9 msPassed
ProgLangSL <examples>7 msPassed
SAFERSL <examples>28 msPassed
SAFERSL <examples>27 msPassed
SAFERSL <examples>28 msPassed
SAFERSL <examples>27 msPassed
STVSL <examples>0.11 secPassed
STVSL <examples>0.11 secPassed
STVSL <examples>80 msPassed
STVSL <examples>80 msPassed
TrackerSL <examples>6 msPassed
TrackerSL <examples>5 msPassed
TrackerSL <examples>6 msPassed
TrackerSL <examples>5 msPassed
barSL <examples>17 msPassed
barSL <examples>17 msPassed
barSL <examples>15 msPassed
barSL <examples>15 msPassed
cashdispenserSL <examples>4 msPassed
cashdispenserSL <examples>4 msPassed
cashdispenserSL <examples>4 msPassed
cashdispenserSL <examples>4 msPassed
crosswordSL <examples>14 msPassed
crosswordSL <examples>14 msPassed
crosswordSL <examples>5 msPassed
crosswordSL <examples>5 msPassed
dwarfSL <examples>17 msPassed
dwarfSL <examples>17 msPassed
dwarfSL <examples>19 msPassed
dwarfSL <examples>19 msPassed
expressSL <examples>0.45 secPassed
expressSL <examples>0.57 secPassed
expressSL <examples>0.45 secPassed
expressSL <examples>0.57 secPassed
gatewaySL <examples>2 msPassed
gatewaySL <examples>3 msPassed
gatewaySL <examples>3 msPassed
gatewaySL <examples>2 msPassed
graphedSL <examples>49 msPassed
graphedSL <examples>80 msPassed
graphedSL <examples>49 msPassed
graphedSL <examples>80 msPassed
hotelSL <examples>7 msPassed
hotelSL <examples>7 msPassed
hotelSL <examples>9 msPassed
hotelSL <examples>9 msPassed
librarySL <examples>15 msPassed
librarySL <examples>16 msPassed
librarySL <examples>16 msPassed
librarySL <examples>15 msPassed
looseSL <examples>25 msPassed
looseSL <examples>25 msPassed
looseSL <examples>23 msPassed
looseSL <examples>23 msPassed
metroSL <examples>5 msPassed
metroSL <examples>5 msPassed
metroSL <examples>4 msPassed
metroSL <examples>4 msPassed
monitorSL <examples>2 msPassed
monitorSL <examples>2 msPassed
monitorSL <examples>5 msPassed
monitorSL <examples>5 msPassed
newspeakSL <examples>0.18 secPassed
newspeakSL <examples>0.18 secPassed
newspeakSL <examples>0.15 secPassed
newspeakSL <examples>0.15 secPassed
pacemakerSL <examples>9 msPassed
pacemakerSL <examples>8 msPassed
pacemakerSL <examples>8 msPassed
pacemakerSL <examples>9 msPassed
raildirSL <examples>0.15 secPassed
raildirSL <examples>0.15 secPassed
raildirSL <examples>88 msPassed
raildirSL <examples>88 msPassed
realmSL <examples>12 msPassed
realmSL <examples>12 msPassed
realmSL <examples>12 msPassed
realmSL <examples>12 msPassed
recursiveSL <examples>4 msPassed
recursiveSL <examples>4 msPassed
recursiveSL <examples>4 msPassed
recursiveSL <examples>4 msPassed
shmemSL <examples>8 msPassed
shmemSL <examples>6 msPassed
shmemSL <examples>8 msPassed
shmemSL <examples>6 msPassed
simulatorSL <examples>15 msPassed
simulatorSL <examples>18 msPassed
simulatorSL <examples>15 msPassed
simulatorSL <examples>18 msPassed
soccerSL <examples>5 msPassed
soccerSL <examples>5 msPassed
soccerSL <examples>5 msPassed
soccerSL <examples>5 msPassed
telephoneSL <examples>6 msPassed
telephoneSL <examples>6 msPassed
telephoneSL <examples>6 msPassed
telephoneSL <examples>6 msPassed
trafficSL <examples>10 msPassed
trafficSL <examples>22 msPassed
trafficSL <examples>22 msPassed
trafficSL <examples>10 msPassed