minhtrannhat/os161
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added userland/testbin

Browse Source
This commit is contained in:
Guru Prasad Srinivasa
2016-02-29 20:10:59 -05:00
parent a5963a0e31
commit d466eb7102
53 changed files with 1538 additions and 460 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
userland/testbin/badcall/bad_reboot.c
View File

@@ -44,7 +44,7 @@
#include "test.h"
static
void
int
reboot_badflags(void)
{
int rv;
@@ -52,11 +52,18 @@ reboot_badflags(void)
tprintf("(This should not kill the system...)\n");
report_begin("reboot with invalid flags");
rv = reboot(15353);
report_check(rv, errno, EINVAL);
return report_check(rv, errno, EINVAL);
}
void
test_reboot(void)
{
reboot_badflags();
int ntests = 0, lost_points = 0;
int result;
ntests++;
result = reboot_badflags();
handle_result(result, &lost_points);
partial_credit(SECRET, "/testbin/badcall-reboot", ntests - lost_points, ntests);
}