mtrberzi/array-bounds-checker
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
make sure all the symlinks in each LOCATION.txt are formed run with ant -e -find build.xml arraysafety-tests from anywhere in the checker-framework/checker directory