Examples of avrora.stack.Analyzer.run()

avrora.stack.Analyzer.run()
The run() method begins the analysis. The entrypoint of the program with an initial default state serves as the first state to start exploring.

        Analyzer.USE_ISEA = USE_ISEA.get();
        Analyzer.SHOW_PATH = SHOW_PATH.get();
        Analyzer.reserve = new byte[(int)(RESERVE.get() * MEGABYTES)];
        Analyzer a = new Analyzer(p);


        a.run();
        a.report();


        if (DUMP_STATE_SPACE.get())
            a.dump();
    }

View Full Code Here

TOP

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.