Skip to contents

Print timing summary

Usage

print_timing_summary()