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)