Show 10'000 verification errors instead of 100

apache · Aug 31, 2020 · 39e3acd · 39e3acd
1 parent ba49683
commit 39e3acd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -531,6 +531,7 @@ allprojects {
                 // checkers.add("org.checkerframework.checker.regex.RegexChecker")
                 // https://checkerframework.org/manual/#creating-debugging-options-progress
                 // extraJavacArgs.add("-Afilenames")
+                extraJavacArgs.addAll(listOf("-Xmaxerrs", "10000"))
                 // https://checkerframework.org/manual/#stub-using
                 extraJavacArgs.add("-Astubs=" +
                         fileTree("$rootDir/src/main/config/checkerframework") {