NoQ added a comment. Thanks for picking this up!~
Hmm, why did the change in `MallocChecker` tests disappear? > clang is trying to match some strings printed by the ranged constraint manager Are these state dump tests / `exploded-graph-rewriter` tests? We'll need to ignore/silence them in Z3 mode. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D28955/new/ https://reviews.llvm.org/D28955 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
