Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: TIV_E.vdmpp Sprache: VDM

Original von: VDM^©

/**
* Execute all of the VDMUnit tests.
*/
class TestAll
operations
public Run: () ==> ()
Run() ==
  let ts : TestSuite = new TestSuite(),
   result = new TestResult()
  in
  (
   ts.addTest(new TypeTests());
   ts.addTest(new StableTests());
   ts.run(result);
   IO`println(result.toString());
  );

end TestAll

¤ Dauer der Verarbeitung: 0.18 Sekunden (vorverarbeitet) ¤

Kontakt Drucken
Kontakt sprechenden Kalenders
Eigene Datei ansehen

schauen Sie vor die Tür

Fenster

Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.