HomePhabricator

[analyzer] Small SMT API improvement

Description

[analyzer] Small SMT API improvement

Summary: Removed const qualifier from reset method of SMTSolver and Z3Solver objects.

Reviewers: mikhail.ramalho, george.karpenkov, NoQ, ddcc

Reviewed By: NoQ

Subscribers: xazax.hun, szepet, a.sidorin, Szelethus

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

Details

Committed
esteffinOct 13 2018, 12:42 PM
Reviewer
NoQ
Differential Revision
D52031: [analyzer] Small SMT API improvement
Parents
rC344462: Re-commit r344234 "clang-cl: Add /showFilenames option (PR31957)"
Branches
Unknown
Tags
Unknown