Update build.gradle

Author: aosen-xiong

build.gradle

@@ -49,13 +49,13 @@ dependencies {
     implementation fileTree(dir: "${cfPath}/checker/dist", include: "checker.jar")
     implementation fileTree(dir: "${cfiPath}/dist", include: "checker-framework-inference.jar")
     // sat4j solver dependency
-    implementation 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.5'
-    implementation 'org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.5'
+    implementation 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.6'
+    implementation 'org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.6'
     // The production code uses the SLF4J logging API at compile time
     implementation 'org.slf4j:slf4j-api:1.7.29'
     // CF test lib dependency
     testImplementation fileTree(dir: "${cfPath}/framework-test/build/libs", include: "framework-test-*.jar")
-    testImplementation 'junit:junit:4.12'
+    testImplementation 'junit:junit:4.13.2'
 }
 
 sourceSets {