example.c


1
2
3
4
5
6
7
8
9
10
11
12
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;
}