HashSet model: deterministic Object[]-backed set#45

tautschnig wants to merge 2 commits into

masterdiffblue/java-models-library:masterfrom

model-hashsetdiffblue/java-models-library:model-hashsetCopy head branch name to clipboard