From 0ee71a914788ef1e446ba3907ce14f13d2092acb Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sat, 28 Sep 2024 16:19:07 +0000 Subject: [PATCH] chore(deps): bump z3-solver from 4.13.0.0 to 4.13.2.0 Bumps [z3-solver](https://github.com/Z3Prover/z3) from 4.13.0.0 to 4.13.2.0. - [Release notes](https://github.com/Z3Prover/z3/releases) - [Changelog](https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md) - [Commits](https://github.com/Z3Prover/z3/compare/z3-4.13.0...z3-4.13.2) --- updated-dependencies: - dependency-name: z3-solver dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] --- requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/requirements.txt b/requirements.txt index 15b1d44..cba6f9f 100644 --- a/requirements.txt +++ b/requirements.txt @@ -5,5 +5,5 @@ pyelftools==0.31 pytest>=7.4.4 pytest-parallel==0.1.1 sh>=1.14.2 -z3-solver==4.13.0.0 +z3-solver==4.13.2.0 wllvm==1.3.1 \ No newline at end of file