Files
pintos_22/src/tests/userprog/read-stdout.c
2024-10-01 23:37:39 +01:00

15 lines
247 B
C

/* Try reading from fd 1 (stdout),
which may just fail or terminate the process with -1 exit
code. */
#include <stdio.h>
#include <syscall.h>
#include "tests/main.h"
void
test_main (void)
{
char buf;
read (STDOUT_FILENO, &buf, 1);
}