Commit 67fd3479 authored by Jan Kiene's avatar Jan Kiene
Browse files

add explicit default

parent 714ca363

ci/run_scheduled_sanitizer_test.py

+4 −1
Original line number Diff line number Diff line
@@ -281,7 +281,10 @@ if __name__ == "__main__": 
    parser.add_argument("--tests", type=str, nargs="+", default=["CLANG1", "CLANG2"])

    parser.add_argument("--skip_fec", action="store_true")

    parser.add_argument(

        "--inject_seed", type=int, help="Value to use for seeding random generators"

        "--inject_seed",

        type=int,

        default=None,

        help="Value to use for seeding random generators",

    )



    sys.exit(main(parser.parse_args()))