New section about linter configuraton checking in the doc.#3198

remi-delmas-3000 merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

remi-delmas-3000:cfg-linterremi-delmas-3000/kani:cfg-linterCopy head branch name to clipboard