• Carlos Garcia Campos's avatar
    regtest: Add a way to skip files · da1b5437
    Carlos Garcia Campos authored
    A new command line option --skip has been added to give a file with the
    list of test to skip. When --skip is not used, it look for a file named
    Skipped in the tests dir. Lines starting with '#' are considered
    comments and are ignored.
main.py 3 KB