timed

dolfin.common.timer.timed(task)

Decorator for timing functions. Usage:

@timed("Do Foo")

def do_foo(*args, **kwargs):

# Do something costly pass

do_foo()

list_timings(TimingClear_keep, [TimingType_wall, TimingType_user])

t = timing(“Do Foo”, TimingClear_clear) print(“Do foo wall time: %s” % t[1])