uabelho added a comment. In D108695#2999432 <https://reviews.llvm.org/D108695#2999432>, @steakhal wrote:
> In D108695#2999378 <https://reviews.llvm.org/D108695#2999378>, @uabelho wrote: > >> Hi @Szelethus >> A couple of tests fail for me on trunk with this patch > > Uh, that's my unittest :D > I suspect you are running some sort of CI where you set up Z3. Yes, I have Z3 enabled. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D108695/new/ https://reviews.llvm.org/D108695 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
