Method testMain

src/test/java/pascal/taie/analysis/Tests.java:81–84

Starts an analysis for a specific test case. Requires a main method in the given class. @param mainClass the main class to be analyzed @param classPath where the main class is located @param id ID of the analysis to be executed @param opts options for the analysis

(String mainClass, String classPath,
                                String id, String... opts)

     * @param opts      options for the analysis
     */
    public static void testMain(String mainClass, String classPath,
                                String id, String... opts) {
        test(mainClass, true, classPath, id, opts);
    }

    /**
     * Starts an analysis for a specific test case.