Method testInput

src/test/java/pascal/taie/analysis/Tests.java:95–98

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

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

     * @param opts       options for the analysis
     */
    public static void testInput(String inputClass, String classPath,
                                 String id, String... opts) {
        test(inputClass, false, classPath, id, opts);
    }

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