https://icinfra.cn/posts/using-the-drd-incremental-violation-display-feature/