Add number of test-cases to run_single_doctest