CS318 - Pintos
Pintos source browser for JHU CS318 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 
7 void
8 test_main (void)
9 {
10  msg ("wait(exec()) = %d", wait (exec ("child-bad")));
11 }
lib.h
exec
pid_t exec(const char *file)
Definition: syscall.c:79
wait
static void wait(struct intq *q, struct thread **waiter)
main.h
msg
void msg(const char *format,...)
Definition: lib.c:28
test_main
void test_main(void)
Wait for a process that will be killed for bad behavior.
Definition: wait-killed.c:8