This repository has been archived on 2021-05-26. You can view files and clone it, but cannot push or open issues or pull requests.
OS/pintos-env/pintos/tests/lib.h

50 lines
1.7 KiB
C
Executable file

#ifndef TESTS_LIB_H
#define TESTS_LIB_H
#include <debug.h>
#include <stdbool.h>
#include <stddef.h>
#include <syscall.h>
extern const char *test_name;
extern bool quiet;
void msg (const char *, ...) PRINTF_FORMAT (1, 2);
void fail (const char *, ...) PRINTF_FORMAT (1, 2) NO_RETURN;
/* Takes an expression to test for SUCCESS and a message, which
may include printf-style arguments. Logs the message, then
tests the expression. If it is zero, indicating failure,
emits the message as a failure.
Somewhat tricky to use:
- SUCCESS must not have side effects that affect the
message, because that will cause the original message and
the failure message to differ.
- The message must not have side effects of its own, because
it will be printed twice on failure, or zero times on
success if quiet is set. */
#define CHECK(SUCCESS, ...) \
do \
{ \
msg (__VA_ARGS__); \
if (!(SUCCESS)) \
fail (__VA_ARGS__); \
} \
while (0)
void shuffle (void *, size_t cnt, size_t size);
void exec_children (const char *child_name, pid_t pids[], size_t child_cnt);
void wait_children (pid_t pids[], size_t child_cnt);
void check_file_handle (int fd, const char *file_name,
const void *buf_, size_t filesize);
void check_file (const char *file_name, const void *buf, size_t filesize);
void compare_bytes (const void *read_data, const void *expected_data,
size_t size, size_t ofs, const char *file_name);
#endif /* test/lib.h */