TestClassInfo

package demo.conformanceChecker;

import java.io.File;

import gov.nasa.jpf.Config;
import gov.nasa.jpf.JPF;
import gov.nasa.jpf.JPFClassLoader;
import gov.nasa.jpf.classfile.ClassFile;
import gov.nasa.jpf.classfile.ClassFileException;
import gov.nasa.jpf.jvm.ClassInfo;
import gov.nasa.jpf.tool.RunTest;

public class Test {

  public static void main(String[] args) throws ClassFileException {

    File file = new File("bin_A/java/util/Random.class");
    ClassFile classFile = new ClassFile(file);
    ClassInfo info = new ClassInfo(classFile, 1);

    System.out.println(info);

  }

}