From 66370f63783443ee6bbc0d72e3853c9d611e6349 Mon Sep 17 00:00:00 2001
From: bjs <benjsimner@gmail.com>
Date: Sun, 19 May 2024 11:44:29 +0000
Subject: [PATCH] (litmus_tests/exc/S) fix: there are 12 SC outcomes for the S
 family with observer thread

---
 litmus/litmus_tests/exc/S+dmb+eret.c      | 2 +-
 litmus/litmus_tests/exc/S+dmb+svc.c       | 2 +-
 litmus/litmus_tests/exc/S+erets.c         | 2 +-
 litmus/litmus_tests/exc/S+svc-dmb-erets.c | 2 +-
 litmus/litmus_tests/exc/S+svc-erets.c     | 2 +-
 litmus/litmus_tests/exc/S+svcs.c          | 2 +-
 6 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/litmus/litmus_tests/exc/S+dmb+eret.c b/litmus/litmus_tests/exc/S+dmb+eret.c
index 5022b7f..7abd88c 100644
--- a/litmus/litmus_tests/exc/S+dmb+eret.c
+++ b/litmus/litmus_tests/exc/S+dmb+eret.c
@@ -84,5 +84,5 @@ litmus_test_t S_dmb_eret = {
     /* p2:x0 =*/1,
     /* p2:x2 =*/2,
   },
-  .no_sc_results = 8,
+  .no_sc_results = 12,
 };
diff --git a/litmus/litmus_tests/exc/S+dmb+svc.c b/litmus/litmus_tests/exc/S+dmb+svc.c
index d82459f..db6a508 100644
--- a/litmus/litmus_tests/exc/S+dmb+svc.c
+++ b/litmus/litmus_tests/exc/S+dmb+svc.c
@@ -85,5 +85,5 @@ litmus_test_t S_dmb_svc = {
     /* p2:x0 =*/1,
     /* p2:x2 =*/2,
   },
-  .no_sc_results = 8,
+  .no_sc_results = 12,
 };
diff --git a/litmus/litmus_tests/exc/S+erets.c b/litmus/litmus_tests/exc/S+erets.c
index 950d9a6..ce27474 100644
--- a/litmus/litmus_tests/exc/S+erets.c
+++ b/litmus/litmus_tests/exc/S+erets.c
@@ -90,5 +90,5 @@ litmus_test_t S_erets = {
     /* p2:x0 =*/1,
     /* p2:x2 =*/2,
   },
-  .no_sc_results = 8,
+  .no_sc_results = 12,
 };
diff --git a/litmus/litmus_tests/exc/S+svc-dmb-erets.c b/litmus/litmus_tests/exc/S+svc-dmb-erets.c
index 855e005..bdc0e02 100644
--- a/litmus/litmus_tests/exc/S+svc-dmb-erets.c
+++ b/litmus/litmus_tests/exc/S+svc-dmb-erets.c
@@ -92,5 +92,5 @@ litmus_test_t S_svcdmberets = {
     /* p2:x0 =*/1,
     /* p2:x2 =*/2,
   },
-  .no_sc_results = 8,
+  .no_sc_results = 12,
 };
diff --git a/litmus/litmus_tests/exc/S+svc-erets.c b/litmus/litmus_tests/exc/S+svc-erets.c
index 6666764..08e32a9 100644
--- a/litmus/litmus_tests/exc/S+svc-erets.c
+++ b/litmus/litmus_tests/exc/S+svc-erets.c
@@ -88,5 +88,5 @@ litmus_test_t S_svcerets = {
     /* p2:x0 =*/1,
     /* p2:x2 =*/2,
   },
-  .no_sc_results = 8,
+  .no_sc_results = 12,
 };
diff --git a/litmus/litmus_tests/exc/S+svcs.c b/litmus/litmus_tests/exc/S+svcs.c
index cb15eca..1796479 100644
--- a/litmus/litmus_tests/exc/S+svcs.c
+++ b/litmus/litmus_tests/exc/S+svcs.c
@@ -90,5 +90,5 @@ litmus_test_t S_svcs = {
     /* p2:x0 =*/1,
     /* p2:x2 =*/2,
   },
-  .no_sc_results = 8,
+  .no_sc_results = 12,
 };