INNER CODE UNIT · Python

gen_random_array

MPC-SoK/frameworks · cbmc-gc/source/geninput.py:14

def gen_random_array(ll, bits=10):
    return [int(random.getrandbits(bits)) for _ in range(ll)]

# program input generation
def write_input(program, trials, gen_function):
    with open("%s/test.spec"%program, 'w') as fo:
        for t in range(trials):
            gen_function(fo)
            if t != trials-1:
                fo.write('---\n')

def gen_mult3_input(fo):
    p = 1
    for player in ["A","B","C"]:
        val = int(random.getrandbits(10))
        p *= val
        pl = str_iv(player, val)
        fo.write(pl)

View source record →