From 830db6b81ac3334336eada42d7cfe9a9a921d1f1 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 13 Apr 2026 19:20:55 +0000 Subject: [PATCH] Bump tools.aqua:z3-turnkey from 4.11.2 to 4.14.1 Bumps [tools.aqua:z3-turnkey](https://github.com/tudo-aqua/z3-turnkey) from 4.11.2 to 4.14.1. - [Release notes](https://github.com/tudo-aqua/z3-turnkey/releases) - [Commits](https://github.com/tudo-aqua/z3-turnkey/commits/4.14.1) --- updated-dependencies: - dependency-name: tools.aqua:z3-turnkey dependency-version: 4.14.1 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 bbe606cb..308fa9a1 100644 --- a/build.gradle +++ b/build.gradle @@ -124,7 +124,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.11.2' + implementation 'tools.aqua:z3-turnkey:4.14.1' testImplementation fileTree(dir: "${checkerFrameworkPath}/framework-test/build/libs", include: "framework-test-*.jar") // Mocking library. Used in a couple tests