Ticket #13278: 13278_script.patch

File 13278_script.patch, 1007 bytes (added by roed, 7 years ago)
  • sage-runtests

    # HG changeset patch
    # User David Roe <roed.math@gmail.com>
    # Date 1363322134 21600
    # Node ID 849d408d82c1993ce74d97351a474e5997d9d96b
    # Parent  0d9f9ae1191fa54ce33e2af69ceef043b522031d
    Adds a show_skipped option to doctesting.
    diff --git a/sage-runtests b/sage-runtests
    a b  
    6363        help="doctest only those files that failed in the previous run")
    6464    parser.add_option("-n", "--new", action="store_true", default=False,
    6565        help="doctest only those files that have been changed in the repository and not yet been committed")
     66    parser.add_option("--show-skipped", "--show_skipped", action="store_true", default=False,
     67        help="print a summary at the end of each file of optional tests that were skipped")
    6769    parser.add_option("--stats_path", "--stats-path", default=os.path.join(os.environ['DOT_SAGE'], "timings2.json"),
    6870                          help="path to a json dictionary for the latest run storing a timing for each file")