Method test

src/test/java/pascal/taie/analysis/pta/ExceptionTest.java:34–43

(String mainClass)

    private static final String DIR = "exception";

    @ParameterizedTest
    @ValueSource(strings = {
            "ExceptionCircle",
            "ExceptionCircleAndRecursion",
            "ExceptionNoneCaught",
            "ExceptionTreeAndRecursion",
    })
    void test(String mainClass) {
        Tests.testPTA(DIR, mainClass);
    }

    @Test
    void testExceptionFromClinit() {