(litmus_tests/exc/S) fix: there are 12 SC outcomes for the S family w…

…ith observer thread

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,
 };

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,
 };

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,
 };

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,
 };

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,
 };

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,
 };