Fix the k-value setup for the CustomEntryPoint testcase

Author: zhangt2333

src/test/java/pascal/taie/analysis/pta/CustomEntryPointPlugin.java

@@ -73,7 +73,7 @@ public void onStart() {
         JMethod declaredParam2 = clz.getDeclaredMethod("entryWithDeclaredParam2");
         assert declaredParam2 != null;
         solver.addEntryPoint(new EntryPoint(
-                declaredParam2, new DeclaredParamProvider(declaredParam2, heapModel, 2)));
+                declaredParam2, new DeclaredParamProvider(declaredParam2, heapModel, 1)));
 
         JMethod specifiedParam = clz.getDeclaredMethod("entryWithSpecifiedParam");
         assert specifiedParam != null;

src/test/resources/pta/entrypoint/CustomEntryPoints.java

@@ -16,7 +16,7 @@ public static void entryWithDeclaredParam1(Param1 p1, Param1[] p1s) {
     public static void entryWithDeclaredParam2(Param2 p2) {
         String s1 = p2.getS1(); // Param2.getS1 is reachable
         Param1 p1 = p2.getP1(); // p1 is not null if k >= 1
-        String s2 = p1.getS2(); // Param1.getS2 is reachable if k >= 2
+        String s2 = p1.getS2(); // Param1.getS2 is reachable if k >= 1
     }
 
     // instance entrypoint with specified parameters