2020-06-15 14:18:57 +00:00
|
|
|
#ifndef COSMOPOLITAN_LIBC_TESTLIB_H_
|
|
|
|
|
#define COSMOPOLITAN_LIBC_TESTLIB_H_
|
|
|
|
|
#if !(__ASSEMBLER__ + __LINKER__ + 0)
|
|
|
|
|
COSMOPOLITAN_C_START_
|
|
|
|
|
/*───────────────────────────────────────────────────────────────────────────│─╗
|
|
|
|
|
│ cosmopolitan § testing library ─╬─│┼
|
|
|
|
|
╚────────────────────────────────────────────────────────────────────────────│*/
|
2022-08-11 07:15:29 +00:00
|
|
|
#include "libc/macros.internal.h"
|
2020-06-15 14:18:57 +00:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Declares test case function.
|
|
|
|
|
*
|
|
|
|
|
* Test cases are guaranteed by the linker to be run in order, sorted by
|
|
|
|
|
* the (SUITE, NAME) tuple passed here.
|
|
|
|
|
*/
|
2021-02-07 14:11:44 +00:00
|
|
|
#define TEST(SUITE, NAME) \
|
|
|
|
|
STATIC_YOINK("__testcase_start"); \
|
|
|
|
|
__TEST_PROTOTYPE(SUITE, NAME, __TEST_ARRAY, )
|
2020-06-15 14:18:57 +00:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Declares function that globally modifies program state.
|
|
|
|
|
*
|
|
|
|
|
* All tests will be run an additional time, for each fixture. Fixtures
|
|
|
|
|
* are useful, for example, when multiple implementations of a function
|
|
|
|
|
* exist. Memory protections, on sections such as .initbss, are removed
|
|
|
|
|
* temorarilly by the runtime while calling fixture functions. Fixtures
|
|
|
|
|
* are also guaranteed by the linker to be run in sorted order.
|
|
|
|
|
*/
|
2021-02-07 14:11:44 +00:00
|
|
|
#define FIXTURE(SUITE, NAME) \
|
|
|
|
|
STATIC_YOINK("__fixture_start"); \
|
|
|
|
|
__FIXTURE("fixture", SUITE, NAME)
|
2020-06-15 14:18:57 +00:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Registers explosive fixture with linker.
|
|
|
|
|
*
|
|
|
|
|
* All tests will run an additional time for each set of entries in the
|
|
|
|
|
* Cartesian product of groups. That makes this similar to fixture, but
|
|
|
|
|
* more appropriate for testing pure code (i.e. no syscalls) like math.
|
|
|
|
|
*/
|
2021-02-07 14:11:44 +00:00
|
|
|
#define COMBO(GROUP, ENTRY) \
|
|
|
|
|
STATIC_YOINK("__combo_start"); \
|
|
|
|
|
__FIXTURE("combo", GROUP, ENTRY)
|
2020-06-15 14:18:57 +00:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Declares benchmark function.
|
|
|
|
|
*
|
|
|
|
|
* These only run if (1) the -b flag is passed to the FOO_test.com; and
|
|
|
|
|
* (2) the unit tests passed. It's just an ordinary function, that gets
|
|
|
|
|
* registered with the linker. It should print things to stdout.
|
|
|
|
|
*
|
|
|
|
|
* @see EZBENCH()
|
|
|
|
|
*/
|
|
|
|
|
#define BENCH(SUITE, NAME) \
|
|
|
|
|
STATIC_YOINK("__bench_start"); \
|
2020-08-25 11:23:25 +00:00
|
|
|
__TEST_PROTOTYPE(SUITE, NAME, __BENCH_ARRAY, optimizespeed)
|
2020-06-15 14:18:57 +00:00
|
|
|
|
|
|
|
|
#define ASSERT_GE(C, X) _TEST2("ASSERT_GE", C, >=, (X), #C, " ≥ ", #X, 1)
|
|
|
|
|
#define ASSERT_GT(C, X) _TEST2("ASSERT_GT", C, >, (X), #C, " > ", #X, 1)
|
|
|
|
|
#define ASSERT_LE(C, X) _TEST2("ASSERT_LE", C, <=, (X), #C, " ≤ ", #X, 1)
|
|
|
|
|
#define ASSERT_LT(C, X) _TEST2("ASSERT_LT", C, <, (X), #C, " < ", #X, 1)
|
|
|
|
|
#define EXPECT_GE(C, X) _TEST2("EXPECT_GE", C, >=, (X), #C, " ≥ ", #X, 0)
|
|
|
|
|
#define EXPECT_GT(C, X) _TEST2("EXPECT_GT", C, >, (X), #C, " > ", #X, 0)
|
|
|
|
|
#define EXPECT_LE(C, X) _TEST2("EXPECT_LE", C, <=, (X), #C, " ≤ ", #X, 0)
|
|
|
|
|
#define EXPECT_LT(C, X) _TEST2("EXPECT_LT", C, <, (X), #C, " < ", #X, 0)
|
|
|
|
|
|
2022-08-11 07:15:29 +00:00
|
|
|
#define __TEST_ARRAY(S) \
|
|
|
|
|
_Section(".piro.relo.sort.testcase.2." #S ",\"aw\",@init_array #")
|
|
|
|
|
|
|
|
|
|
#define __BENCH_ARRAY(S) \
|
|
|
|
|
_Section(".piro.relo.sort.bench.2." #S ",\"aw\",@init_array #")
|
|
|
|
|
|
|
|
|
|
#define __TEST_PROTOTYPE(S, N, A, K) \
|
|
|
|
|
void S##_##N(void); \
|
|
|
|
|
testfn_t S##_##N##_ptr[] A(S##_##N) = {S##_##N}; \
|
2022-09-05 15:41:43 +00:00
|
|
|
K void S##_##N(void)
|
2022-08-11 07:15:29 +00:00
|
|
|
|
|
|
|
|
#define __TEST_SECTION(NAME, CONTENT) \
|
|
|
|
|
".section " NAME "\n" CONTENT "\n\t.previous\n"
|
|
|
|
|
|
|
|
|
|
#define __RELOSECTION(NAME, CONTENT) \
|
|
|
|
|
__TEST_SECTION(".piro.relo.sort" NAME ",\"aw\",@progbits", CONTENT)
|
|
|
|
|
|
|
|
|
|
#define __ROSTR(STR) __TEST_SECTION(".rodata.str1.1,\"aSM\",@progbits,1", STR)
|
|
|
|
|
|
|
|
|
|
#define __FIXTURE(KIND, GROUP, ENTRY) \
|
|
|
|
|
asm(__RELOSECTION("." KIND ".2." #GROUP #ENTRY, \
|
|
|
|
|
"\t.quad\t1f\n" \
|
|
|
|
|
"\t.quad\t2f\n" \
|
|
|
|
|
"\t.quad\t" STRINGIFY(GROUP##_##ENTRY)) \
|
|
|
|
|
__ROSTR("1:\t.asciz\t" STRINGIFY(#GROUP)) \
|
|
|
|
|
__ROSTR("2:\t.asciz\t" STRINGIFY(#ENTRY))); \
|
2022-09-05 15:41:43 +00:00
|
|
|
void GROUP##_##ENTRY(void)
|
2022-08-11 07:15:29 +00:00
|
|
|
|
2021-02-03 14:22:51 +00:00
|
|
|
/**
|
|
|
|
|
* Enables setup and teardown of test directories.
|
|
|
|
|
*
|
|
|
|
|
* If the linker says this symbol exists then, regardless of its value,
|
|
|
|
|
* a unique test directory will be created at the start of each test,
|
|
|
|
|
* the test will be run with that directory as its working directory,
|
|
|
|
|
* and if the test succeeds it'll be removed along with any contents.
|
|
|
|
|
*/
|
|
|
|
|
extern char testlib_enable_tmp_setup_teardown;
|
2021-05-03 08:59:27 +00:00
|
|
|
extern char testlib_enable_tmp_setup_teardown_once;
|
2021-02-03 14:22:51 +00:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* User-defined test setup function.
|
|
|
|
|
*
|
|
|
|
|
* The test runner will call this function before each TEST() if it's
|
|
|
|
|
* defined by the linkage.
|
|
|
|
|
*/
|
|
|
|
|
void SetUp(void);
|
2021-05-03 08:59:27 +00:00
|
|
|
void SetUpOnce(void);
|
2021-02-03 14:22:51 +00:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* User-defined test cleanup function.
|
|
|
|
|
*
|
|
|
|
|
* The test runner will call this function after each TEST() if it's
|
|
|
|
|
* defined by the linkage.
|
|
|
|
|
*/
|
|
|
|
|
void TearDown(void);
|
2021-05-03 08:59:27 +00:00
|
|
|
void TearDownOnce(void);
|
2020-06-15 14:18:57 +00:00
|
|
|
|
|
|
|
|
/*───────────────────────────────────────────────────────────────────────────│─╗
|
|
|
|
|
│ cosmopolitan § testing library » assert or die ─╬─│┼
|
|
|
|
|
╚────────────────────────────────────────────────────────────────────────────│*/
|
|
|
|
|
|
|
|
|
|
#define EXPECT_TRUE(X) _TEST2("EXPECT_TRUE", true, ==, (X), #X, "", "", 0)
|
|
|
|
|
#define ASSERT_TRUE(X) _TEST2("ASSERT_TRUE", true, ==, (X), #X, "", "", 1)
|
|
|
|
|
#define ASSERT_FALSE(X) _TEST2("ASSERT_FALSE", false, ==, (X), #X, "", "", 1)
|
|
|
|
|
|
|
|
|
|
#define ASSERT_EQ(WANT, GOT, ...) \
|
|
|
|
|
__TEST_EQ(assert, __FILE__, __LINE__, __FUNCTION__, #WANT, #GOT, WANT, GOT, \
|
|
|
|
|
__VA_ARGS__)
|
2020-08-25 11:23:25 +00:00
|
|
|
|
2020-06-15 14:18:57 +00:00
|
|
|
#define ASSERT_NE(WANT, GOT, ...) \
|
|
|
|
|
__TEST_NE(assert, __FILE__, __LINE__, __FUNCTION__, #WANT, #GOT, WANT, GOT, \
|
|
|
|
|
__VA_ARGS__)
|
Improve ZIP filesystem and change its prefix
The ZIP filesystem has a breaking change. You now need to use /zip/ to
open() / opendir() / etc. assets within the ZIP structure of your APE
binary, instead of the previous convention of using zip: or zip! URIs.
This is needed because Python likes to use absolute paths, and having
ZIP paths encoded like URIs simply broke too many things.
Many more system calls have been updated to be able to operate on ZIP
files and file descriptors. In particular fcntl() and ioctl() since
Python would do things like ask if a ZIP file is a terminal and get
confused when the old implementation mistakenly said yes, because the
fastest way to guarantee native file descriptors is to dup(2). This
change also improves the async signal safety of zipos and ensures it
doesn't maintain any open file descriptors beyond that which the user
has opened.
This change makes a lot of progress towards adding magic numbers that
are specific to platforms other than Linux. The philosophy here is that,
if you use an operating system like FreeBSD, then you should be able to
take advantage of FreeBSD exclusive features, even if we don't polyfill
them on other platforms. For example, you can now open() a file with the
O_VERIFY flag. If your program runs on other platforms, then Cosmo will
automatically set O_VERIFY to zero. This lets you safely use it without
the need for #ifdef or ifstatements which detract from readability.
One of the blindspots of the ASAN memory hardening we use to offer Rust
like assurances has always been that memory passed to the kernel via
system calls (e.g. writev) can't be checked automatically since the
kernel wasn't built with MODE=asan. This change makes more progress
ensuring that each system call will verify the soundness of memory
before it's passed to the kernel. The code for doing these checks is
fast, particularly for buffers, where it can verify 64 bytes a cycle.
- Correct O_LOOP definition on NT
- Introduce program_executable_name
- Add ASAN guards to more system calls
- Improve termios compatibility with BSDs
- Fix bug in Windows auxiliary value encoding
- Add BSD and XNU specific errnos and open flags
- Add check to ensure build doesn't talk to internet
2021-08-22 08:04:18 +00:00
|
|
|
|
|
|
|
|
#define ASSERT_SYS(ERRNO, WANT, GOT, ...) \
|
|
|
|
|
do { \
|
2022-08-11 07:15:29 +00:00
|
|
|
int e = testlib_geterrno(); \
|
Improve ZIP filesystem and change its prefix
The ZIP filesystem has a breaking change. You now need to use /zip/ to
open() / opendir() / etc. assets within the ZIP structure of your APE
binary, instead of the previous convention of using zip: or zip! URIs.
This is needed because Python likes to use absolute paths, and having
ZIP paths encoded like URIs simply broke too many things.
Many more system calls have been updated to be able to operate on ZIP
files and file descriptors. In particular fcntl() and ioctl() since
Python would do things like ask if a ZIP file is a terminal and get
confused when the old implementation mistakenly said yes, because the
fastest way to guarantee native file descriptors is to dup(2). This
change also improves the async signal safety of zipos and ensures it
doesn't maintain any open file descriptors beyond that which the user
has opened.
This change makes a lot of progress towards adding magic numbers that
are specific to platforms other than Linux. The philosophy here is that,
if you use an operating system like FreeBSD, then you should be able to
take advantage of FreeBSD exclusive features, even if we don't polyfill
them on other platforms. For example, you can now open() a file with the
O_VERIFY flag. If your program runs on other platforms, then Cosmo will
automatically set O_VERIFY to zero. This lets you safely use it without
the need for #ifdef or ifstatements which detract from readability.
One of the blindspots of the ASAN memory hardening we use to offer Rust
like assurances has always been that memory passed to the kernel via
system calls (e.g. writev) can't be checked automatically since the
kernel wasn't built with MODE=asan. This change makes more progress
ensuring that each system call will verify the soundness of memory
before it's passed to the kernel. The code for doing these checks is
fast, particularly for buffers, where it can verify 64 bytes a cycle.
- Correct O_LOOP definition on NT
- Introduce program_executable_name
- Add ASAN guards to more system calls
- Improve termios compatibility with BSDs
- Fix bug in Windows auxiliary value encoding
- Add BSD and XNU specific errnos and open flags
- Add check to ensure build doesn't talk to internet
2021-08-22 08:04:18 +00:00
|
|
|
__TEST_EQ(assert, __FILE__, __LINE__, __FUNCTION__, #WANT, #GOT, WANT, \
|
|
|
|
|
GOT, __VA_ARGS__); \
|
|
|
|
|
__TEST_EQ(assert, __FILE__, __LINE__, __FUNCTION__, #ERRNO, \
|
2022-08-11 07:15:29 +00:00
|
|
|
testlib_strerror(), ERRNO, testlib_geterrno(), __VA_ARGS__); \
|
|
|
|
|
testlib_seterrno(e); \
|
Improve ZIP filesystem and change its prefix
The ZIP filesystem has a breaking change. You now need to use /zip/ to
open() / opendir() / etc. assets within the ZIP structure of your APE
binary, instead of the previous convention of using zip: or zip! URIs.
This is needed because Python likes to use absolute paths, and having
ZIP paths encoded like URIs simply broke too many things.
Many more system calls have been updated to be able to operate on ZIP
files and file descriptors. In particular fcntl() and ioctl() since
Python would do things like ask if a ZIP file is a terminal and get
confused when the old implementation mistakenly said yes, because the
fastest way to guarantee native file descriptors is to dup(2). This
change also improves the async signal safety of zipos and ensures it
doesn't maintain any open file descriptors beyond that which the user
has opened.
This change makes a lot of progress towards adding magic numbers that
are specific to platforms other than Linux. The philosophy here is that,
if you use an operating system like FreeBSD, then you should be able to
take advantage of FreeBSD exclusive features, even if we don't polyfill
them on other platforms. For example, you can now open() a file with the
O_VERIFY flag. If your program runs on other platforms, then Cosmo will
automatically set O_VERIFY to zero. This lets you safely use it without
the need for #ifdef or ifstatements which detract from readability.
One of the blindspots of the ASAN memory hardening we use to offer Rust
like assurances has always been that memory passed to the kernel via
system calls (e.g. writev) can't be checked automatically since the
kernel wasn't built with MODE=asan. This change makes more progress
ensuring that each system call will verify the soundness of memory
before it's passed to the kernel. The code for doing these checks is
fast, particularly for buffers, where it can verify 64 bytes a cycle.
- Correct O_LOOP definition on NT
- Introduce program_executable_name
- Add ASAN guards to more system calls
- Improve termios compatibility with BSDs
- Fix bug in Windows auxiliary value encoding
- Add BSD and XNU specific errnos and open flags
- Add check to ensure build doesn't talk to internet
2021-08-22 08:04:18 +00:00
|
|
|
} while (0)
|
2020-06-15 14:18:57 +00:00
|
|
|
|
2021-02-07 14:11:44 +00:00
|
|
|
#define ASSERT_BETWEEN(BEG, END, GOT) \
|
|
|
|
|
assertBetween(FILIFU BEG, END, GOT, #BEG " <= " #GOT " <= " #END, true)
|
2020-06-15 14:18:57 +00:00
|
|
|
#define ASSERT_STREQ(WANT, GOT) \
|
|
|
|
|
assertStringEquals(FILIFU sizeof(*(WANT)), WANT, GOT, #GOT, true)
|
|
|
|
|
#define ASSERT_STRNE(NOPE, GOT) \
|
|
|
|
|
assertStringNotEquals(FILIFU sizeof(*(NOPE)), NOPE, GOT, #GOT, true)
|
|
|
|
|
#define ASSERT_STREQN(WANT, GOT, N) \
|
|
|
|
|
assertStrnEquals(FILIFU sizeof(*(WANT)), WANT, GOT, N, #GOT, true)
|
|
|
|
|
#define ASSERT_STRNEN(NOPE, GOT, N) \
|
|
|
|
|
assertStrnNotEquals(FILIFU sizeof(*(NOPE)), NOPE, GOT, N, #GOT, true)
|
|
|
|
|
#define ASSERT_STRCASEEQ(WANT, GOT) \
|
|
|
|
|
assertStringCaseEquals(FILIFU sizeof(*(WANT)), WANT, GOT, #GOT, true)
|
|
|
|
|
#define ASSERT_STRCASENE(NOPE, GOT) \
|
|
|
|
|
assertStringCaseNotEquals(FILIFU sizeof(*(NOPE)), NOPE, GOT, #GOT, true)
|
|
|
|
|
#define ASSERT_STRNCASEEQ(WANT, GOT, N) \
|
|
|
|
|
assertStrnCaseEquals(FILIFU sizeof(*(WANT)), WANT, GOT, N, #GOT, true)
|
|
|
|
|
#define ASSERT_STRNCASENE(NOPE, GOT, N) \
|
|
|
|
|
assertStrnCaseNotEquals(FILIFU sizeof(*(NOPE)), NOPE, GOT, N, #GOT, true)
|
|
|
|
|
#define ASSERT_STARTSWITH(PREFIX, GOT) \
|
|
|
|
|
assertStartsWith(FILIFU sizeof(*(PREFIX)), PREFIX, GOT, #GOT, true)
|
|
|
|
|
#define ASSERT_ENDSWITH(SUFFIX, GOT) \
|
|
|
|
|
assertEndsWith(FILIFU sizeof(*(SUFFIX)), SUFFIX, GOT, #GOT, true)
|
|
|
|
|
#define ASSERT_IN(NEEDLE, GOT) \
|
|
|
|
|
assertContains(FILIFU sizeof(*(NEEDLE)), NEEDLE, GOT, #GOT, true)
|
|
|
|
|
|
|
|
|
|
#define ASSERT_BINEQ(WANT, GOT) \
|
|
|
|
|
_Generic((WANT)[0], char \
|
2021-02-06 08:24:35 +00:00
|
|
|
: assertBinaryEquals_hex, default \
|
|
|
|
|
: assertBinaryEquals_cp437)(FILIFU WANT, GOT, -1, #GOT, true)
|
2020-06-15 14:18:57 +00:00
|
|
|
#define ASSERT_BINNE(NOPE, GOT) \
|
|
|
|
|
_Generic((NOPE)[0], char \
|
2021-02-06 08:24:35 +00:00
|
|
|
: assertBinaryNotEquals_hex, default \
|
|
|
|
|
: assertBinaryNotEquals_cp437)(FILIFU NOPE, GOT, -1, #GOT, true)
|
2020-06-15 14:18:57 +00:00
|
|
|
#define ASSERT_BINEQN(WANT, GOT, N) \
|
|
|
|
|
_Generic((WANT)[0], char \
|
2021-02-06 08:24:35 +00:00
|
|
|
: assertBinaryEquals_hex, default \
|
|
|
|
|
: assertBinaryEquals_cp437)(FILIFU WANT, GOT, N, #GOT, true)
|
2020-06-15 14:18:57 +00:00
|
|
|
#define ASSERT_BINNEN(NOPE, GOT, N) \
|
|
|
|
|
_Generic((NOPE)[0], char \
|
2021-02-06 08:24:35 +00:00
|
|
|
: assertBinaryNotEquals_hex, default \
|
|
|
|
|
: assertBinaryNotEquals_cp437)(FILIFU NOPE, GOT, -1, #GOT, true)
|
2020-06-15 14:18:57 +00:00
|
|
|
|
|
|
|
|
#define ASSERT_FLOAT_EQ(WANT, GOT) \
|
|
|
|
|
assertLongDoubleEquals(FILIFU WANT, GOT, #GOT, true)
|
|
|
|
|
#define ASSERT_DOUBLE_EQ(WANT, GOT) \
|
|
|
|
|
assertLongDoubleEquals(FILIFU WANT, GOT, #GOT, true)
|
|
|
|
|
#define ASSERT_LDBL_EQ(WANT, GOT) \
|
|
|
|
|
assertLongDoubleEquals(FILIFU WANT, GOT, #GOT, true)
|
|
|
|
|
#define ASSERT_LDBL_GT(VAL, GOT) \
|
|
|
|
|
assertLongDoubleGreaterThan(VAL, GOT, #VAL " > " #GOT, true)
|
|
|
|
|
#define ASSERT_LDBL_LT(VAL, GOT) \
|
|
|
|
|
assertLongDoubleLessThan(VAL, GOT, #VAL " < " #GOT, true)
|
|
|
|
|
|
|
|
|
|
/*───────────────────────────────────────────────────────────────────────────│─╗
|
|
|
|
|
│ cosmopolitan § testing library » assert or log ─╬─│┼
|
|
|
|
|
╚────────────────────────────────────────────────────────────────────────────│*/
|
|
|
|
|
|
Improve ZIP filesystem and change its prefix
The ZIP filesystem has a breaking change. You now need to use /zip/ to
open() / opendir() / etc. assets within the ZIP structure of your APE
binary, instead of the previous convention of using zip: or zip! URIs.
This is needed because Python likes to use absolute paths, and having
ZIP paths encoded like URIs simply broke too many things.
Many more system calls have been updated to be able to operate on ZIP
files and file descriptors. In particular fcntl() and ioctl() since
Python would do things like ask if a ZIP file is a terminal and get
confused when the old implementation mistakenly said yes, because the
fastest way to guarantee native file descriptors is to dup(2). This
change also improves the async signal safety of zipos and ensures it
doesn't maintain any open file descriptors beyond that which the user
has opened.
This change makes a lot of progress towards adding magic numbers that
are specific to platforms other than Linux. The philosophy here is that,
if you use an operating system like FreeBSD, then you should be able to
take advantage of FreeBSD exclusive features, even if we don't polyfill
them on other platforms. For example, you can now open() a file with the
O_VERIFY flag. If your program runs on other platforms, then Cosmo will
automatically set O_VERIFY to zero. This lets you safely use it without
the need for #ifdef or ifstatements which detract from readability.
One of the blindspots of the ASAN memory hardening we use to offer Rust
like assurances has always been that memory passed to the kernel via
system calls (e.g. writev) can't be checked automatically since the
kernel wasn't built with MODE=asan. This change makes more progress
ensuring that each system call will verify the soundness of memory
before it's passed to the kernel. The code for doing these checks is
fast, particularly for buffers, where it can verify 64 bytes a cycle.
- Correct O_LOOP definition on NT
- Introduce program_executable_name
- Add ASAN guards to more system calls
- Improve termios compatibility with BSDs
- Fix bug in Windows auxiliary value encoding
- Add BSD and XNU specific errnos and open flags
- Add check to ensure build doesn't talk to internet
2021-08-22 08:04:18 +00:00
|
|
|
#define EXPECT_EQ(WANT, GOT, ...) \
|
|
|
|
|
__TEST_EQ(expect, __FILE__, __LINE__, __FUNCTION__, #WANT, #GOT, WANT, GOT, \
|
|
|
|
|
__VA_ARGS__)
|
|
|
|
|
|
|
|
|
|
#define EXPECT_NE(WANT, GOT, ...) \
|
|
|
|
|
__TEST_NE(expect, __FILE__, __LINE__, __FUNCTION__, #WANT, #GOT, WANT, GOT, \
|
|
|
|
|
__VA_ARGS__)
|
|
|
|
|
|
|
|
|
|
#define EXPECT_SYS(ERRNO, WANT, GOT, ...) \
|
|
|
|
|
do { \
|
2022-08-11 07:15:29 +00:00
|
|
|
testlib_seterrno(0); \
|
Improve ZIP filesystem and change its prefix
The ZIP filesystem has a breaking change. You now need to use /zip/ to
open() / opendir() / etc. assets within the ZIP structure of your APE
binary, instead of the previous convention of using zip: or zip! URIs.
This is needed because Python likes to use absolute paths, and having
ZIP paths encoded like URIs simply broke too many things.
Many more system calls have been updated to be able to operate on ZIP
files and file descriptors. In particular fcntl() and ioctl() since
Python would do things like ask if a ZIP file is a terminal and get
confused when the old implementation mistakenly said yes, because the
fastest way to guarantee native file descriptors is to dup(2). This
change also improves the async signal safety of zipos and ensures it
doesn't maintain any open file descriptors beyond that which the user
has opened.
This change makes a lot of progress towards adding magic numbers that
are specific to platforms other than Linux. The philosophy here is that,
if you use an operating system like FreeBSD, then you should be able to
take advantage of FreeBSD exclusive features, even if we don't polyfill
them on other platforms. For example, you can now open() a file with the
O_VERIFY flag. If your program runs on other platforms, then Cosmo will
automatically set O_VERIFY to zero. This lets you safely use it without
the need for #ifdef or ifstatements which detract from readability.
One of the blindspots of the ASAN memory hardening we use to offer Rust
like assurances has always been that memory passed to the kernel via
system calls (e.g. writev) can't be checked automatically since the
kernel wasn't built with MODE=asan. This change makes more progress
ensuring that each system call will verify the soundness of memory
before it's passed to the kernel. The code for doing these checks is
fast, particularly for buffers, where it can verify 64 bytes a cycle.
- Correct O_LOOP definition on NT
- Introduce program_executable_name
- Add ASAN guards to more system calls
- Improve termios compatibility with BSDs
- Fix bug in Windows auxiliary value encoding
- Add BSD and XNU specific errnos and open flags
- Add check to ensure build doesn't talk to internet
2021-08-22 08:04:18 +00:00
|
|
|
__TEST_EQ(expect, __FILE__, __LINE__, __FUNCTION__, #WANT, #GOT, WANT, \
|
|
|
|
|
GOT, __VA_ARGS__); \
|
|
|
|
|
__TEST_EQ(expect, __FILE__, __LINE__, __FUNCTION__, #ERRNO, \
|
2022-08-11 07:15:29 +00:00
|
|
|
testlib_strerror(), ERRNO, testlib_geterrno(), __VA_ARGS__); \
|
Improve ZIP filesystem and change its prefix
The ZIP filesystem has a breaking change. You now need to use /zip/ to
open() / opendir() / etc. assets within the ZIP structure of your APE
binary, instead of the previous convention of using zip: or zip! URIs.
This is needed because Python likes to use absolute paths, and having
ZIP paths encoded like URIs simply broke too many things.
Many more system calls have been updated to be able to operate on ZIP
files and file descriptors. In particular fcntl() and ioctl() since
Python would do things like ask if a ZIP file is a terminal and get
confused when the old implementation mistakenly said yes, because the
fastest way to guarantee native file descriptors is to dup(2). This
change also improves the async signal safety of zipos and ensures it
doesn't maintain any open file descriptors beyond that which the user
has opened.
This change makes a lot of progress towards adding magic numbers that
are specific to platforms other than Linux. The philosophy here is that,
if you use an operating system like FreeBSD, then you should be able to
take advantage of FreeBSD exclusive features, even if we don't polyfill
them on other platforms. For example, you can now open() a file with the
O_VERIFY flag. If your program runs on other platforms, then Cosmo will
automatically set O_VERIFY to zero. This lets you safely use it without
the need for #ifdef or ifstatements which detract from readability.
One of the blindspots of the ASAN memory hardening we use to offer Rust
like assurances has always been that memory passed to the kernel via
system calls (e.g. writev) can't be checked automatically since the
kernel wasn't built with MODE=asan. This change makes more progress
ensuring that each system call will verify the soundness of memory
before it's passed to the kernel. The code for doing these checks is
fast, particularly for buffers, where it can verify 64 bytes a cycle.
- Correct O_LOOP definition on NT
- Introduce program_executable_name
- Add ASAN guards to more system calls
- Improve termios compatibility with BSDs
- Fix bug in Windows auxiliary value encoding
- Add BSD and XNU specific errnos and open flags
- Add check to ensure build doesn't talk to internet
2021-08-22 08:04:18 +00:00
|
|
|
} while (0)
|
|
|
|
|
|
|
|
|
|
#define EXPECT_FALSE(X) _TEST2("EXPECT_FALSE", false, ==, (X), #X, "", "", 0)
|
2021-02-07 14:11:44 +00:00
|
|
|
#define EXPECT_BETWEEN(BEG, END, GOT) \
|
|
|
|
|
assertBetween(FILIFU BEG, END, GOT, #BEG " <= " #GOT " <= " #END, false)
|
2020-06-15 14:18:57 +00:00
|
|
|
#define EXPECT_STREQ(WANT, GOT) \
|
|
|
|
|
assertStringEquals(FILIFU sizeof(*(WANT)), WANT, GOT, #GOT, false)
|
|
|
|
|
#define EXPECT_STRNE(NOPE, GOT) \
|
|
|
|
|
assertStringNotEquals(FILIFU sizeof(*(NOPE)), NOPE, GOT, #GOT, false)
|
|
|
|
|
#define EXPECT_STREQN(WANT, GOT, N) \
|
|
|
|
|
assertStrnEquals(FILIFU sizeof(*(WANT)), WANT, GOT, N, #GOT, false)
|
|
|
|
|
#define EXPECT_STRNEN(NOPE, GOT, N) \
|
|
|
|
|
assertStrnNotEquals(FILIFU sizeof(*(NOPE)), NOPE, GOT, N, #GOT, false)
|
|
|
|
|
#define EXPECT_STRCASEEQ(WANT, GOT) \
|
|
|
|
|
assertStringCaseEquals(FILIFU sizeof(*(WANT)), WANT, GOT, #GOT, false)
|
|
|
|
|
#define EXPECT_STRCASENE(NOPE, GOT) \
|
|
|
|
|
assertStringCaseNotEquals(FILIFU sizeof(*(NOPE)), NOPE, GOT, #GOT, false)
|
|
|
|
|
#define EXPECT_STRNCASEEQ(WANT, GOT, N) \
|
|
|
|
|
assertStrnCaseEquals(FILIFU sizeof(*(WANT)), WANT, GOT, N, #GOT, false)
|
|
|
|
|
#define EXPECT_STRNCASENE(NOPE, GOT, N) \
|
|
|
|
|
assertStrnCaseNotEquals(FILIFU sizeof(*(NOPE)), NOPE, GOT, N, #GOT, false)
|
|
|
|
|
#define EXPECT_STARTSWITH(PREFIX, GOT) \
|
|
|
|
|
assertStartsWith(FILIFU sizeof(*(PREFIX)), PREFIX, GOT, #GOT, false)
|
|
|
|
|
#define EXPECT_ENDSWITH(SUFFIX, GOT) \
|
|
|
|
|
assertEndsWith(FILIFU sizeof(*(SUFFIX)), SUFFIX, GOT, #GOT, false)
|
|
|
|
|
#define EXPECT_IN(NEEDLE, GOT) \
|
|
|
|
|
assertContains(FILIFU sizeof(*(NEEDLE)), NEEDLE, GOT, #GOT, false)
|
|
|
|
|
|
|
|
|
|
#define EXPECT_BINEQ(WANT, GOT) \
|
|
|
|
|
_Generic((WANT)[0], char \
|
2021-02-06 08:24:35 +00:00
|
|
|
: assertBinaryEquals_hex, default \
|
|
|
|
|
: assertBinaryEquals_cp437)(FILIFU WANT, GOT, -1, #GOT, false)
|
2020-06-15 14:18:57 +00:00
|
|
|
#define EXPECT_BINNE(NOPE, GOT) \
|
|
|
|
|
_Generic((NOPE)[0], char \
|
2021-02-06 08:24:35 +00:00
|
|
|
: assertBinaryNotEquals_hex, default \
|
|
|
|
|
: assertBinaryNotEquals_cp437)(FILIFU NOPE, GOT, -1, #GOT, false)
|
2020-06-15 14:18:57 +00:00
|
|
|
#define EXPECT_BINEQN(WANT, GOT, N) \
|
|
|
|
|
_Generic((WANT)[0], char \
|
2021-02-06 08:24:35 +00:00
|
|
|
: assertBinaryEquals_hex, default \
|
|
|
|
|
: assertBinaryEquals_cp437)(FILIFU WANT, GOT, N, #GOT, false)
|
2020-06-15 14:18:57 +00:00
|
|
|
#define EXPECT_BINNEN(NOPE, GOT, N) \
|
|
|
|
|
_Generic((NOPE)[0], char \
|
2021-02-06 08:24:35 +00:00
|
|
|
: assertBinaryNotEquals_hex, default \
|
|
|
|
|
: assertBinaryNotEquals_cp437)(FILIFU NOPE, GOT, -1, #GOT, false)
|
2020-06-15 14:18:57 +00:00
|
|
|
|
|
|
|
|
#define EXPECT_FLOAT_EQ(WANT, GOT) \
|
|
|
|
|
assertLongDoubleEquals(FILIFU WANT, GOT, #GOT, false)
|
|
|
|
|
#define EXPECT_DOUBLE_EQ(WANT, GOT) \
|
|
|
|
|
assertLongDoubleEquals(FILIFU WANT, GOT, #GOT, false)
|
|
|
|
|
#define EXPECT_LDBL_EQ(WANT, GOT) \
|
|
|
|
|
assertLongDoubleEquals(FILIFU WANT, GOT, #GOT, false)
|
|
|
|
|
#define EXPECT_LGBL_GT(VAL, GOT) \
|
|
|
|
|
expectLongDoubleGreaterThan(VAL, GOT, #VAL " > " #GOT, false)
|
|
|
|
|
#define EXPECT_LGBL_LT(VAL, GOT) \
|
|
|
|
|
expectLongDoubleLessThan(VAL, GOT, #VAL " < " #GOT, false)
|
|
|
|
|
|
|
|
|
|
/*───────────────────────────────────────────────────────────────────────────│─╗
|
|
|
|
|
│ cosmopolitan § testing library » implementation details ─╬─│┼
|
|
|
|
|
╚────────────────────────────────────────────────────────────────────────────│*/
|
|
|
|
|
|
|
|
|
|
#define FILIFU __FILE__, __LINE__, __FUNCTION__,
|
|
|
|
|
#define FILIFU_OBJ(...) __FILE__, __LINE__, ##__VA_ARGS__
|
|
|
|
|
#define FILIFU_ARGS const char *file, int line, const char *func,
|
|
|
|
|
#define FILIFU_FROM(OBJ) (OBJ)->file, (OBJ)->line, __FUNCTION__,
|
|
|
|
|
#define FILIFU_FIELDS \
|
|
|
|
|
const char *file; \
|
|
|
|
|
int line
|
|
|
|
|
|
2021-02-03 14:22:51 +00:00
|
|
|
#define __TEST_EQ(KIND, FILE, LINE, FUNC, WANTCODE, GOTCODE, WANT, GOT, ...) \
|
2021-02-07 14:11:44 +00:00
|
|
|
do { \
|
|
|
|
|
intptr_t Got, Want; \
|
|
|
|
|
++g_testlib_ran; \
|
|
|
|
|
Got = (intptr_t)(GOT); \
|
|
|
|
|
Want = (intptr_t)(WANT); \
|
2021-02-03 14:22:51 +00:00
|
|
|
if (Want != Got) { \
|
2022-07-08 13:29:24 +00:00
|
|
|
testlib_error_enter(FILE, FUNC); \
|
2021-02-07 14:11:44 +00:00
|
|
|
testlib_showerror_##KIND##_eq(LINE, WANTCODE, GOTCODE, \
|
|
|
|
|
testlib_formatint(Want), \
|
|
|
|
|
testlib_formatint(Got), "" __VA_ARGS__); \
|
2022-07-08 13:29:24 +00:00
|
|
|
testlib_error_leave(); \
|
2021-02-03 14:22:51 +00:00
|
|
|
} \
|
|
|
|
|
(void)0; \
|
2021-02-07 14:11:44 +00:00
|
|
|
} while (0)
|
2021-02-03 14:22:51 +00:00
|
|
|
|
|
|
|
|
#define __TEST_NE(KIND, FILE, LINE, FUNC, WANTCODE, GOTCODE, WANT, GOT, ...) \
|
2021-02-07 14:11:44 +00:00
|
|
|
do { \
|
|
|
|
|
intptr_t Got, Want; \
|
|
|
|
|
++g_testlib_ran; \
|
|
|
|
|
Got = (intptr_t)(GOT); \
|
|
|
|
|
Want = (intptr_t)(WANT); \
|
2021-02-03 14:22:51 +00:00
|
|
|
if (Want == Got) { \
|
2022-07-08 13:29:24 +00:00
|
|
|
testlib_error_enter(FILE, FUNC); \
|
2021-02-07 14:11:44 +00:00
|
|
|
testlib_showerror_##KIND##_ne(LINE, WANTCODE, GOTCODE, \
|
|
|
|
|
testlib_formatint(Want), \
|
|
|
|
|
testlib_formatint(Got), "" __VA_ARGS__); \
|
2022-07-08 13:29:24 +00:00
|
|
|
testlib_error_leave(); \
|
2021-02-03 14:22:51 +00:00
|
|
|
} \
|
2021-02-07 14:11:44 +00:00
|
|
|
} while (0)
|
2021-02-03 14:22:51 +00:00
|
|
|
|
|
|
|
|
#define _TEST2(NAME, WANT, OP, GOT, WANTCODE, OPSTR, GOTCODE, ISFATAL) \
|
|
|
|
|
do { \
|
2021-02-07 14:11:44 +00:00
|
|
|
intptr_t Want = (intptr_t)(WANT); \
|
|
|
|
|
intptr_t Got = (intptr_t)(GOT); \
|
2021-02-03 14:22:51 +00:00
|
|
|
if (!(Want OP Got)) { \
|
|
|
|
|
testlib_showerror(FILIFU NAME, OPSTR, WANTCODE OPSTR GOTCODE, \
|
|
|
|
|
testlib_formatint(Want), testlib_formatint(Got)); \
|
|
|
|
|
testlib_onfail2(ISFATAL); \
|
|
|
|
|
} \
|
|
|
|
|
} while (0)
|
|
|
|
|
|
2021-02-01 11:33:13 +00:00
|
|
|
typedef void (*testfn_t)(void);
|
|
|
|
|
|
|
|
|
|
struct TestFixture {
|
|
|
|
|
const char *group;
|
|
|
|
|
const char *name;
|
|
|
|
|
testfn_t fn;
|
|
|
|
|
};
|
|
|
|
|
|
2020-06-15 14:18:57 +00:00
|
|
|
extern char g_fixturename[256];
|
2022-04-28 16:42:36 +00:00
|
|
|
extern char g_testlib_olddir[PATH_MAX];
|
|
|
|
|
extern char g_testlib_tmpdir[PATH_MAX];
|
2020-06-15 14:18:57 +00:00
|
|
|
extern bool g_testlib_shoulddebugbreak; /* set by testmain */
|
2022-06-13 18:02:13 +00:00
|
|
|
extern _Atomic(unsigned) g_testlib_ran; /* set by wrappers */
|
|
|
|
|
extern _Atomic(unsigned) g_testlib_failed; /* set by wrappers */
|
2020-06-15 14:18:57 +00:00
|
|
|
extern const char *testlib_showerror_errno; /* set by macros */
|
|
|
|
|
extern const char *testlib_showerror_file; /* set by macros */
|
|
|
|
|
extern const char *testlib_showerror_func; /* set by macros */
|
|
|
|
|
extern const testfn_t __bench_start[], __bench_end[];
|
|
|
|
|
extern const testfn_t __testcase_start[], __testcase_end[];
|
|
|
|
|
extern const struct TestFixture __fixture_start[], __fixture_end[];
|
|
|
|
|
extern const struct TestFixture __combo_start[], __combo_end[];
|
|
|
|
|
|
2021-02-07 14:11:44 +00:00
|
|
|
void testlib_showerror_assert_eq(int, const char *, const char *, char *,
|
|
|
|
|
char *, const char *, ...) wontreturn;
|
|
|
|
|
void testlib_showerror_assert_false(int, const char *, const char *, char *,
|
|
|
|
|
char *, const char *, ...) wontreturn;
|
|
|
|
|
void testlib_showerror_assert_ne(int, const char *, const char *, char *,
|
|
|
|
|
char *, const char *, ...) wontreturn;
|
|
|
|
|
void testlib_showerror_assert_true(int, const char *, const char *, char *,
|
|
|
|
|
char *, const char *, ...) wontreturn;
|
|
|
|
|
void testlib_showerror_expect_eq(int, const char *, const char *, char *,
|
|
|
|
|
char *, const char *, ...);
|
|
|
|
|
void testlib_showerror_expect_false(int, const char *, const char *, char *,
|
|
|
|
|
char *, const char *, ...);
|
|
|
|
|
void testlib_showerror_expect_ne(int, const char *, const char *, char *,
|
|
|
|
|
char *, const char *, ...);
|
|
|
|
|
void testlib_showerror_expect_true(int, const char *, const char *, char *,
|
|
|
|
|
char *, const char *, ...);
|
|
|
|
|
|
2022-07-08 13:29:24 +00:00
|
|
|
void testlib_error_leave(void);
|
|
|
|
|
void testlib_error_enter(const char *, const char *);
|
2021-02-07 14:11:44 +00:00
|
|
|
void testlib_showerror(const char *, int, const char *, const char *,
|
|
|
|
|
const char *, const char *, char *, char *);
|
2020-06-15 14:18:57 +00:00
|
|
|
|
|
|
|
|
void thrashcodecache(void);
|
|
|
|
|
|
|
|
|
|
void testlib_finish(void);
|
2022-08-11 07:15:29 +00:00
|
|
|
int testlib_geterrno(void);
|
|
|
|
|
void testlib_seterrno(int);
|
2020-06-15 14:18:57 +00:00
|
|
|
void testlib_runalltests(void);
|
2022-08-11 07:15:29 +00:00
|
|
|
const char *testlib_strerror(void);
|
2020-06-15 14:18:57 +00:00
|
|
|
void testlib_runallbenchmarks(void);
|
|
|
|
|
void testlib_runtestcases(testfn_t *, testfn_t *, testfn_t);
|
|
|
|
|
void testlib_runcombos(testfn_t *, testfn_t *, const struct TestFixture *,
|
|
|
|
|
const struct TestFixture *);
|
|
|
|
|
void testlib_runfixtures(testfn_t *, testfn_t *, const struct TestFixture *,
|
|
|
|
|
const struct TestFixture *);
|
|
|
|
|
int testlib_countfixtures(const struct TestFixture *,
|
|
|
|
|
const struct TestFixture *);
|
2020-12-05 20:20:41 +00:00
|
|
|
void testlib_abort(void) wontreturn relegated;
|
2020-06-15 14:18:57 +00:00
|
|
|
bool testlib_strequals(size_t, const void *, const void *) nosideeffect;
|
|
|
|
|
bool testlib_strnequals(size_t, const void *, const void *,
|
|
|
|
|
size_t) nosideeffect;
|
|
|
|
|
bool testlib_strcaseequals(size_t, const void *, const void *) nosideeffect;
|
|
|
|
|
bool testlib_strncaseequals(size_t, const void *, const void *,
|
|
|
|
|
size_t) nosideeffect;
|
|
|
|
|
void testlib_free(void *);
|
|
|
|
|
bool testlib_binequals(const char16_t *, const void *, size_t) nosideeffect;
|
|
|
|
|
bool testlib_hexequals(const char *, const void *, size_t) nosideeffect;
|
|
|
|
|
bool testlib_startswith(size_t, const void *, const void *) nosideeffect;
|
|
|
|
|
bool testlib_endswith(size_t, const void *, const void *) nosideeffect;
|
|
|
|
|
bool testlib_contains(size_t, const void *, const void *) nosideeffect;
|
2021-02-07 14:11:44 +00:00
|
|
|
char *testlib_formatrange(intptr_t, intptr_t) mallocesque;
|
2020-06-15 14:18:57 +00:00
|
|
|
char *testlib_formatstr(size_t, const void *, int) mallocesque;
|
2021-02-07 14:11:44 +00:00
|
|
|
char *testlib_formatint(intptr_t) mallocesque;
|
2020-06-15 14:18:57 +00:00
|
|
|
char *testlib_formatbool(bool);
|
|
|
|
|
char *testlib_formatfloat(long double) mallocesque;
|
|
|
|
|
void testlib_formatbinaryashex(const char *, const void *, size_t, char **,
|
|
|
|
|
char **);
|
|
|
|
|
void testlib_formatbinaryasglyphs(const char16_t *, const void *, size_t,
|
|
|
|
|
char **, char **);
|
|
|
|
|
bool testlib_almostequallongdouble(long double, long double);
|
|
|
|
|
void testlib_incrementfailed(void);
|
2021-02-01 11:33:13 +00:00
|
|
|
void testlib_clearxmmregisters(void);
|
2020-06-15 14:18:57 +00:00
|
|
|
|
|
|
|
|
forceinline void testlib_ontest() {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
forceinline void testlib_onfail2(bool isfatal) {
|
|
|
|
|
testlib_incrementfailed();
|
2022-07-08 13:29:24 +00:00
|
|
|
if (isfatal) {
|
|
|
|
|
testlib_abort();
|
|
|
|
|
}
|
2020-06-15 14:18:57 +00:00
|
|
|
}
|
|
|
|
|
|
2021-02-07 14:11:44 +00:00
|
|
|
forceinline void assertNotEquals(FILIFU_ARGS intptr_t donotwant, intptr_t got,
|
2020-06-15 14:18:57 +00:00
|
|
|
const char *gotcode, bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (got != donotwant) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertNotEquals", "=", gotcode,
|
|
|
|
|
testlib_formatint(got), testlib_formatint(donotwant));
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#define assertLongDoubleGreaterThan(a, b, code, isfatal) \
|
2021-02-07 14:11:44 +00:00
|
|
|
do { \
|
2020-06-15 14:18:57 +00:00
|
|
|
autotype(a) a_ = (a); \
|
|
|
|
|
autotype(b) b_ = (b); \
|
|
|
|
|
if (a_ <= b_) { \
|
|
|
|
|
testlib_showerror(FILIFU "assertLongDoubleGreaterThan", ">", code, \
|
|
|
|
|
testlib_formatfloat(a_), testlib_formatfloat(b_)); \
|
|
|
|
|
testlib_onfail2(isfatal); \
|
|
|
|
|
} \
|
|
|
|
|
(void)0; \
|
2021-02-07 14:11:44 +00:00
|
|
|
} while (0)
|
2020-06-15 14:18:57 +00:00
|
|
|
|
|
|
|
|
#define assertLongDoubleLessThan(a, b, code, isfatal) \
|
2021-02-07 14:11:44 +00:00
|
|
|
do { \
|
2020-06-15 14:18:57 +00:00
|
|
|
autotype(a) a_ = (a); \
|
|
|
|
|
autotype(b) b_ = (b); \
|
|
|
|
|
if (a_ >= b_) { \
|
|
|
|
|
testlib_showerror(FILIFU "assertLongDoubleLessThan", "<", code, \
|
|
|
|
|
testlib_formatfloat(a_), testlib_formatfloat(b_)); \
|
|
|
|
|
testlib_onfail2(isfatal); \
|
|
|
|
|
} \
|
|
|
|
|
(void)0; \
|
2021-02-07 14:11:44 +00:00
|
|
|
} while (0)
|
2020-06-15 14:18:57 +00:00
|
|
|
|
2021-02-07 14:11:44 +00:00
|
|
|
forceinline void assertBetween(FILIFU_ARGS intptr_t beg, intptr_t end,
|
|
|
|
|
intptr_t got, const char *gotcode,
|
2020-06-15 14:18:57 +00:00
|
|
|
bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (beg <= got && got <= end) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertBetween", "∉", gotcode,
|
|
|
|
|
testlib_formatint(got), testlib_formatrange(beg, end));
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
forceinline void assertStringEquals(FILIFU_ARGS size_t cw, const void *want,
|
|
|
|
|
const void *got, const char *gotcode,
|
|
|
|
|
bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (testlib_strequals(cw, want, got)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertStringEquals", "≠", gotcode,
|
|
|
|
|
testlib_formatstr(cw, want, -1),
|
|
|
|
|
testlib_formatstr(cw, got, -1));
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
forceinline void assertStringNotEquals(FILIFU_ARGS size_t cw, const void *want,
|
|
|
|
|
const void *got, const char *gotcode,
|
|
|
|
|
bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (!testlib_strequals(cw, want, got)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertStringNotEquals", "=", gotcode,
|
|
|
|
|
testlib_formatstr(cw, want, -1),
|
|
|
|
|
testlib_formatstr(cw, got, -1));
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
forceinline void assertStrnEquals(FILIFU_ARGS size_t cw, const void *want,
|
|
|
|
|
const void *got, size_t n,
|
|
|
|
|
const char *gotcode, bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (testlib_strnequals(cw, want, got, n)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertStrnEquals", "≠", gotcode,
|
|
|
|
|
testlib_formatstr(cw, got, n),
|
|
|
|
|
testlib_formatstr(cw, want, n));
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
forceinline void assertStrnNotEquals(FILIFU_ARGS size_t cw, const void *want,
|
|
|
|
|
const void *got, size_t n,
|
|
|
|
|
const char *gotcode, bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (!testlib_strnequals(cw, want, got, n)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertStrnNotEquals", "=", gotcode,
|
|
|
|
|
testlib_formatstr(cw, got, n),
|
|
|
|
|
testlib_formatstr(cw, want, n));
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
forceinline void assertStringCaseEquals(FILIFU_ARGS size_t cw, const void *want,
|
|
|
|
|
const void *got, const char *gotcode,
|
|
|
|
|
bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (testlib_strcaseequals(cw, want, got)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertStringCaseEquals", "≠", gotcode,
|
|
|
|
|
testlib_formatstr(cw, got, -1),
|
|
|
|
|
testlib_formatstr(cw, want, -1));
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
forceinline void assertStringCaseNotEquals(FILIFU_ARGS size_t cw,
|
|
|
|
|
const void *want, const void *got,
|
|
|
|
|
const char *gotcode, bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (!testlib_strcaseequals(cw, want, got)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertStringCaseNotEquals", "=", gotcode,
|
|
|
|
|
testlib_formatstr(cw, got, -1),
|
|
|
|
|
testlib_formatstr(cw, want, -1));
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
forceinline void assertStrnCaseEquals(FILIFU_ARGS size_t cw, const void *want,
|
|
|
|
|
const void *got, size_t n,
|
|
|
|
|
const char *gotcode, bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (testlib_strncaseequals(cw, want, got, n)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertStrnCaseEquals", "≠", gotcode,
|
|
|
|
|
testlib_formatstr(cw, got, n),
|
|
|
|
|
testlib_formatstr(cw, want, n));
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
forceinline void assertStrnCaseNotEquals(FILIFU_ARGS size_t cw,
|
|
|
|
|
const void *want, const void *got,
|
|
|
|
|
size_t n, const char *gotcode,
|
|
|
|
|
bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (!testlib_strncaseequals(cw, want, got, n)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertStrnCaseNotEquals", "=", gotcode,
|
|
|
|
|
testlib_formatstr(cw, got, n),
|
|
|
|
|
testlib_formatstr(cw, want, n));
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
forceinline void assertStartsWith(FILIFU_ARGS size_t cw, const char *prefix,
|
|
|
|
|
const char *s, const char *gotcode,
|
|
|
|
|
bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (testlib_startswith(cw, s, prefix)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertStartsWith", "≠", gotcode,
|
2020-08-25 11:23:25 +00:00
|
|
|
testlib_formatstr(1, prefix, -1),
|
|
|
|
|
testlib_formatstr(1, s, -1));
|
2020-06-15 14:18:57 +00:00
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
forceinline void assertEndsWith(FILIFU_ARGS size_t cw, const char *suffix,
|
|
|
|
|
const char *s, const char *gotcode,
|
|
|
|
|
bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (testlib_endswith(cw, s, suffix)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertEndsWith", "≠", gotcode,
|
|
|
|
|
testlib_formatstr(1, s, -1),
|
|
|
|
|
testlib_formatstr(1, suffix, -1));
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
forceinline void assertContains(FILIFU_ARGS size_t cw, const char *needle,
|
|
|
|
|
const char *s, const char *gotcode,
|
|
|
|
|
bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (testlib_contains(cw, s, needle)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertContains", "∉", gotcode,
|
|
|
|
|
testlib_formatstr(1, s, -1),
|
|
|
|
|
testlib_formatstr(1, needle, -1));
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
2021-02-06 08:24:35 +00:00
|
|
|
forceinline void assertBinaryEquals_cp437(FILIFU_ARGS const char16_t *want,
|
2020-06-15 14:18:57 +00:00
|
|
|
const void *got, size_t n,
|
|
|
|
|
const char *gotcode, bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
char *v1, *v2;
|
|
|
|
|
if (testlib_binequals(want, got, n)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_formatbinaryasglyphs(want, got, n, &v1, &v2);
|
|
|
|
|
testlib_showerror(file, line, func, "assertBinaryEquals", "≠", gotcode, v1,
|
|
|
|
|
v2);
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
2021-02-06 08:24:35 +00:00
|
|
|
forceinline void assertBinaryEquals_hex(FILIFU_ARGS const char *want,
|
2020-06-15 14:18:57 +00:00
|
|
|
const void *got, size_t n,
|
|
|
|
|
const char *gotcode, bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
char *v1, *v2;
|
|
|
|
|
if (testlib_hexequals(want, got, n)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_formatbinaryashex(want, got, n, &v1, &v2);
|
|
|
|
|
testlib_showerror(file, line, func, "assertBinaryEquals", "≠", gotcode, v1,
|
|
|
|
|
v2);
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
2021-02-06 08:24:35 +00:00
|
|
|
forceinline void assertBinaryNotEquals_cp437(FILIFU_ARGS const char16_t *want,
|
2020-06-15 14:18:57 +00:00
|
|
|
const void *got, size_t n,
|
|
|
|
|
const char *gotcode,
|
|
|
|
|
bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
char *v1, *v2;
|
|
|
|
|
if (!testlib_binequals(want, got, n)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_formatbinaryasglyphs(want, got, n, &v1, &v2);
|
|
|
|
|
testlib_showerror(file, line, func, "assertBinaryNotEquals", "=", gotcode, v1,
|
|
|
|
|
v2);
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
2021-02-06 08:24:35 +00:00
|
|
|
forceinline void assertBinaryNotEquals_hex(FILIFU_ARGS const char *want,
|
2020-06-15 14:18:57 +00:00
|
|
|
const void *got, size_t n,
|
|
|
|
|
const char *gotcode, bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
char *v1, *v2;
|
|
|
|
|
if (!testlib_hexequals(want, got, n)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_formatbinaryashex(want, got, n, &v1, &v2);
|
|
|
|
|
testlib_showerror(file, line, func, "assertBinaryNotEquals", "=", gotcode, v1,
|
|
|
|
|
v2);
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
forceinline void assertLongDoubleEquals(FILIFU_ARGS long double want,
|
|
|
|
|
long double got, const char *gotcode,
|
|
|
|
|
bool isfatal) {
|
|
|
|
|
++g_testlib_ran;
|
|
|
|
|
if (testlib_almostequallongdouble(want, got)) return;
|
|
|
|
|
if (g_testlib_shoulddebugbreak) DebugBreak();
|
|
|
|
|
testlib_showerror(file, line, func, "assertLongDoubleEquals", "≠", gotcode,
|
|
|
|
|
testlib_formatfloat(want), testlib_formatfloat(got));
|
|
|
|
|
testlib_onfail2(isfatal);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
COSMOPOLITAN_C_END_
|
|
|
|
|
#endif /* !(__ASSEMBLER__ + __LINKER__ + 0) */
|
|
|
|
|
#endif /* COSMOPOLITAN_LIBC_TESTLIB_H_ */
|