We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b4822d7 commit c248200Copy full SHA for c248200
readme.md
@@ -78,7 +78,7 @@ export HOSTING_INFO_DIR=/projects/swlab1/checker-framework/hosting-info
78
79
9. Update the stubparser version number in the Checker Framework. Create
80
a branch with the same name as your StubParser branch. In
81
-`checker-framework/build.gradle`, update `stubparserJar`.
+`checker-framework/framework/build.gradle`, update `stubparserJar`.
82
10. Run Checker Framework tests (`./gradlew build`), using your StubParser branch.
83
If any tests fail, fix them before continuing.
84
11. Commit and push your changes to Checker Framework.
0 commit comments