// @SetteRequiredStatementCoverage(100) public static int reachState(int a, int b, int c) { NativeObject obj = new NativeObject(); obj.calculate(a); obj.calculate(b); obj.calculate(c); if (obj.getX() == 2016) { return(1); } else { return(0); } }