PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#include <stdio.h>
#include "tests/threads/tests.h"
#include "threads/malloc.h"
#include "threads/synch.h"
#include "threads/thread.h"
#include "devices/timer.h"
Go to the source code of this file.
Functions | |
void | test_alarm_negative (void) |
Tests timer_sleep(-100). More... | |
void test_alarm_negative | ( | void | ) |
Tests timer_sleep(-100).
Only requirement is that it not crash.
Definition at line 11 of file alarm-negative.c.