PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
tests
userprog
open-empty.c
Go to the documentation of this file.
1
/** Tries to open a file with the empty string as its name. */
2
3
#include <syscall.h>
4
#include "
tests/lib.h
"
5
#include "
tests/main.h
"
6
7
void
8
test_main
(
void
)
9
{
10
int
handle =
open
(
""
);
11
if
(handle != -1)
12
fail
(
"open() returned %d instead of -1"
, handle);
13
}
open
int open(const char *file)
Definition:
syscall.c:103
fail
void fail(const char *format,...)
Definition:
lib.c:40
lib.h
main.h
test_main
void test_main(void)
Tries to open a file with the empty string as its name.
Definition:
open-empty.c:8
Generated on Thu Nov 4 2021 19:31:01 for PKUOS - Pintos by
1.9.2