Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
testBrokenHeartAAI.vdmrt
Sprache: Unknown
|
class Test4
operations
public Test : () ==> ()
Test () == new World("tests/scenarioBrokenHeart.arg",<AAI>).Run()
;
end Test4
[ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
]
|
|
