aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/simple-test.h472
1 files changed, 0 insertions, 472 deletions
diff --git a/src/simple-test.h b/src/simple-test.h
deleted file mode 100644
index 63da668..0000000
--- a/src/simple-test.h
+++ /dev/null
@@ -1,472 +0,0 @@
-#ifndef SIMPLE_TEST_H
-#define SIMPLE_TEST_H
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <stdbool.h>
-#include <stdint.h>
-#include <inttypes.h>
-#include <stdarg.h>
-#include <string.h>
-
-
-/**************************************************
- * INTERNAL FUNCTIONALITY. DO NOT CALL DIRECTLY *
- **************************************************/
-
-enum simple_test_type {
- SIMPLE_TEST_BOOL,
- SIMPLE_TEST_INT,
- SIMPLE_TEST_UNSIGNED,
- SIMPLE_TEST_CHAR,
- SIMPLE_TEST_STRING,
- SIMPLE_TEST_POINTER,
- SIMPLE_TEST_UNKNOWN,
- SIMPLE_TEST_MISMATCH,
-};
-
-enum simple_test_cond {
- SIMPLE_TEST_TRUE,
- SIMPLE_TEST_FALSE,
- SIMPLE_TEST_EQ,
- SIMPLE_TEST_NEQ,
- SIMPLE_TEST_GT,
- SIMPLE_TEST_LT,
- SIMPLE_TEST_GEQ,
- SIMPLE_TEST_LEQ
-};
-
-static intmax_t simple_test_il, simple_test_ir;
-static uintmax_t simple_test_ul, simple_test_ur;
-static char *simple_test_sl, *simple_test_sr;
-static void *simple_test_pl, *simple_test_pr;
-
-static int simple_test_assert(enum simple_test_type t,
- enum simple_test_cond c, ...)
-{
- va_list ap;
- bool two = !(c == SIMPLE_TEST_TRUE || c == SIMPLE_TEST_FALSE);
-
- int r;
-
- va_start(ap, c);
-
- switch (t) {
- case SIMPLE_TEST_MISMATCH:
- return -2;
- case SIMPLE_TEST_BOOL:
- case SIMPLE_TEST_INT:
- case SIMPLE_TEST_CHAR:
- simple_test_il = va_arg(ap, intmax_t);
- if (two) simple_test_ir = va_arg(ap, intmax_t);
- switch (c) {
- case SIMPLE_TEST_TRUE:
- r = simple_test_il;
- goto end;
- case SIMPLE_TEST_FALSE:
- r = !simple_test_il;
- goto end;
- case SIMPLE_TEST_EQ:
- r = simple_test_il == simple_test_ir;
- goto end;
- case SIMPLE_TEST_NEQ:
- r = simple_test_il != simple_test_ir;
- goto end;
- case SIMPLE_TEST_GT:
- r = simple_test_il > simple_test_ir;
- goto end;
- case SIMPLE_TEST_LT:
- r = simple_test_il < simple_test_ir;
- goto end;
- case SIMPLE_TEST_GEQ:
- r = simple_test_il >= simple_test_ir;
- goto end;
- case SIMPLE_TEST_LEQ:
- r = simple_test_il <= simple_test_ir;
- goto end;
- }
-
- case SIMPLE_TEST_UNSIGNED:
- simple_test_ul = va_arg(ap, uintmax_t);
- if (two) simple_test_ur = va_arg(ap, uintmax_t);
- switch (c) {
- case SIMPLE_TEST_TRUE:
- r = simple_test_ul;
- goto end;
- case SIMPLE_TEST_FALSE:
- r = !simple_test_ul;
- goto end;
- case SIMPLE_TEST_EQ:
- r = simple_test_ul == simple_test_ur;
- goto end;
- case SIMPLE_TEST_NEQ:
- r = simple_test_ul != simple_test_ur;
- goto end;
- case SIMPLE_TEST_GT:
- r = simple_test_ul > simple_test_ur;
- goto end;
- case SIMPLE_TEST_LT:
- r = simple_test_ul < simple_test_ur;
- goto end;
- case SIMPLE_TEST_GEQ:
- r = simple_test_ul >= simple_test_ur;
- goto end;
- case SIMPLE_TEST_LEQ:
- r = simple_test_ul <= simple_test_ur;
- goto end;
- }
-
- case SIMPLE_TEST_STRING:
- simple_test_sl = va_arg(ap, char *);
- if (two) simple_test_sr = va_arg(ap, char *);
- switch (c) {
- case SIMPLE_TEST_TRUE:
- r = simple_test_sl != NULL;
- goto end;
- case SIMPLE_TEST_FALSE:
- r = simple_test_sl == NULL;
- goto end;
- case SIMPLE_TEST_EQ:
- if (simple_test_sl == NULL || simple_test_sr == NULL)
- r = simple_test_sl == simple_test_sr;
- else
- r = strcmp(simple_test_sl, simple_test_sr) ? 0 : 1;
- goto end;
- case SIMPLE_TEST_NEQ:
- if (simple_test_sl == NULL || simple_test_sr == NULL)
- r = simple_test_sl != simple_test_sr;
- else
- r = strcmp(simple_test_sl, simple_test_sr) ? 1 : 0;
- goto end;
- case SIMPLE_TEST_GT:
- if (simple_test_sl == NULL || simple_test_sr == NULL)
- r = false;
- else
- r = strcmp(simple_test_sl, simple_test_sr) > 0 ? 1 : 0;
- goto end;
- case SIMPLE_TEST_LT:
- if (simple_test_sl == NULL || simple_test_sr == NULL)
- r = false;
- else
- r = strcmp(simple_test_sl, simple_test_sr) < 0 ? 1 : 0;
- goto end;
- case SIMPLE_TEST_GEQ:
- if (simple_test_sl == NULL || simple_test_sr == NULL)
- r = false;
- else
- r = strcmp(simple_test_sl, simple_test_sr) >= 0 ? 1 : 0;
- goto end;
- case SIMPLE_TEST_LEQ:
- if (simple_test_sl == NULL || simple_test_sr == NULL)
- r = false;
- else
- r = strcmp(simple_test_sl, simple_test_sr) <= 0 ? 1 : 0;
- goto end;
- }
-
- case SIMPLE_TEST_POINTER:
- simple_test_pl = va_arg(ap, void *);
- if (two) simple_test_pr = va_arg(ap, void *);
- switch (c) {
- case SIMPLE_TEST_TRUE:
- r = simple_test_pl != NULL;
- goto end;
- case SIMPLE_TEST_FALSE:
- r = simple_test_pl == NULL;
- goto end;
- case SIMPLE_TEST_EQ:
- r = simple_test_pl == simple_test_pr;
- goto end;
- case SIMPLE_TEST_NEQ:
- r = simple_test_pl != simple_test_pr;
- goto end;
- case SIMPLE_TEST_GT:
- r = simple_test_pl > simple_test_pr;
- goto end;
- case SIMPLE_TEST_LT:
- r = simple_test_pl < simple_test_pr;
- goto end;
- case SIMPLE_TEST_GEQ:
- r = simple_test_pl >= simple_test_pr;
- goto end;
- case SIMPLE_TEST_LEQ:
- r = simple_test_pl <= simple_test_pr;
- goto end;
- }
-
- default:
- r = -1;
- }
-
-end:
- va_end(ap);
- return r;
-}
-
-static enum simple_test_type simple_test_type_resolve(enum simple_test_type t1,
- enum simple_test_type t2)
-{
- if (t1 != t2) {
- if ((t1 == SIMPLE_TEST_INT && t2 == SIMPLE_TEST_UNSIGNED)
- || (t1 == SIMPLE_TEST_UNSIGNED && t2 == SIMPLE_TEST_INT)
- || (t1 == SIMPLE_TEST_BOOL && t2 == SIMPLE_TEST_UNSIGNED)
- || (t1 == SIMPLE_TEST_UNSIGNED && t2 == SIMPLE_TEST_BOOL)) {
- return SIMPLE_TEST_UNSIGNED;
- } else if ((t1 == SIMPLE_TEST_BOOL && t2 == SIMPLE_TEST_INT)
- || (t1 == SIMPLE_TEST_INT && t2 == SIMPLE_TEST_BOOL)) {
- return SIMPLE_TEST_INT;
- } else if ((t1 == SIMPLE_TEST_INT && t2 == SIMPLE_TEST_CHAR)
- || (t1 == SIMPLE_TEST_CHAR && t2 == SIMPLE_TEST_INT)) {
- return SIMPLE_TEST_CHAR;
- } else if ((t1 == SIMPLE_TEST_CHAR && t2 == SIMPLE_TEST_UNSIGNED)
- || (t1 == SIMPLE_TEST_UNSIGNED && t2 == SIMPLE_TEST_CHAR)) {
- return SIMPLE_TEST_UNSIGNED;
- } else if ((t1 == SIMPLE_TEST_POINTER && t2 == SIMPLE_TEST_STRING)
- || (t1 == SIMPLE_TEST_STRING && t2 == SIMPLE_TEST_POINTER)) {
- return SIMPLE_TEST_POINTER;
- } else {
- return SIMPLE_TEST_MISMATCH;
- }
- }
-
- return t1;
-}
-
-#define SIMPLE_TEST_TYPE(a) \
- _Generic((a), \
- bool: SIMPLE_TEST_BOOL, \
- char: SIMPLE_TEST_CHAR, \
- int8_t: SIMPLE_TEST_INT, \
- int16_t: SIMPLE_TEST_INT, \
- int32_t: SIMPLE_TEST_INT, \
- int64_t: SIMPLE_TEST_INT, \
- uint8_t: SIMPLE_TEST_UNSIGNED, \
- uint16_t: SIMPLE_TEST_UNSIGNED, \
- uint32_t: SIMPLE_TEST_UNSIGNED, \
- uint64_t: SIMPLE_TEST_UNSIGNED, \
- char *: SIMPLE_TEST_STRING, \
- void *: SIMPLE_TEST_POINTER, \
- default: SIMPLE_TEST_UNKNOWN)
-
-#define SIMPLE_TEST_FAIL1(...) \
- do { \
- printf("\e[1m%*c :: at line %d, \e[m\e[1;31mfail: \e[m", \
- simple_test_pad_width, ' ', __LINE__); \
- printf(__VA_ARGS__); \
- printf("\n"); \
- } while (0)
-
-#define SIMPLE_TEST_PRINT_VAL(w, s, t) \
- do { \
- printf("\e[1m%*c :: ", simple_test_pad_width, ' '); \
- printf("`%s` \e[m== \e[1m", s); \
- switch (t) { \
- case SIMPLE_TEST_BOOL: \
- printf("%s", (w ? simple_test_il : simple_test_ir) \
- ? "true" : "false"); \
- break; \
- case SIMPLE_TEST_CHAR: \
- printf("%c", w ? (char)simple_test_il : (char)simple_test_ir); \
- break; \
- case SIMPLE_TEST_INT: \
- printf("%" PRIdMAX, w ? simple_test_il : simple_test_ir); \
- break; \
- case SIMPLE_TEST_UNSIGNED: \
- printf("%" PRIuMAX, w ? simple_test_ul : simple_test_ur); \
- break; \
- case SIMPLE_TEST_STRING: \
- printf(((w ? simple_test_sl : simple_test_sr) \
- ? "\"%s\"" : "%s"), w \
- ? simple_test_sl : simple_test_sr); \
- break; \
- case SIMPLE_TEST_POINTER: \
- printf("%p", w ? simple_test_pl : simple_test_pr); \
- break; \
- default: \
- break; \
- } \
- printf("\e[m\n"); \
- } while (0)
-
-#define SIMPLE_TEST_FAIL2 \
- do { \
- simple_test_fail_count++; \
- goto simple_test_loop_end; \
- } while (0)
-
-#define SIMPLE_TEST_ERR(...) \
- do { \
- printf("\e[1m%*c :: at line %d, \e[m\e[1;31merr: \e[m", \
- simple_test_pad_width, ' ', __LINE__); \
- printf(__VA_ARGS__); \
- printf("\n"); \
- exit(1); \
- } while (0)
-
-#define SIMPLE_TEST_PRINT_BUF_WIDTH 512
-
-#define SIMPLE_TEST_ASSERT1(t, c, s, a) \
- do { \
- switch ( simple_test_assert(t, c, (a)) ) { \
- case 1: break; \
- case 0: \
- SIMPLE_TEST_FAIL1(s " failed"); \
- SIMPLE_TEST_PRINT_VAL(0, #a, t); \
- SIMPLE_TEST_FAIL2; \
- break; \
- default: \
- SIMPLE_TEST_ERR("unrecognised type in assertion"); \
- } \
- } while (0)
-
-#define SIMPLE_TEST_ASSERT2(t1, t2, c, s, a, b) \
- do { \
- switch ( simple_test_assert(simple_test_type_resolve(t1, t2), \
- c, (a), (b)) ) { \
- case 1: break; \
- case 0: \
- SIMPLE_TEST_FAIL1(s " failed"); \
- SIMPLE_TEST_PRINT_VAL(0, #a, simple_test_type_resolve(t1, t2)); \
- SIMPLE_TEST_PRINT_VAL(1, #b, simple_test_type_resolve(t1, t2)); \
- SIMPLE_TEST_FAIL2; \
- break; \
- case -2: \
- SIMPLE_TEST_ERR("type mismatch in assertion"); \
- default: \
- SIMPLE_TEST_ERR("unrecognised type in assertion"); \
- } \
- } while (0)
-
-
-/******************
- * BASIC MACROS *
- ******************/
-
-#define REGISTER_TEARDOWN(f) \
- do { \
- if (simple_test_teardown != NULL) \
- SIMPLE_TEST_ERR("teardown function already defined"); \
- simple_test_teardown = _Generic((f), \
- void(*)(void): (f), default: NULL); \
- if (simple_test_teardown == NULL) { \
- SIMPLE_TEST_ERR( \
- "wrongly-typed function passed to REGISTER_TEARDOWN"); \
- } \
- } while (0)
-
-
-#define USE_TEARDOWN \
- do { \
- if (simple_test_teardown == NULL) \
- SIMPLE_TEST_ERR("teardown function undefined"); \
- simple_test_do_teardown = true; \
- } while (0)
-
-/* must appear before all tests */
-#define BEGIN_TEST \
- int main(int argc, char **argv) \
- { \
- int simple_test_iterator; \
- int simple_test_pad_width = 0; \
- int simple_test_fail_count = 0; \
- char simple_test_print_buf[SIMPLE_TEST_PRINT_BUF_WIDTH]; \
- int simple_test_test_count = 0; \
- int simple_test_test_current = 1; \
- int simple_test_test_current_at; \
- int simple_test_pass_number = 0; \
- bool simple_test_do_teardown = false; \
- void (*simple_test_teardown)(void) = NULL; \
- do { \
- simple_test_test_current_at = 0; \
- if (simple_test_pass_number == 0) { \
- printf("\e[1mstarting tests in " __FILE__ "...\n"); \
- } else { \
- simple_test_pad_width = sprintf(simple_test_print_buf, \
- "%d", simple_test_test_count) + 1; \
- } \
- for (simple_test_iterator = 0; simple_test_pass_number == 0 && \
- simple_test_iterator < 1; simple_test_iterator++) { \
- (void)0; \
-
-
-#define TEST(description) \
- } \
- if (simple_test_do_teardown) { \
- simple_test_do_teardown = false; \
- simple_test_teardown(); \
- } \
- simple_test_test_current_at++; \
- if (simple_test_pass_number == 0) { \
- simple_test_test_count++; \
- } else if (simple_test_pass_number \
- == simple_test_test_current_at) { \
- printf("\e[m%*d \e[1m:: \e[m\e[33m%s\e[m\n", simple_test_pad_width, \
- simple_test_test_current++, description); \
-
-/* must appear after all tests */
-#define END_TEST \
- } \
- if (simple_test_do_teardown) { \
- simple_test_do_teardown = false; \
- simple_test_teardown(); \
- } \
- if (simple_test_test_count == 0) { \
- SIMPLE_TEST_ERR("no tests defined"); \
- } \
-simple_test_loop_end: \
- (void)0; \
- } while (simple_test_pass_number++ < simple_test_test_count); \
- if (simple_test_fail_count) { \
- printf("\e[1;31m%d of %d tests failed\e[m\n", \
- simple_test_fail_count, simple_test_test_count); \
- return 1; \
- } else { \
- printf("\e[1;32mall tests passed!\e[m\n"); \
- return 0; \
- } \
- }
-
-#define ECHO(...) \
- do { \
- printf("\e[1m%*c :: \e[m\e[34m", simple_test_pad_width, ' '); \
- printf(__VA_ARGS__); \
- printf("...\e[m\n"); \
- } while (0)
-
-
-/**********************
- * ASSERTION MACROS *
- **********************/
-
-#define ASSERT(a) \
- SIMPLE_TEST_ASSERT1(SIMPLE_TEST_TYPE((a)), SIMPLE_TEST_TRUE, "ASSERT", a)
-
-#define ASSERT_NOT(a) \
- SIMPLE_TEST_ASSERT1(SIMPLE_TEST_TYPE((a)), SIMPLE_TEST_FALSE, \
- "ASSERT_NOT", a)
-
-#define ASSERT_EQ(a, b) \
- SIMPLE_TEST_ASSERT2(SIMPLE_TEST_TYPE((a)), SIMPLE_TEST_TYPE((b)), \
- SIMPLE_TEST_EQ, "ASSERT_EQ", a, b)
-
-#define ASSERT_NEQ(a, b) \
- SIMPLE_TEST_ASSERT2(SIMPLE_TEST_TYPE((a)), SIMPLE_TEST_TYPE((b)), \
- SIMPLE_TEST_NEQ, "ASSERT_NEQ", a, b)
-
-#define ASSERT_GT(a, b) \
- SIMPLE_TEST_ASSERT2(SIMPLE_TEST_TYPE((a)), SIMPLE_TEST_TYPE((b)), \
- SIMPLE_TEST_GT, "ASSERT_GT", a, b)
-
-#define ASSERT_LT(a, b) \
- SIMPLE_TEST_ASSERT2(SIMPLE_TEST_TYPE((a)), SIMPLE_TEST_TYPE((b)), \
- SIMPLE_TEST_LT, "ASSERT_LT", a, b)
-
-#define ASSERT_GEQ(a, b) \
- SIMPLE_TEST_ASSERT2(SIMPLE_TEST_TYPE((a)), SIMPLE_TEST_TYPE((b)), \
- SIMPLE_TEST_GEQ, "ASSERT_GEQ", a, b)
-
-#define ASSERT_LEQ(a, b) \
- SIMPLE_TEST_ASSERT2(SIMPLE_TEST_TYPE((a)), SIMPLE_TEST_TYPE((b)), \
- SIMPLE_TEST_LEQ, "ASSERT_LEQ", a, b)
-
-#endif