Fix a bug in PCKBTest

Author: manleviet

pom.xml

@@ -6,7 +6,7 @@
 
     <groupId>at.tugraz.ist.ase</groupId>
     <artifactId>choco-kb</artifactId>
-    <version>1.1.11-dev</version>
+    <version>1.2</version>
     <packaging>jar</packaging>
 
     <properties>
@@ -17,62 +17,13 @@
     </properties>
 
     <dependencies>
-        <dependency>
-            <groupId>at.tugraz.ist.ase</groupId>
-            <artifactId>common</artifactId>
-            <version>1.1.13-dev</version>
-        </dependency>
-
         <dependency>
             <groupId>at.tugraz.ist.ase</groupId>
             <artifactId>fm</artifactId>
-            <version>1.1.9-dev</version>
-        </dependency>
-
-        <dependency>
-            <groupId>org.choco-solver</groupId>
-            <artifactId>choco-solver</artifactId>
-            <version>4.10.6</version>
-        </dependency>
-
-        <dependency>
-            <groupId>com.google.guava</groupId>
-            <artifactId>guava</artifactId>
-            <version>31.0.1-jre</version>
-            <scope>compile</scope>
-        </dependency>
-
-        <dependency>
-            <groupId>org.projectlombok</groupId>
-            <artifactId>lombok</artifactId>
-            <version>1.18.22</version>
-        </dependency>
-
-        <dependency>
-            <groupId>ch.qos.logback</groupId>
-            <artifactId>logback-classic</artifactId>
-            <version>1.2.8</version>
-            <scope>compile</scope>
-        </dependency>
-
-        <dependency>
-            <groupId>org.junit.jupiter</groupId>
-            <artifactId>junit-jupiter</artifactId>
-            <version>5.8.2</version>
-            <scope>compile</scope>
+            <version>1.2</version>
         </dependency>
     </dependencies>
 
-<!--    <build>-->
-<!--        <plugins>-->
-<!--            <plugin>-->
-<!--                <groupId>org.apache.maven.plugins</groupId>-->
-<!--                <artifactId>maven-surefire-plugin</artifactId>-->
-<!--                <version>2.22.0</version>-->
-<!--            </plugin>-->
-<!--        </plugins>-->
-<!--    </build>-->
-
     <distributionManagement>
         <repository>
             <id>github</id>

src/test/java/at/tugraz/ist/ase/knowledgebases/pc/PCKBTest.java

@@ -34,7 +34,7 @@ static void setUp() {
 
     @Test
     void testSomeTestCases() {
-        kb = new PCKB(false);
+        PCKB kb = new PCKB(false);
         Model model = kb.getModelKB();
 
         // pro_freqD=200 -violated