steakhal wrote: > LGTM, thanks for the updates! > > If the updated test passes, feel free to merge it.
The uploaded tests never run in the CI due to the `REQUIRES: Z3`. I double checked locally and everything passes. Thanks for the review. https://github.com/llvm/llvm-project/pull/120239 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
