-
Notifications
You must be signed in to change notification settings - Fork 0
/
testfs0.c
50 lines (37 loc) · 1.06 KB
/
testfs0.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "filesystem.h"
// RUN formatfs before conducting this test!
int main(int argc, char *argv[]) {
int ret;
File f;
char buf[1000];
// should succeed
f=create_file("simple", READ_WRITE);
// printf("ret from create_file(\"blarg\", READ_WRITE) = %p\n", f);
fs_print_error();
close_file(f);
// printf("Executed close_file(f).\n");
fs_print_error();
// // should succeed
// ret=write_file(f, "hello", strlen("hello"));
// printf("ret from write_file(f, \"hello\", strlen(\"hello\") = %d\n",
// ret);
// fs_print_error();
// // should succeed
// printf("Seeking to beginning of file.\n");
// seek_file(f, 0);
// fs_print_error();
// // should succeed
// bzero(buf, 1000);
// ret=read_file(f, buf, strlen("hello"));
// printf("ret from read_file(f, buf, strlen(\"hello\") = %d\n",
// ret);
// printf("buf=\"%s\"\n", buf);
// fs_print_error();
// // should succeed
// close_file(f);
// printf("Executed close_file(f).\n");
// fs_print_error();
}