testsuite/gna/issue1206/main.c


1
2
3
4
5
6
7
8

#include <stdio.h>

extern int ghdl_main(int argc, char** argv);

int main(int argc, char** argv) {
  printf("ghdl_main: %d\n", ghdl_main(0, NULL));
  return 0;
}