gcontracts
gcontracts copied to clipboard
null check extracting boolean exprs from closure
If a validation closure contains expression statements, the list of boolean expressions ends up having nulls in it, which then cause NPEs in AssertStatementCreationUtility.getAssertionStatement.