def dumpSolveInfo(self):
console = self.console
console.output("Constraints: %d" % len(self.constraints))
console.output("Contexts: %d" % len(self.liveContexts))
console.output("Code: %d" % len(self.liveCode))
console.output("Contexts/Code: %.1f" % (float(len(self.liveContexts))/max(len(self.liveCode), 1)))
console.output("Slot Memory: %s" % formatting.memorySize(self.slotMemory()))
console.output('')
console.output("Decompile: %s" % formatting.elapsedTime(self.decompileTime))
console.output("Solve: %s" % formatting.elapsedTime(self.solveTime))
console.output('')
def dumpSolveInfo(self):
console = self.console
console.output("Constraints: %d" % len(self.constraints))
console.output("Contexts: %d" % len(self.liveContexts))
console.output("Code: %d" % len(self.liveCode))
console.output(
"Contexts/Code: %.1f" %
(float(len(self.liveContexts)) / max(len(self.liveCode), 1)))
console.output("Slot Memory: %s" %
formatting.memorySize(self.slotMemory()))
console.output('')
console.output("Decompile: %s" %
formatting.elapsedTime(self.decompileTime))
console.output("Solve: %s" %
formatting.elapsedTime(self.solveTime))
console.output('')
def end(self):
self.current.end()
self.output(
"end %s %s" %
(self.path(), formatting.elapsedTime(self.current.elapsed)), 0)
self.current = self.current.parent
def end(self):
self.current.end()
self.output("end %s %s" % (self.path(), formatting.elapsedTime(self.current.elapsed)), 0)
self.current = self.current.parent
