Init commit

1 files changed, 13 insertions, 0 deletions

diff --git a/example.c b/example.c
new file mode 100644
index 0000000..07b9a3b
--- /dev/null
+++ b/example.c
@@ -0,0 +1,13 @@
+#include "test-lib.h"
+#include <stdio.h>
+
+int badTest() {
+  int* ptr = (int*)0;
+  *ptr = 5;
+  return 0;
+}
+
+int main() {
+  syncTest("badTest", "it segfaulted", badTest);
+  return 0;
+}