From 86473e19700d3497545443fdbf695677e2958f92 Mon Sep 17 00:00:00 2001
From: Dhruv Makwana <dc-mak@users.noreply.github.com>
Date: Fri, 27 Dec 2024 20:59:28 +0000
Subject: [PATCH] Temporary remove for rems-project/cerberus#797

---
 .../broken/error-timeout/00051.timeout.c      | 43 -------------------
 .../broken/error-timeout/00143.timeout.c      | 37 ----------------
 2 files changed, 80 deletions(-)
 delete mode 100644 src/example-archive/c-testsuite/broken/error-timeout/00051.timeout.c
 delete mode 100644 src/example-archive/c-testsuite/broken/error-timeout/00143.timeout.c

diff --git a/src/example-archive/c-testsuite/broken/error-timeout/00051.timeout.c b/src/example-archive/c-testsuite/broken/error-timeout/00051.timeout.c
deleted file mode 100644
index 51dc44a2..00000000
--- a/src/example-archive/c-testsuite/broken/error-timeout/00051.timeout.c
+++ /dev/null
@@ -1,43 +0,0 @@
-/*
-    Invalid_argument("option is None")
-*/
-// Cause: unknown 
-
-int x = 0;
-
-int
-main()
-{
-	switch(x)
-		case 0:
-			;
-	switch(x)
-		case 0:
-			switch(x) {
-				case 0:
-					goto next;
-				default:
-					return 1;
-			}
-	return 1;
-	next:
-	switch(x)
-		case 1:
-			return 1;
-	switch(x) {
-		{
-			x = 1 + 1;
-			foo:
-			case 1:
-				return 1;
-		}
-	}
-	switch(x) {
-		case 0:
-			return x;
-		case 1:
-			return 1;
-		default:
-			return 1;
-	}
-}
diff --git a/src/example-archive/c-testsuite/broken/error-timeout/00143.timeout.c b/src/example-archive/c-testsuite/broken/error-timeout/00143.timeout.c
deleted file mode 100644
index 12f33c99..00000000
--- a/src/example-archive/c-testsuite/broken/error-timeout/00143.timeout.c
+++ /dev/null
@@ -1,37 +0,0 @@
-/* Disgusting, no?  But it compiles and runs just fine.  I feel a combination of
-   pride and revulsion at this discovery.  If no one's thought of it before,
-   I think I'll name it after myself.
-   It amazes me that after 10 years of writing C there are still
-   little corners that I haven't explored fully.
-   - Tom Duff */
-
-int main()
-{
-    int  count, n;
-    short *from, *to;
-    short a[39], b[39];
-
-    for(n = 0; n < 39; n++) {
-        a[n] = n;
-        b[n] = 0;
-    }
-    from = a;
-    to = b;
-    count = 39;
-    n = (count + 7) / 8;
-    switch (count % 8) {
-    case 0: do { *to++ = *from++;
-    case 7:      *to++ = *from++;
-    case 6:      *to++ = *from++;
-    case 5:      *to++ = *from++;
-    case 4:      *to++ = *from++;
-    case 3:      *to++ = *from++;
-    case 2:      *to++ = *from++;
-    case 1:      *to++ = *from++;
-            } while (--n > 0);
-    }
-    for(n = 0; n < 39; n++)
-        if(a[n] != b[n])
-            return 1;
-    return 0;
-}
\ No newline at end of file