This revision was automatically updated to reflect the committed changes.
Closed by commit rL305480: [analyzer]: Improve test handling with multiple
constraint managers (authored by ddcc).
Changed prior to commit:
https://reviews.llvm.org/D33308?vs=99394&id=102682#toc
Repository:
rL LLVM
ht
dcoughlin accepted this revision.
dcoughlin added a comment.
This revision is now accepted and ready to land.
This looks good to me.
Sorry of the delay here -- and thanks for your patience. I will review the
other patches this weekend.
https://reviews.llvm.org/D33308
___
ddcc added a comment.
@dcoughlin @zaks.anna @NoQ @xazax.hun Ping, I'd appreciate it if I could get a
review for this (https://reviews.llvm.org/D33308),
https://reviews.llvm.org/D28955, https://reviews.llvm.org/D28953, and
https://reviews.llvm.org/D28954. Rebasing and fixing up these commits is
ddcc created this revision.
Modify the test infrastructure to properly handle tests that require z3, and
merge together the output of all tests on success. This is required for
https://reviews.llvm.org/D28954.
https://reviews.llvm.org/D33308
Files:
test/Analysis/analyzer_test.py
Index: te
