pull report-alwaysfalse-constraint

Author: d367wang

src/checkers/inference/InferenceMain.java

@@ -160,8 +160,7 @@ private void startCheckerFramework() {
                 "-processor", "checkers.inference.InferenceChecker",
                 "-Xmaxwarns", "1000",
                 "-Xmaxerrs", "1000",
-                "-XDignore.symbol.file",
-                "-Awarns"));
+                "-XDignore.symbol.file"));
 
         if (SystemUtil.getJreVersion() == 8) {
             checkerFrameworkArgs.addAll(Arrays.asList("-source", "8", "-target", "8"));