Package gov.nasa.jpf.conformanceChecker.reporters

Examples of gov.nasa.jpf.conformanceChecker.reporters.SimpleCmdLineReporter


 
  public static void main(String[] args) {
    ProviderFactory.init(JPF.createConfig(args));
    ClassInfo cls = new ModelClassProvider().loadClassInfo("java.lang.System");
    MissingNativePeerChecker mnpc = new MissingNativePeerChecker();
    SimpleCmdLineReporter reporter = new SimpleCmdLineReporter(JPF.createConfig(args));
    mnpc.registerReporter(reporter);
    System.out.println(mnpc.check(cls));
  }
View Full Code Here


  public static void main(String[] args) {
    ProviderFactory.init(JPF.createConfig(args));
    logger.setLevel(Level.ALL);
    ClassInfo cls = new ModelClassProvider().loadClassInfo("java.lang.System");
    OrphanNativePeerChecker onpc = new OrphanNativePeerChecker();
    SimpleCmdLineReporter reporter = new SimpleCmdLineReporter(JPF.createConfig(args));
    onpc.registerReporter(reporter);
    System.out.println(onpc.check(cls));
  }
View Full Code Here

TOP

Related Classes of gov.nasa.jpf.conformanceChecker.reporters.SimpleCmdLineReporter

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.