================
@@ -932,7 +932,8 @@ class Z3Statistics final : public SMTSolverStatistics {
};
unsigned getUnsigned(StringRef Key) const override {
auto It = UnsignedValues.find(Key.str());
- assert(It != UnsignedValues.end());
+ if (It == UnsignedValues.end())
+ return 0;
----------------
steakhal wrote:
Why did this assertion fail? I thought the "rlimit" must exist on the required
Z3 versions.
https://github.com/llvm/llvm-project/pull/146597
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
