Function getRandomInts

tests/utils/random.cpp:125–135

vector<int> getRandomInts(int min, int maxExcl, int len) {
    DEMAND( len >= 0 ); // permit empty
    DEMAND( min < maxExcl );

    vector<int> out(len);

    for (auto& x : out)
        x = getRandomInt(min, maxExcl);

    return out;
}


vector<int> getRandomOutcomes(int len) {