Method test

src/test/java/pascal/taie/analysis/pta/BasicTest.java:39–64

Tests for handling basic pointer analysis statements

(String mainClass)

     * Tests for handling basic pointer analysis statements
     */
    @ParameterizedTest
    @ValueSource(strings = {
            "New",
            "Assign",
            "StoreLoad",
            "Call",
            "Assign2",
            "InstanceField",
            "InstanceField2",
            "CallParamRet",
            "CallField",
            "StaticCall",
            "MergeParam",
            "LinkedQueue",
            "RedBlackBST",
            "MultiReturn",
            "Dispatch",
            "Dispatch2",
            "Interface",
            "Recursion",
            "Cycle",
            "ComplexAssign",
    })
    void test(String mainClass) {
        Tests.testPTA(DIR, mainClass);
    }

}