blob: b087f44749fc5498a10d06e5c88145a93271012f [file] [log] [blame]
This directory contains an example Maven project that downloads the latest
Checker Framework Maven artifacts and runs the Nullness Checker.
To run the example, simply execute:
mvn compile
You should see output that includes:
MavenExample.java:[29,29] error: [assignment] incompatible types in assignment.