2020-06-15 14:18:57 +00:00
|
|
|
#ifndef COSMOPOLITAN_LIBC_TESTLIB_H_
|
|
|
|
|
#define COSMOPOLITAN_LIBC_TESTLIB_H_
|
2023-11-16 04:57:18 +00:00
|
|
|
#include "libc/stdbool.h"
|
2020-06-15 14:18:57 +00:00
|
|
|
COSMOPOLITAN_C_START_
|
|
|
|
|
/*───────────────────────────────────────────────────────────────────────────│─╗
|
|
|
|
|
│ cosmopolitan § testing library ─╬─│┼
|
|
|
|
|
╚────────────────────────────────────────────────────────────────────────────│*/
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Declares test case function.
|
|
|
|
|
*
|
|
|
|
|
* Test cases are guaranteed by the linker to be run in order, sorted by
|
|
|
|
|
* the (SUITE, NAME) tuple passed here.
|
|
|
|
|
*/
|
2023-08-21 09:28:24 +00:00
|
|
|
#define TEST(SUITE, NAME) \
|
2023-07-26 20:54:49 +00:00
|
|
|
__static_yoink("__testcase_start"); \
|
2021-02-07 14:11:44 +00:00
|
|
|
__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.
|
|
|
|
|
*/
|
2023-08-21 09:28:24 +00:00
|
|
|
#define FIXTURE(SUITE, NAME) \
|
2023-07-26 20:54:49 +00:00
|
|
|
__static_yoink("__fixture_start"); \
|
2021-02-07 14:11:44 +00:00
|
|
|
__FIXTURE("fixture", SUITE, NAME)
|
2020-06-15 14:18:57 +00:00
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Declares benchmark function.
|
|
|
|
|
*
|
2024-03-03 00:57:56 +00:00
|
|
|
* These only run if (1) the -b flag is passed to the FOO_test; and (2)
|
|
|
|
|
* the unit tests passed. It's just an ordinary function, that gets
|
2020-06-15 14:18:57 +00:00
|
|
|
* registered with the linker. It should print things to stdout.
|
|
|
|
|
*
|
|
|
|
|
* @see EZBENCH()
|
|
|
|
|
*/
|
2023-08-21 09:28:24 +00:00
|
|
|
#define BENCH(SUITE, NAME) \
|
2023-07-26 20:54:49 +00:00
|
|
|
__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)
|
|
|
|
|
|
2023-05-12 04:53:15 +00:00
|
|
|
#ifdef __aarch64__
|
|
|
|
|
#define _TESTLIB_ASM_COMMENT "//"
|
|
|
|
|
#else
|
|
|
|
|
#define _TESTLIB_ASM_COMMENT "#"
|
|
|
|
|
#endif
|
2022-08-11 07:15:29 +00:00
|
|
|
|
2023-05-12 04:53:15 +00:00
|
|
|
#define __TEST_ARRAY(S) \
|
|
|
|
|
_Section(".piro.relo.sort.testcase.2." #S \
|
|
|
|
|
",\"aw\",@init_array "_TESTLIB_ASM_COMMENT)
|
|
|
|
|
|
|
|
|
|
#define __BENCH_ARRAY(S) \
|
|
|
|
|
_Section(".piro.relo.sort.bench.2." #S \
|
|
|
|
|
",\"aw\",@init_array "_TESTLIB_ASM_COMMENT)
|
2022-08-11 07:15:29 +00:00
|
|
|
|
|
|
|
|
#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)
|
|
|
|
|
|
2022-09-13 06:10:38 +00:00
|
|
|
#define TESTLIB_STRINGIFY(A) _TESTLIB_STRINGIFY(A)
|
|
|
|
|
#define _TESTLIB_STRINGIFY(A) #A
|
|
|
|
|
|
|
|
|
|
#define __FIXTURE(KIND, GROUP, ENTRY) \
|
|
|
|
|
asm(__RELOSECTION("." KIND ".2." #GROUP #ENTRY, \
|
|
|
|
|
"\t.quad\t1f\n" \
|
|
|
|
|
"\t.quad\t2f\n" \
|
|
|
|
|
"\t.quad\t" TESTLIB_STRINGIFY(GROUP##_##ENTRY)) \
|
|
|
|
|
__ROSTR("1:\t.asciz\t" TESTLIB_STRINGIFY(#GROUP)) \
|
|
|
|
|
__ROSTR("2:\t.asciz\t" TESTLIB_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.
|
|
|
|
|
*
|
Make improvements
- Every unit test now passes on Apple Silicon. The final piece of this
puzzle was porting our POSIX threads cancelation support, since that
works differently on ARM64 XNU vs. AMD64. Our semaphore support on
Apple Silicon is also superior now compared to AMD64, thanks to the
grand central dispatch library which lets *NSYNC locks go faster.
- The Cosmopolitan runtime is now more stable, particularly on Windows.
To do this, thread local storage is mandatory at all runtime levels,
and the innermost packages of the C library is no longer being built
using ASAN. TLS is being bootstrapped with a 128-byte TIB during the
process startup phase, and then later on the runtime re-allocates it
either statically or dynamically to support code using _Thread_local.
fork() and execve() now do a better job cooperating with threads. We
can now check how much stack memory is left in the process or thread
when functions like kprintf() / execve() etc. call alloca(), so that
ENOMEM can be raised, reduce a buffer size, or just print a warning.
- POSIX signal emulation is now implemented the same way kernels do it
with pthread_kill() and raise(). Any thread can interrupt any other
thread, regardless of what it's doing. If it's blocked on read/write
then the killer thread will cancel its i/o operation so that EINTR can
be returned in the mark thread immediately. If it's doing a tight CPU
bound operation, then that's also interrupted by the signal delivery.
Signal delivery works now by suspending a thread and pushing context
data structures onto its stack, and redirecting its execution to a
trampoline function, which calls SetThreadContext(GetCurrentThread())
when it's done.
- We're now doing a better job managing locks and handles. On NetBSD we
now close semaphore file descriptors in forked children. Semaphores on
Windows can now be canceled immediately, which means mutexes/condition
variables will now go faster. Apple Silicon semaphores can be canceled
too. We're now using Apple's pthread_yield() funciton. Apple _nocancel
syscalls are now used on XNU when appropriate to ensure pthread_cancel
requests aren't lost. The MbedTLS library has been updated to support
POSIX thread cancelations. See tool/build/runitd.c for an example of
how it can be used for production multi-threaded tls servers. Handles
on Windows now leak less often across processes. All i/o operations on
Windows are now overlapped, which means file pointers can no longer be
inherited across dup() and fork() for the time being.
- We now spawn a thread on Windows to deliver SIGCHLD and wakeup wait4()
which means, for example, that posix_spawn() now goes 3x faster. POSIX
spawn is also now more correct. Like Musl, it's now able to report the
failure code of execve() via a pipe although our approach favors using
shared memory to do that on systems that have a true vfork() function.
- We now spawn a thread to deliver SIGALRM to threads when setitimer()
is used. This enables the most precise wakeups the OS makes possible.
- The Cosmopolitan runtime now uses less memory. On NetBSD for example,
it turned out the kernel would actually commit the PT_GNU_STACK size
which caused RSS to be 6mb for every process. Now it's down to ~4kb.
On Apple Silicon, we reduce the mandatory upstream thread size to the
smallest possible size to reduce the memory overhead of Cosmo threads.
The examples directory has a program called greenbean which can spawn
a web server on Linux with 10,000 worker threads and have the memory
usage of the process be ~77mb. The 1024 byte overhead of POSIX-style
thread-local storage is now optional; it won't be allocated until the
pthread_setspecific/getspecific functions are called. On Windows, the
threads that get spawned which are internal to the libc implementation
use reserve rather than commit memory, which shaves a few hundred kb.
- sigaltstack() is now supported on Windows, however it's currently not
able to be used to handle stack overflows, since crash signals are
still generated by WIN32. However the crash handler will still switch
to the alt stack, which is helpful in environments with tiny threads.
- Test binaries are now smaller. Many of the mandatory dependencies of
the test runner have been removed. This ensures many programs can do a
better job only linking the the thing they're testing. This caused the
test binaries for LIBC_FMT for example, to decrease from 200kb to 50kb
- long double is no longer used in the implementation details of libc,
except in the APIs that define it. The old code that used long double
for time (instead of struct timespec) has now been thoroughly removed.
- ShowCrashReports() is now much tinier in MODE=tiny. Instead of doing
backtraces itself, it'll just print a command you can run on the shell
using our new `cosmoaddr2line` program to view the backtrace.
- Crash report signal handling now works in a much better way. Instead
of terminating the process, it now relies on SA_RESETHAND so that the
default SIG_IGN behavior can terminate the process if necessary.
- Our pledge() functionality has now been fully ported to AARCH64 Linux.
2023-09-19 03:44:45 +00:00
|
|
|
* These should be called from SetUpOnce().
|
2021-02-03 14:22:51 +00:00
|
|
|
*/
|
Make improvements
- Every unit test now passes on Apple Silicon. The final piece of this
puzzle was porting our POSIX threads cancelation support, since that
works differently on ARM64 XNU vs. AMD64. Our semaphore support on
Apple Silicon is also superior now compared to AMD64, thanks to the
grand central dispatch library which lets *NSYNC locks go faster.
- The Cosmopolitan runtime is now more stable, particularly on Windows.
To do this, thread local storage is mandatory at all runtime levels,
and the innermost packages of the C library is no longer being built
using ASAN. TLS is being bootstrapped with a 128-byte TIB during the
process startup phase, and then later on the runtime re-allocates it
either statically or dynamically to support code using _Thread_local.
fork() and execve() now do a better job cooperating with threads. We
can now check how much stack memory is left in the process or thread
when functions like kprintf() / execve() etc. call alloca(), so that
ENOMEM can be raised, reduce a buffer size, or just print a warning.
- POSIX signal emulation is now implemented the same way kernels do it
with pthread_kill() and raise(). Any thread can interrupt any other
thread, regardless of what it's doing. If it's blocked on read/write
then the killer thread will cancel its i/o operation so that EINTR can
be returned in the mark thread immediately. If it's doing a tight CPU
bound operation, then that's also interrupted by the signal delivery.
Signal delivery works now by suspending a thread and pushing context
data structures onto its stack, and redirecting its execution to a
trampoline function, which calls SetThreadContext(GetCurrentThread())
when it's done.
- We're now doing a better job managing locks and handles. On NetBSD we
now close semaphore file descriptors in forked children. Semaphores on
Windows can now be canceled immediately, which means mutexes/condition
variables will now go faster. Apple Silicon semaphores can be canceled
too. We're now using Apple's pthread_yield() funciton. Apple _nocancel
syscalls are now used on XNU when appropriate to ensure pthread_cancel
requests aren't lost. The MbedTLS library has been updated to support
POSIX thread cancelations. See tool/build/runitd.c for an example of
how it can be used for production multi-threaded tls servers. Handles
on Windows now leak less often across processes. All i/o operations on
Windows are now overlapped, which means file pointers can no longer be
inherited across dup() and fork() for the time being.
- We now spawn a thread on Windows to deliver SIGCHLD and wakeup wait4()
which means, for example, that posix_spawn() now goes 3x faster. POSIX
spawn is also now more correct. Like Musl, it's now able to report the
failure code of execve() via a pipe although our approach favors using
shared memory to do that on systems that have a true vfork() function.
- We now spawn a thread to deliver SIGALRM to threads when setitimer()
is used. This enables the most precise wakeups the OS makes possible.
- The Cosmopolitan runtime now uses less memory. On NetBSD for example,
it turned out the kernel would actually commit the PT_GNU_STACK size
which caused RSS to be 6mb for every process. Now it's down to ~4kb.
On Apple Silicon, we reduce the mandatory upstream thread size to the
smallest possible size to reduce the memory overhead of Cosmo threads.
The examples directory has a program called greenbean which can spawn
a web server on Linux with 10,000 worker threads and have the memory
usage of the process be ~77mb. The 1024 byte overhead of POSIX-style
thread-local storage is now optional; it won't be allocated until the
pthread_setspecific/getspecific functions are called. On Windows, the
threads that get spawned which are internal to the libc implementation
use reserve rather than commit memory, which shaves a few hundred kb.
- sigaltstack() is now supported on Windows, however it's currently not
able to be used to handle stack overflows, since crash signals are
still generated by WIN32. However the crash handler will still switch
to the alt stack, which is helpful in environments with tiny threads.
- Test binaries are now smaller. Many of the mandatory dependencies of
the test runner have been removed. This ensures many programs can do a
better job only linking the the thing they're testing. This caused the
test binaries for LIBC_FMT for example, to decrease from 200kb to 50kb
- long double is no longer used in the implementation details of libc,
except in the APIs that define it. The old code that used long double
for time (instead of struct timespec) has now been thoroughly removed.
- ShowCrashReports() is now much tinier in MODE=tiny. Instead of doing
backtraces itself, it'll just print a command you can run on the shell
using our new `cosmoaddr2line` program to view the backtrace.
- Crash report signal handling now works in a much better way. Instead
of terminating the process, it now relies on SA_RESETHAND so that the
default SIG_IGN behavior can terminate the process if necessary.
- Our pledge() functionality has now been fully ported to AARCH64 Linux.
2023-09-19 03:44:45 +00:00
|
|
|
void testlib_enable_tmp_setup_teardown(void);
|
|
|
|
|
void testlib_enable_tmp_setup_teardown_once(void);
|
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)
|
|
|
|
|
|
2024-02-01 11:39:46 +00:00
|
|
|
#define ASSERT_BINEQ(WANT, GOT) \
|
|
|
|
|
_Generic((WANT)[0], \
|
|
|
|
|
char: assertBinaryEquals_hex, \
|
|
|
|
|
default: assertBinaryEquals_cp437)(FILIFU WANT, GOT, -1, #GOT, true)
|
|
|
|
|
#define ASSERT_BINNE(NOPE, GOT) \
|
|
|
|
|
_Generic((NOPE)[0], \
|
|
|
|
|
char: assertBinaryNotEquals_hex, \
|
|
|
|
|
default: assertBinaryNotEquals_cp437)(FILIFU NOPE, GOT, -1, #GOT, true)
|
|
|
|
|
#define ASSERT_BINEQN(WANT, GOT, N) \
|
|
|
|
|
_Generic((WANT)[0], \
|
|
|
|
|
char: assertBinaryEquals_hex, \
|
|
|
|
|
default: assertBinaryEquals_cp437)(FILIFU WANT, GOT, N, #GOT, true)
|
|
|
|
|
#define ASSERT_BINNEN(NOPE, GOT, N) \
|
|
|
|
|
_Generic((NOPE)[0], \
|
|
|
|
|
char: 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 { \
|
2023-08-21 09:28:24 +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(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__); \
|
2023-08-21 09:28:24 +00:00
|
|
|
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)
|
|
|
|
|
|
|
|
|
|
#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)
|
|
|
|
|
|
2024-02-01 11:39:46 +00:00
|
|
|
#define EXPECT_BINEQ(WANT, GOT) \
|
|
|
|
|
_Generic((WANT)[0], \
|
|
|
|
|
char: assertBinaryEquals_hex, \
|
|
|
|
|
default: assertBinaryEquals_cp437)(FILIFU WANT, GOT, -1, #GOT, false)
|
|
|
|
|
#define EXPECT_BINNE(NOPE, GOT) \
|
|
|
|
|
_Generic((NOPE)[0], \
|
|
|
|
|
char: assertBinaryNotEquals_hex, \
|
|
|
|
|
default: assertBinaryNotEquals_cp437)(FILIFU NOPE, GOT, -1, #GOT, false)
|
|
|
|
|
#define EXPECT_BINEQN(WANT, GOT, N) \
|
|
|
|
|
_Generic((WANT)[0], \
|
|
|
|
|
char: assertBinaryEquals_hex, \
|
|
|
|
|
default: assertBinaryEquals_cp437)(FILIFU WANT, GOT, N, #GOT, false)
|
|
|
|
|
#define EXPECT_BINNEN(NOPE, GOT, N) \
|
|
|
|
|
_Generic((NOPE)[0], \
|
|
|
|
|
char: 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];
|
|
|
|
|
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[];
|
|
|
|
|
|
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 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);
|
2022-10-02 06:11:56 +00:00
|
|
|
bool testlib_memoryexists(const void *);
|
2023-09-02 03:49:13 +00:00
|
|
|
void testlib_runtestcases(const testfn_t *, const testfn_t *, testfn_t);
|
|
|
|
|
void testlib_runfixtures(const testfn_t *, const testfn_t *,
|
|
|
|
|
const struct TestFixture *,
|
2020-06-15 14:18:57 +00:00
|
|
|
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 *);
|
2022-10-02 14:03:12 +00:00
|
|
|
void testlib_extract(const char *, const char *, int);
|
2020-06-15 14:18:57 +00:00
|
|
|
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 /* COSMOPOLITAN_LIBC_TESTLIB_H_ */
|