Searched refs:testFile (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/test_user/src/
H A Dtest_user.c288 FILE * testFile = fopen("fileserv/hello.txt", "r"); local
289 test_assert(testFile);
292 fscanf(testFile, "%s %s", str, str2);
296 test_assert(feof(testFile));
297 fclose(testFile);
310 /*testFile = fopen("fileserv/hello_this_file_doesnt_exist.txt", "r");
311 test_assert(!testFile);*/
321 FILE * testFile = fopen("fileserv/test_file_abc", "w"); local
322 test_assert(testFile);
324 fprintf(testFile, "hell
[all...]
/seL4-refos-master/apps/test_user/src/
H A Dtest_user.c288 FILE * testFile = fopen("fileserv/hello.txt", "r"); local
289 test_assert(testFile);
292 fscanf(testFile, "%s %s", str, str2);
296 test_assert(feof(testFile));
297 fclose(testFile);
310 /*testFile = fopen("fileserv/hello_this_file_doesnt_exist.txt", "r");
311 test_assert(!testFile);*/
321 FILE * testFile = fopen("fileserv/test_file_abc", "w"); local
322 test_assert(testFile);
324 fprintf(testFile, "hell
[all...]

Completed in 36 milliseconds