Quelle  UnitTestRunner.vdmpp   Sprache: unbekannt

class UnitTestRunner

operations
    public Execute: () ==> ()
           Execute() ==
                def tests: TestSuite = new TestSuite(new UnitTests());
                    result = new TestResult()
                in
                (
                    tests.run(result);
                    IO`println(result.toString());
                );

end UnitTestRunner

quality89%

[ zur Elbe Produktseite wechseln0.11Quellennavigators  Analyse erneut starten  ]