We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 92a52bb commit 1aa3afaCopy full SHA for 1aa3afa
gradle.properties
@@ -15,7 +15,7 @@ junit4PlatformVersion=1.9.0
15
mockitoVersion=3.5.13
16
z3Version=4.8.9.1
17
z3JavaApiVersion=4.8.9
18
-sootCommitHash=1f34746
+sootCommitHash=3adf23c3
19
kotlinVersion=1.7.20
20
log4j2Version=2.13.3
21
coroutinesVersion=1.6.3
0 commit comments