INNER CODE UNIT · Python

write_input

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

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)
    fo.write("return_value == %d;\n" % p)


def gen_innerprod_input(fo):

View source record →