passes locally with --no-mpi

wilfonba · Nov 24, 2024 · 1eda45a · 1eda45a
1 parent 7a4c000
commit 1eda45a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/toolchain/mfc/test/test.py b/toolchain/mfc/test/test.py
@@ -54,6 +54,7 @@ def __filter(cases_) -> typing.List[TestCase]:
     for case in cases[:]:
         if case.ppn > 1 and not ARG("mpi"):
             cases.remove(case)
+            skipped_cases.append(case)
 
     if ARG("percent") == 100:
         return cases, skipped_cases