runtime.c 246 Bytes
Newer Older
1 2
/* run.config*
   COMMENT: tests that the runtime can compile without errors (for PathCrawler, E-ACSL, ...)
3
   CMD: gcc -D__FC_MACHDEP_X86_64 share/libc/__fc_runtime.c -Wno-attributes -std=c99 -o /dev/null
4 5 6 7 8 9
   OPT:
 */

int main() {
  return 0;
}