Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
testDoubleHeartAAT.vdmrt
Sprache: VDM
|
class Test7
operations
public Test : () ==> ()
Test () == new World("tests/scenarioDoubleHeart.arg",<DDD>).Run()
;
end Test7
[ zur Elbe Produktseite wechseln0.16Quellennavigators
Analyse erneut starten
]
|
