| 1339 | } |
| 1340 | |
| 1341 | void fxWriteConfiguration(txPool* pool, char* path) |
| 1342 | { |
| 1343 | FILE* file = fopen(path, "w"); |
| 1344 | txResult* result; |
| 1345 | if (!file) |
| 1346 | fprintf(stderr, "### cannot create: %s\n", path); |
| 1347 | if (pool->flags & XST_LOCKDOWN_FLAG) { |
| 1348 | if (pool->flags & XST_COMPARTMENT_FLAG) |
| 1349 | fprintf(file, "mode: lockdown compartment\n"); |
| 1350 | else |
| 1351 | fprintf(file, "mode: lockdown\n"); |
| 1352 | } |
| 1353 | else |
| 1354 | fprintf(file, "mode: default\n"); |
| 1355 | fprintf(file, "skip:\n"); |
| 1356 | txFeature* feature = pool->firstFeature; |
| 1357 | while (feature) { |
| 1358 | fprintf(file, " - %s\n", feature->name); |
| 1359 | feature = feature->next; |
| 1360 | } |
| 1361 | fprintf(file, "fail:\n"); |
| 1362 | result = pool->current->first; |
| 1363 | while (result) { |
| 1364 | fxFilterResult(result); |
| 1365 | fxWriteResult(file, result, 1); |
| 1366 | result = result->next; |
| 1367 | } |
| 1368 | fclose(file); |
| 1369 | } |
| 1370 | |
| 1371 | void fxWriteResult(FILE* file, txResult* result, int c) |
| 1372 | { |
no test coverage detected