src/tests/userprog/wait-bad-pid.c


1
2
3
4
5
6
7
8
9
10
11

/* Waits for an invalid pid.  This may fail or terminate the
   process with -1 exit code. */

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

void
test_main (void) 
{
  wait ((pid_t) 0x0c020301);
}