PKUOS - Pintos
Pintos source browser for PKU Operating System course
wait-killed.c
Go to the documentation of this file.
1/** Wait for a process that will be killed for bad behavior. */
2
3#include <syscall.h>
4#include "tests/lib.h"
5#include "tests/main.h"
6
7void
8test_main (void)
9{
10 msg ("wait(exec()) = %d", wait (exec ("child-bad")));
11}
static void wait(struct intq *q, struct thread **waiter)
pid_t exec(const char *file)
Definition: syscall.c:79
void msg(const char *format,...)
Definition: lib.c:28
void test_main(void)
Wait for a process that will be killed for bad behavior.
Definition: wait-killed.c:8