[clang] [llvm] [analyzer][NFC] Reorganize Z3 report refutation (PR #95128)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Thu Jun 13 06:10:02 PDT 2024
================
@@ -434,6 +447,12 @@ class SMTSolver {
virtual bool isFPSupported() = 0;
virtual void print(raw_ostream &OS) const = 0;
+
+ /// Sets the requested option.
+ virtual void setBoolParam(StringRef Key, bool Value) = 0;
+ virtual void setUnsignedParam(StringRef Key, unsigned Value) = 0;
+
+ virtual std::unique_ptr<SMTSolverStatistics> getStatistics() const = 0;
----------------
NagyDonat wrote:
Is this method called anywhere?
https://github.com/llvm/llvm-project/pull/95128
More information about the cfe-commits
mailing list