search

uw-pluverse / perses

language-agnostic program reducer.
GNU General Public License v3.0
168 stars 24 forks source link

add a script in `scripts` to call spotbugs on perses_deploy.jar #3

Open chengniansun opened 4 years ago

chengniansun commented 4 years ago

Create a script to

  1. if necessary, download spotbugs to a location (e.g., /tmp/xxxx, ${HOME}/.perses/tools/spotbugs)
  2. build perses_deploy.jar
  3. call spotbugs on perses_deploy.jar
  4. add this script to scripts/presubmit.sh

If new warnings are found, fix the warnings. Ideally, we should get no warnings from spotbugs.