Page MenuHomeSolus

Update z3 to 4.8.12
ClosedPublic

Authored by silke on Jul 21 2021, 1:47 PM.

Details

Summary

Release notes can be found here.

Test Plan

Run cppcheck in bug-hunting mode, which uses z3 to find bugs.

Diff Detail

Repository
R5080 z3
Branch
master
Lint
No Linters Available
Unit
No Unit Test Coverage
Build Status
Buildable 1138
Build 1138: arc lint + arc unit

Event Timeline

silke created this revision.Jul 21 2021, 1:47 PM
silke requested review of this revision.Jul 21 2021, 1:47 PM
JoshStrobl accepted this revision.Jul 21 2021, 8:03 PM
JoshStrobl added a subscriber: JoshStrobl.

LGTM, thanks!

This revision is now accepted and ready to land.Jul 21 2021, 8:03 PM
This revision was automatically updated to reflect the committed changes.