Test Result : SpecificatopnSlTestCase

0 failures (±0)
41 tests (-123)
Took 2.4 sec.

All Tests

Test nameDurationStatus
ACSSL <examples>23 msPassed
ADTSL <examples>93 msPassed
ATCSL <examples>46 msPassed
AlarmErrSL <examples>15 msPassed
AlarmSL <examples>3 msPassed
BOMSL <examples>9 msPassed
CMSL <examples>20 msPassed
CountryColouringSL <examples>34 msPassed
DFDexampleSL <examples>90 msPassed
DigraphSL <examples>16 msPassed
EngineSL <examples>5 msPassed
LUPSLSL <examples>17 msPassed
MAASL <examples>31 msPassed
NDBSL <examples>5 msPassed
PlannerSL <examples>29 msPassed
ProgLangSL <examples>9 msPassed
SAFERSL <examples>60 msPassed
STVSL <examples>0.13 secPassed
TrackerSL <examples>9 msPassed
barSL <examples>17 msPassed
cashdispenserSL <examples>5 msPassed
crosswordSL <examples>8 msPassed
dwarfSL <examples>37 msPassed
expressSL <examples>0.83 secPassed
gatewaySL <examples>6 msPassed
graphedSL <examples>0.1 secPassed
hotelSL <examples>22 msPassed
librarySL <examples>36 msPassed
looseSL <examples>36 msPassed
metroSL <examples>17 msPassed
monitorSL <examples>2 msPassed
newspeakSL <examples>0.27 secPassed
pacemakerSL <examples>22 msPassed
raildirSL <examples>0.28 secPassed
realmSL <examples>34 msPassed
recursiveSL <examples>16 msPassed
shmemSL <examples>26 msPassed
simulatorSL <examples>15 msPassed
soccerSL <examples>10 msPassed
telephoneSL <examples>5 msPassed
trafficSL <examples>29 msPassed