Examples of avrora.stack.Analyzer.report()

avrora.stack.Analyzer.report()
The report() method generates a textual report after the analysis has been completed. It reports information about states, reachable states, time for analysis, and of course, the maximum stack size for the program.

        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.