Method testPTA

src/test/java/pascal/taie/analysis/Tests.java:149–151

(String dir, String main, String... opts)

    }

    public static void testPTA(String dir, String main, String... opts) {
        testPTA(true, dir, main, opts);
    }

    public static void testPTA(boolean processResult, String dir, String main, String... opts) {
        String id = PointerAnalysis.ID;