Method test

src/test/java/pascal/taie/analysis/pta/LambdaTest.java:35–47

(String mainClass)

    private static final String ARG = "handle-invokedynamic:true";

    @ParameterizedTest
    @ValueSource(strings = {
            "Args",
            "LambdaConstructor",
            "LambdaInstanceMethod",
            "LambdaStaticMethod",
            "ImpreciseLambdas",
            "DispatchBugDueToLackOfSubclassCheck",
            "NativeModelWithLambda",
    })
    void test(String mainClass) {
        Tests.testPTA(DIR, mainClass, ARG);
    }

}