Skip to content

Commit 3c2ff70

Browse files
ahomescuahomescu
committed
Cargo.lock: Update z3 to a newer 0.12 release
1 parent fc0f5cb commit 3c2ff70

File tree

2 files changed

+37
-9
lines changed

2 files changed

+37
-9
lines changed

‎Cargo.lock‎

Lines changed: 36 additions & 8 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎c2rust-refactor/Cargo.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ shlex = "1.3"
3939
c2rust-build-paths = { path = "../c2rust-build-paths", version = "0.21.0" }
4040

4141
[dev-dependencies]
42-
z3 = "0.4.0"
42+
z3 = "0.12.0"
4343
quickcheck = "0.9.0"
4444
rand = "0.7"
4545

0 commit comments

Comments
 (0)