pintos-doxygen/html/close-twice_8c_source.html

/** Opens a file and then tries to close it twice.  The second

   close must either fail silently or terminate with exit code

   -1. */


#include <syscall.h>

#include "tests/lib.h"

#include "tests/main.h"


void

test_main (void)

{

  int handle;

  CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");

  msg ("close \"sample.txt\"");

  close (handle);

  msg ("close \"sample.txt\" again");

  close (handle);

}

test_main
void test_main(void)
Opens a file and then tries to close it twice.
Definition: close-twice.c:10

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

open
int open(const char *file)
Definition: syscall.c:103

msg
void msg(const char *format,...)
Definition: lib.c:28

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