INNER CODE UNIT · Python

__init__

stp/stp · scripts/fuzz/uf-differential-fuzz.py:36

    def __init__(self):
        self.widths = rng.choice([[2], [2, 3], [3, 4], [2, 8]])
        self.nvars = rng.randint(2, 4)
        self.vars = []   # (name, sort) sort: int width or 'bool'
        for i in range(self.nvars):
            sort = rng.choice(self.widths + ['bool'])
            self.vars.append(("v%d" % i, sort))
        self.funcs = []  # (name, [domain sorts], codomain)
        for i in range(rng.randint(1, 2)):
            arity = rng.randint(1, 2)
            dom = [rng.choice(self.widths + ['bool']) for _ in range(arity)]
            cod = rng.choice(self.widths + ['bool'])
            self.funcs.append(("f%d" % i, dom, cod))
        self.apps = []   # (func index, [arg terms]) -> recorded at build
        self.use_define = rng.random() < 0.3
        self.use_let = rng.random() < 0.3

    def sort_str(self, s):

View source record →