Remove testfiles from gitignore

.gitignore

@@ -11,7 +11,6 @@ cmake-build*/
 
 #misc
 todo.md
-tests/testfiles/
 local_tests
 tests/timed_tests/
 tests/dev_tests/

tests/testfiles/ExpectedFail/tests/000_nl.c

@@ -0,0 +1,15 @@
+#include <stdio.h>
+
+/// This will fail since there is an extra newline emitted.
+/// The expected file will have 5 bytes, the generated will have 6
+
+int main() {
+
+    printf("a\nb\nc\n");
+
+    return 0;
+}
+
+//CHECK:a
+//CHECK:b
+//CHECK:c

tests/testfiles/ExpectedFail/tests/001_space.c

@@ -0,0 +1,10 @@
+#include <stdio.h>
+
+int main() {
+
+    printf("print\n "); 
+    return 0;
+}
+
+// CHECK:print
+// CHECK:

tests/testfiles/ExpectedFail/tests/002_error.c

@@ -0,0 +1,13 @@
+#include <stdio.h>
+
+#define CUSTOM_COMPILE_TIME_ERROR 1
+
+int main() {
+    #if CUSTOM_COMPILE_TIME_ERROR
+        printf("CompileTimeError on line 7: this is some text after."); 
+        exit(1);
+    #endif
+    return 0;
+}
+
+//CHECK:CompileTimeError on line 6:

tests/testfiles/ExpectedFail/tests/003_error.c

@@ -0,0 +1,8 @@
+#include <stdio.h>
+
+int main() {
+
+    fprintf(stderr, "TypeError on line 5: This is an error!");
+    exit(1);
+    return 0;
+}

tests/testfiles/MultiExe/TA/000_ta.c

@@ -0,0 +1 @@
+int main() { return 0; }

tests/testfiles/MultiExe/TA/001_ta.c

@@ -0,0 +1 @@
+int main() { return 0; }

tests/testfiles/MultiExe/TA/002_ta.c

@@ -0,0 +1 @@
+int main() { return 0; }

tests/testfiles/MultiExe/team1/001.c

@@ -0,0 +1,17 @@
+#include <stdio.h>
+#include <stdlib.h>
+
+// INPUT:abc
+
+int main() {
+    char c[3];
+    scanf("%c", &c[0]);
+    scanf("%c", &c[1]);
+    scanf("%c", &c[2]);
+
+    printf("%c%c%c", c[2], c[1], c[0]);
+
+    return 0;
+}
+
+// CHECK:cba

tests/testfiles/MultiExe/team1/002.c

@@ -0,0 +1,7 @@
+
+// INPUT:abc
+int main() {
+
+    return 0;
+}
+

tests/testfiles/MultiExe/team1/003_timeout.c

@@ -0,0 +1,6 @@
+#include <sys/wait.h>
+
+int main() {
+    sleep(10);
+    return 0;
+}

tests/testfiles/MultiExe/team1/004_error.c

@@ -0,0 +1,23 @@
+/**
+ * Instead of acutally throwing a runtime C error, whose format does not align with 
+ * how the tester parses error tests, emulate the Gazprea spec.  
+*/
+
+#include <stdio.h>
+
+#define EXIT_DIVIDE_BY_ZERO 2
+
+int main() {
+    int a = 1;
+    int b = 0;
+    if (b != 0) {
+        int c = a / b;
+    } else {
+        fprintf(stderr, "DivideByZeroError: a was about to be divided by 0!");
+        exit(EXIT_DIVIDE_BY_ZERO);
+    }  
+
+    return 0;
+}
+
+//CHECK:DivideByZeroError:

tests/testfiles/MultiExe/team2/001_mismatch.c

@@ -0,0 +1,5 @@
+int main() {
+    return 0;
+}
+
+//CHECK:123

tests/testfiles/MultiExe/team2/002.c

@@ -0,0 +1,3 @@
+int main() {
+    return 0;
+}

tests/testfiles/MultiExe/team3/001.c

@@ -0,0 +1,6 @@
+#include <sys/wait.h>
+int main() {
+
+    sleep(1); // short enough not to timeout
+    return 0;
+}

tests/testfiles/MultiExe/timed_tests/001.c

@@ -0,0 +1,22 @@
+#include <stdio.h>
+#include <stdlib.h>
+
+// INPUT:abc
+
+int main() {
+    char c[3];
+    scanf("%c", &c[0]);
+    scanf("%c", &c[1]);
+    scanf("%c", &c[2]);
+
+    printf("%c%c%c", c[2], c[1], c[0]);
+
+    int i = 0;
+    for (int i = 0; i < 1000000; i++) {
+        i++;
+    }
+
+    return 0;
+}
+
+// CHECK:cba

tests/testfiles/MultiExe/timed_tests/002.c

@@ -0,0 +1,21 @@
+#include <sys/wait.h>
+
+#define iter 100000000
+
+int main() {
+    int j = 0; 
+    for(int i = 0; i < iter; i++) {
+        if (j + i -1 < 0xffff) {
+            j += i;
+        }
+    } 
+
+    sleep(1);
+
+    int i = 0;
+    for (int i = 0; i < 1000000; i++) {
+        i++;
+    }
+
+    return (j < 0xffffffff);
+}

tests/testfiles/MultiExe/timed_tests/003_timeout.c

@@ -0,0 +1,22 @@
+#include <sys/wait.h>
+
+int main() {
+    int j = 0; 
+    for(int i = 0; i < 1000000; i++) {
+        if (j + i -1 < 0xFFFF) {
+            j += i;
+        }
+    } 
+
+    int i = 0;
+    for (int i = 0; i < 10000000; i++) {
+        i++;
+    }
+
+    sleep(2);
+
+    printf("123"); 
+    return 0;
+}
+
+// CHECK:123

tests/testfiles/MultiExe/timed_tests/004_error.c

@@ -0,0 +1,23 @@
+/**
+ * Instead of acutally throwing a runtime C error, whose format does not align with 
+ * how the tester parses error tests, emulate the Gazprea spec.  
+*/
+
+#include <stdio.h>
+
+#define EXIT_DIVIDE_BY_ZERO 2
+
+int main() {
+    int a = 1;
+    int b = 0;
+    if (b != 0) {
+        int c = a / b;
+    } else {
+        fprintf(stderr, "DivideByZeroError: a was about to be divided by 0!");
+        exit(EXIT_DIVIDE_BY_ZERO);
+    }  
+
+    return 0;
+}
+
+//CHECK:DivideByZeroError:

tests/testfiles/SingleExe/error_tests/001_compile_time_types.c

@@ -0,0 +1,28 @@
+#include <stdio.h>
+#define TYPE_ERROR 0
+
+typedef struct Apple{
+  char a[5];
+} Apple;
+
+typedef struct Banana {
+  char b[6];
+} Banana ;
+
+int main() {
+
+  Apple a = { "apple" }; 
+  Banana b = { "banana" };
+
+#if TYPE_ERROR 
+  a = b;
+#else
+  // We will emulate the type error to match the Error Test Specification
+  fprintf(stderr, "TypeError on line 20: Assigning Banana to Apple."); 
+  exit(1);
+#endif
+
+  return 0;
+}
+
+// CHECK:TypeError on line 20

tests/testfiles/SingleExe/error_tests/002_runtime_math.c

@@ -0,0 +1,23 @@
+/**
+ * Instead of acutally throwing a runtime C error, whose format does not align with 
+ * how the tester parses error tests, emulate the Gazprea spec.  
+*/
+
+#include <stdio.h>
+
+#define EXIT_DIVIDE_BY_ZERO 2
+
+int main() {
+    int a = 1;
+    int b = 0;
+    if (b != 0) {
+        int c = a / b;
+    } else {
+        fprintf(stderr, "DivideByZeroError: a was about to be divided by 0!");
+        exit(EXIT_DIVIDE_BY_ZERO);
+    }  
+
+    return 0;
+}
+
+//CHECK:DivideByZeroError:

tests/testfiles/SingleExe/error_tests/003_runtime_index.c

@@ -0,0 +1,28 @@
+#include <stdio.h>
+#define OUT_OF_BOUNDS_ERROR 0
+
+// INPUT:9
+int main() {
+
+    char c;
+    scanf("%c", &c);
+
+    int x = (unsigned int)(c) - '0'; 
+    int a[5] = {1, 2, 3, 4, 5};
+
+    if (x < 5 && x >= 0) {
+        printf("%d", a[x]);
+    } else {
+        // We will emulate the IndexError to match "Error Test Spec" since
+        // C will just let us poke around.
+        fprintf(stderr, "IndexError: Don't do that! (The text past the first\
+            colon is implementation specific so is not picked up by the tester)"); 
+
+        exit(1);
+    }
+
+
+    return 0;
+}
+
+// CHECK:IndexError

tests/testfiles/SingleExe/invalid_tests/001_input_exceed.c

@@ -0,0 +1,9 @@
+//INPUT_FILE:./in-stream/input_exceed.ins
+
+#include <stdio.h>
+
+int main() {
+    char c;
+    scanf("%c", &c);
+    printf("%c\n", c);
+}

tests/testfiles/SingleExe/invalid_tests/002_output_exceed.c

@@ -0,0 +1,9 @@
+//CHECK_FILE:./out-stream/output_exceed.out
+
+#include <stdio.h>
+
+int main() {
+    for (int i = 0; i < 1026; i++) {
+        printf("%c", 'a');
+    }
+}

tests/testfiles/SingleExe/invalid_tests/003_file_errror.c

@@ -0,0 +1,5 @@
+// INPUT_FILE:./dne.ins
+
+int main() {
+    return 0;
+}

tests/testfiles/SingleExe/invalid_tests/004_directive_conflict.c

@@ -0,0 +1,6 @@
+// INPUT:a
+// INPUT_FILE:input_exceed.ins
+
+int main() {
+    return 0;
+}

tests/testfiles/SingleExe/invalid_tests/005_directive_conflict.c

@@ -0,0 +1,8 @@
+int main() 
+{
+    printf("%c", 'a');
+    return 0;
+}
+
+// CHECK:a
+// CHECK_FILE:output_exceed.out

tests/testfiles/SingleExe/invalid_tests/in-stream/input_exceed.ins

@@ -0,0 +1,4 @@
+aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
+aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
+aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
+aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab

tests/testfiles/SingleExe/invalid_tests/out-stream/output_exceed.out

@@ -0,0 +1,4 @@
+aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
+aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
+aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab
+aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab

tests/testfiles/SingleExe/valid_tests/000_empty.c

@@ -0,0 +1,7 @@
+int main() { 
+
+    if (1)
+        exit(0);
+
+    return 0;
+}