' 10 | } 11 | 12 | ### 13 | # The footer of the HTML document used to display results 14 | ### 15 | function _zunit_html_footer() { 16 | integer elapsed=$(( end_time - start_time )) 17 | output="