products/Sources/formale Sprachen/PVS/summaries/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: TestAll.vdmpp   Sprache: Unknown

/**
 * 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.1 Sekunden  (vorverarbeitet)  ]