Clone of official tools

Revision:
31:8ea194f6145b
Parent:
22:9e85236d8716
diff -r f12ce67666d0 -r 8ea194f6145b singletest.py
--- a/singletest.py	Mon Aug 29 11:56:59 2016 +0100
+++ b/singletest.py	Wed Jan 04 11:58:24 2017 -0600
@@ -225,6 +225,8 @@
                                    _test_loops_list=opts.test_loops_list,
                                    _muts=MUTs,
                                    _clean=opts.clean,
+                                   _parser=parser,
+                                   _opts=opts,
                                    _opts_db_url=opts.db_url,
                                    _opts_log_file_name=opts.log_file_name,
                                    _opts_report_html_file_name=opts.report_html_file_name,