/** * 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.0 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
