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