Bananeweizen
commented
1 year ago - document more static code analysis tools that can find wrong assertions
- fix grammar, typos and punctuation to be consistent for English language
- the comments in Java are called "Javadoc" (with uppercase J), only the tool to create them is called "javadoc" (with lowercase J).
- lists must be separated by an empty line from previous content, otherwise they don't render correctly