Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
testGoodHeartAAT.vdmrt
Sprache: VDM
|
class Test15
operations
public Test : () ==> ()
Test () == new World("tests/scenarioGoodHeart.arg",<AAI>).Run()
;
end Test15
[ Verzeichnis aufwärts0.24unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|
