' +} + +function _zunit_html_footer() { + integer elapsed=$(( end_time - start_time )) + output="