Home | History | Annotate | Download | only in 303-verification-stress

Lines Matching defs:fp

13     FILE* fp;
21 fp = fopen(nameBuf, "w");
22 if (fp == NULL) {
27 fprintf(fp, "public class Test%03d {\n", i);
28 fprintf(fp, " static String[] array = new String[%d];\n", array_size);
29 fprintf(fp, " static {\n");
31 fprintf(fp, " array[%d] = \"string_%04d\";\n", k, k);
33 fprintf(fp, " }\n");
34 fprintf(fp, "}\n");
35 fclose(fp);
39 fp = fopen("src/MainTest.java", "w");
40 if (fp == NULL) {
44 fprintf(fp, "public class MainTest {\n");
45 fprintf(fp, " public static void run() {\n");
47 fprintf(fp, " System.out.println(\"Create new Test%03d\");\n", i);
48 fprintf(fp, " new Test%03d();\n", i);
50 fprintf(fp, " }\n");
51 fprintf(fp, "}\n");
52 fclose(fp);