script

rene-d · Feb 4, 2024 · 928098a · 928098a
1 parent 1a1bf87
commit 928098a
Showing 1 changed file with 15 additions and 2 deletions.
diff --git a/scripts/runall.py b/scripts/runall.py
@@ -449,6 +449,7 @@ def main():
     parser.add_argument("-n", "--dry-run", action="store_true", help="do not run")
     parser.add_argument("--no-build", action="store_true", help="do not build")
     parser.add_argument("-u", "--user", dest="filter_user", metavar="USER", type=str, help="filter by user id")
+    parser.add_argument("--no-slow", action="store_true", help="exlude slow solutions")
     parser.add_argument("n", type=int, nargs="*", help="filter by year or year/day")
 
     args = parser.parse_args()
@@ -462,15 +463,27 @@ def main():
         if args.venv:
             return install_venv(args.venv)
 
+        languages = get_languages(args.language)
+
+        if args.no_slow:
+            args.exclude = args.exclude or []
+            args.exclude.extend(
+                " -x 2016:5 -x 2016:11 -x 2016:14 -x 2016:23"
+                " -x 2018:21 -x 2018:23 "
+                " -x 2019:25"  # no generic solution
+                " -x 2020:15"
+                " -x 2021:18"
+                " -x 2022:15"
+                " -x 2023:5 -x 2023:10 -x 2023:23".split()
+            )
+
         filter_year = 0 if len(args.n) == 0 else int(args.n.pop(0))
         filter_day = set(args.n)
 
         if not args.no_build:
             build_all(filter_year)
             print(end=f"{CR}{CLEAR_EOL}")
 
-        languages = get_languages(args.language)
-
         inputs, sols = load_data(filter_year, args.filter_user, args.exclude)
 
         for year in range(2015, 2024):