Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/EnigmaPP/   (Wiener Entwicklungsmethode ©)  Datei vom 13.4.2020 mit Größe 1 kB image not shown  

Quelle  testDoubleHeartAOO.vdmrt   Sprache: unbekannt

 
class Test6

operations

public Test : () ==> ()
Test () == new World("tests/scenarioDoubleHeart.arg",<AOO>).Run()
;
end Test6

89%


[ Dauer der Verarbeitung: 0.10 Sekunden  (vorverarbeitet)  ]