Package org.rascalmpl.library.cobra

Examples of org.rascalmpl.library.cobra.QuickCheck$InstanceHolder


      if (test.hasTag("ignore") || test.hasTag("Ignore") || test.hasTag("ignoreInterpreter") || test.hasTag("IgnoreInterpreter")) {
        continue;
      }

      try{
        QuickCheck qc = QuickCheck.getInstance();
        StringWriter sw = new StringWriter();
        PrintWriter out = new PrintWriter(sw);
        int maxDepth = Cobra.readIntTag(test, Cobra.MAXDEPTH, 5);
        int tries = Cobra.readIntTag(test, Cobra.TRIES, 500);

        boolean result = qc.quickcheck(test, maxDepth, tries, false, out);
        if (!result) {
          out.flush();
          testResultListener.report(false, test.getName(), test.getAst().getLocation(), sw.getBuffer()
              .toString(), null);
        } else {
View Full Code Here

TOP

Related Classes of org.rascalmpl.library.cobra.QuickCheck$InstanceHolder

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.