def dump(self, filename=None, directory=None):
"""Write symbols to a file or stdout."""
util.dump(self, filename, directory)
def dump(self, filename=None, directory=None):
"""Write properties to a file or stdout."""
util.dump(self, filename, directory)
def dump(self, filename=None, outdir=None):
"""Write annotated trace to a file rendered as html."""
util.dump(self, filename or self.prop_name + ".html", outdir
or self.outdir)
def dump(self, filename=None, outdir=None):
"""Write the proof summary to a file rendered as html."""
util.dump(self, filename or "index.html", outdir or self.outdir)
def dump(self, filename=None, directory=None):
"""Write reachable functions to a file or stdout."""
util.dump(self, filename, directory)
def dump(self, filename=None, directory=None):
"""Write coverage to a file or stdout."""
util.dump(self, filename, directory)
