Disable (and explain) compare-null-against-non-null-parameter warning#1369

smowton wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/library_check_nonnull_warningssmowton/cbmc:smowton/fix/library_check_nonnull_warningsCopy head branch name to clipboard