RedDocMD added a comment. In D97183#2598806 <https://reviews.llvm.org/D97183#2598806>, @NoQ wrote:
> We could, for instance, teach it to mark //exploded nodes// as interesting > when it changes tracking mode. @NoQ, what is tracking mode for an `ExplodedNode`? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D97183/new/ https://reviews.llvm.org/D97183 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits