pintos-doxygen/html/close-bad-fd_8c_source.html

/** Tries to close an invalid fd, which must either fail silently

   or terminate with exit code -1. */


#include <syscall.h>

#include "tests/main.h"


void

test_main (void)

{

  close (0x20101234);

}

test_main
void test_main(void)
Tries to close an invalid fd, which must either fail silently or terminate with exit code -1.
Definition: close-bad-fd.c:8

close
void close(int fd)
Definition: syscall.c:139

main.h