random: Fix behavior of kernel option "-rs".

[pintos-anon] / src / tests / userprog / open-null.c

/* Tries to open a file with the null pointer as its name.
   The process must be terminated with exit code -1. */

#include <stddef.h>
#include <syscall.h>
#include "tests/main.h"

void
test_main (void) 
{
  open (NULL);
}