HomePhabricator

[Analyzer][Z3] Test fixes for Z3 constraint manager

Authored by vlad.tsyrklevich on Jun 5 2018, 11:25 PM.

Description

[Analyzer][Z3] Test fixes for Z3 constraint manager

Summary:
Since Z3 tests have been not been running [1] some tests needed to be
updated. I also added a regression test for [1].

[1] https://reviews.llvm.org/D47722

Reviewers: george.karpenkov, NoQ, ddcc

Reviewed By: george.karpenkov

Subscribers: mikhail.ramalho, dcoughlin, xazax.hun, szepet, zzheng, a.sidorin, cfe-commits

Differential Revision: https://reviews.llvm.org/D47726

llvm-svn: 334067

Details

Committed
vlad.tsyrklevichJun 5 2018, 11:25 PM
Reviewer
george.karpenkov
Differential Revision
D47726: [Analyzer][Z3] Test fixes for Z3 constraint manager
Parents
rG80a764bab17c: [Analyzer] Fix the Z3 lit test config
Branches
Unknown
Tags
Unknown