INNER CODE UNIT · Python

args

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

            args = [self.term(d, depth - 1) for d in dom]
            app = "(%s %s)" % (name, " ".join(args))
            self.apps.append((i, args))
            return app
        if sort == 'bool':
            op = rng.choice(['and', 'or', 'xor', 'not', '=', 'bvult'])
            if op == 'not':
                return "(not %s)" % self.term('bool', depth - 1)
            if op in ('=', 'bvult'):
                w = rng.choice(self.widths)
                return "(%s %s %s)" % (op, self.term(w, depth - 1),
                                       self.term(w, depth - 1))
            return "(%s %s %s)" % (op, self.term('bool', depth - 1),
                                   self.term('bool', depth - 1))
        op = rng.choice(['bvadd', 'bvand', 'bvxor', 'bvnot', 'ite'])
        if op == 'bvnot':
            return "(bvnot %s)" % self.term(sort, depth - 1)
        if op == 'ite':

View source record →