From bd307d27371de6d8e928feef83670ba14d623b1a Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 7 Sep 2022 23:08:45 +0000 Subject: [PATCH] Bump z3-turnkey from 4.8.17 to 4.11.2 Bumps [z3-turnkey](https://github.com/tudo-aqua/z3-turnkey) from 4.8.17 to 4.11.2. - [Release notes](https://github.com/tudo-aqua/z3-turnkey/releases) - [Commits](https://github.com/tudo-aqua/z3-turnkey/commits) --- updated-dependencies: - dependency-name: tools.aqua:z3-turnkey dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index a37f64e1..2ccada41 100644 --- a/build.gradle +++ b/build.gradle @@ -81,7 +81,7 @@ dependencies { implementation 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.6' implementation 'org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.6' - implementation 'tools.aqua:z3-turnkey:4.8.17' + implementation 'tools.aqua:z3-turnkey:4.11.2' testImplementation fileTree(dir: "${checkerFrameworkPath}/framework-test/build/libs", include: "framework-test-*.jar") // Mocking library. Used in a couple tests