Method buildWorld

src/test/java/pascal/taie/frontend/soot/IRTest.java:39–41

(String mainClass)

    private static final List<String> targets = List.of("AllInOne");

    private static void buildWorld(String mainClass) {
        Main.buildWorld("-pp", "-cp", "src/test/resources/world", "--input-classes", mainClass);
    }

    @Test
    void testBottomType() {