Add tests for --java-assume-inputs-non-null#4503

allredj merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

allredj:tests-assume-inputs-non-nullallredj/cbmc:tests-assume-inputs-non-nullCopy head branch name to clipboard