steakhal wrote: Ah, it mixed the messages... Here it is:
- Removed unused `NumZ3QueriesDoneInEqClass` - Added a new `crosscheck-with-z3-eqclass-timeout-threshold` config option. - Removed misleading `// unsat` comment on return statement. - Removed unnecessary `// sat` comment on return statement. - Adjusted the name of the two last unit-tests. https://github.com/llvm/llvm-project/pull/95129 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
