OptionalInt model: deterministic of/empty/isPresent/isEmpty/getAsInt#41

tautschnig wants to merge 1 commit into

masterdiffblue/java-models-library:masterfrom

model-optionalintdiffblue/java-models-library:model-optionalintCopy head branch name to clipboard