Method executePlan

src/main/java/pascal/taie/Main.java:152–154

(Plan plan)

    }

    private static void executePlan(Plan plan) {
        new AnalysisManager(plan).execute();
    }
}