Open GoogleCodeExporter opened 9 years ago
When using gradle, are you following the instructions in the manual? See
http://types.cs.washington.edu/checker-framework/current/checker-framework-manua
l.html#gradle . In particular, did you set options.fork = true and
compile.options.fork.executable = "$CHECKERFRAMEWORK/checker/bin/javac"?
When running from the command line, which java are you using?
Are you using the javac distributed with the Checker Framework, as explained
here:
http://types.cs.washington.edu/checker-framework/current/checker-framework-manua
l.html#javac-installation ? If so, you should not need the -processorpath
command-line option.
Original comment by michael.ernst@gmail.com
on 27 May 2015 at 12:22
yes ,I read your doc throughly.using Checker Framework javac
my code is here,https://github.com/vongosling/log4m
Original comment by fengji...@gmail.com
on 28 May 2015 at 4:44
Original issue reported on code.google.com by
fengji...@gmail.com
on 27 May 2015 at 2:00