Skip tests that require CAT changes

Author: diaolo01

catalogue/aarch64-PAC/shelf.py

@@ -26,10 +26,11 @@
     "tests/pauth2-fpac+MP+dmb.sy+pacdza-autda.litmus",
     "tests/pauth2-fpac+MP+dmb.sy+pacdza-autdza.litmus",
     "tests/pauth2-fpac+S+dmb.sy+pacdza-autda.litmus",
-    "tests/pauth2-fpac+S+dmb.sy+pacdza-autdza.litmus",
-    "tests/pauth2-fpac+S+dmb.sy+pacdza-csel-autda.litmus",
-    "tests/pauth2-fpac+WW+R+R+dmb.sy+autda-mov.litmus",
-    "tests/pauth2-fpac+WW+R+R+dmb.sy+autdza-mov.litmus",
+    # CAT file needs updating before these tests are modelled as forbidden
+    # "tests/pauth2-fpac+S+dmb.sy+pacdza-autdza.litmus",
+    # "tests/pauth2-fpac+S+dmb.sy+pacdza-csel-autda.litmus",
+    # "tests/pauth2-fpac+WW+R+R+dmb.sy+autda-mov.litmus",
+    # "tests/pauth2-fpac+WW+R+R+dmb.sy+autdza-mov.litmus",
     "tests/pauth2-no-key-da+MP+dmb.sy+autda.litmus",
     "tests/pauth2-no-key-da+MP+dmb.sy+autdza.litmus",
     "tests/pauth2-no-key-da+MP+dmb.sy+pacda.litmus",