<> <> DIRECTORY AbSets, Random, SetBasics; SetsTesting: CEDAR PROGRAM IMPORTS AbSets, Random, SetBasics = BEGIN OPEN SetBasics, Sets:AbSets, Sets; rs: Random.RandomStream ~ Random.Create[seed: -1]; TestHashSet: PROC [nins, ntest: NAT] ~ { set: Set--of INT-- ~ CreateHashSet[ints]; nins _ nins; THROUGH [0 .. nins) DO [] _ set.AddI[rs.NextInt[]]; ENDLOOP; nins _ nins; THROUGH [0 .. ntest) DO [] _ set.HasMemI[rs.NextInt[]]; ENDLOOP; nins _ nins; RETURN}; END.