Test Result : SpecificatopnSlTestCase

0 failures
41 tests
Took 2 sec.

All Tests

Test nameDurationStatus
ACSSL <examples>44 msPassed
ADTSL <examples>66 msPassed
ATCSL <examples>30 msPassed
AlarmErrSL <examples>34 msPassed
AlarmSL <examples>5 msPassed
BOMSL <examples>3 msPassed
CMSL <examples>21 msPassed
CountryColouringSL <examples>6 msPassed
DFDexampleSL <examples>71 msPassed
DigraphSL <examples>9 msPassed
EngineSL <examples>4 msPassed
LUPSLSL <examples>5 msPassed
MAASL <examples>14 msPassed
NDBSL <examples>5 msPassed
PlannerSL <examples>26 msPassed
ProgLangSL <examples>17 msPassed
SAFERSL <examples>46 msPassed
STVSL <examples>0.11 secPassed
TrackerSL <examples>23 msPassed
barSL <examples>40 msPassed
cashdispenserSL <examples>4 msPassed
crosswordSL <examples>6 msPassed
dwarfSL <examples>28 msPassed
expressSL <examples>0.68 secPassed
gatewaySL <examples>3 msPassed
graphedSL <examples>57 msPassed
hotelSL <examples>10 msPassed
librarySL <examples>15 msPassed
looseSL <examples>39 msPassed
metroSL <examples>17 msPassed
monitorSL <examples>3 msPassed
newspeakSL <examples>0.32 secPassed
pacemakerSL <examples>8 msPassed
raildirSL <examples>0.12 secPassed
realmSL <examples>33 msPassed
recursiveSL <examples>17 msPassed
shmemSL <examples>25 msPassed
simulatorSL <examples>57 msPassed
soccerSL <examples>21 msPassed
telephoneSL <examples>20 msPassed
trafficSL <examples>16 msPassed