PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
userprog
open-twice.c
Go to the documentation of this file.
1
/** Tries to open the same file twice,
2
which must succeed and must return a different file descriptor
3
in each case. */
4
5
#include <syscall.h>
6
#include "
tests/lib.h
"
7
#include "
tests/main.h
"
8
9
void
10
test_main
(
void
)
11
{
12
int
h1 =
open
(
"sample.txt"
);
13
int
h2 =
open
(
"sample.txt"
);
14
15
CHECK
((h1 =
open
(
"sample.txt"
)) > 1,
"open \"sample.txt\" once"
);
16
CHECK
((h2 =
open
(
"sample.txt"
)) > 1,
"open \"sample.txt\" again"
);
17
if
(h1 == h2)
18
fail
(
"open() returned %d both times"
, h1);
19
}
open
int open(const char *file)
Definition:
syscall.c:103
fail
void fail(const char *format,...)
Definition:
lib.c:40
lib.h
CHECK
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
Definition:
lib.h:29
main.h
test_main
void test_main(void)
Tries to open the same file twice, which must succeed and must return a different file descriptor in ...
Definition:
open-twice.c:10
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2
1.9.2