Currently we support if-else statememts but not if only statements.
Here is an example that we want to be able to reason about:
private void setCookies(@Borrowed URLConnection cnx) {
if (sessionId != null) {
cnx.setRequestProperty("Cookie", sessionId);
System.out.println("Cookie set: " + sessionId);
}
}
Currently we support if-else statememts but not if only statements.
Here is an example that we want to be able to reason about: