We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 20bf0ab + d447c86 commit b92b198Copy full SHA for b92b198
1 file changed
gradle.properties
@@ -13,7 +13,7 @@ junit4PlatformVersion=1.9.0
13
mockitoVersion=3.5.13
14
z3Version=4.8.9.1
15
z3JavaApiVersion=4.8.9
16
-sootCommitHash=1f34746
+sootCommitHash=3adf23c3
17
kotlinVersion=1.7.20
18
log4j2Version=2.13.3
19
coroutinesVersion=1.6.3
0 commit comments