angr.utils.timing

angr.utils.timing.print_timing_total()
angr.utils.timing.timethis(func)