diff options
Diffstat (limited to 'src/testing.c')
| -rw-r--r-- | src/testing.c | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/testing.c b/src/testing.c index e8c0fa6..b554ab9 100644 --- a/src/testing.c +++ b/src/testing.c @@ -21,10 +21,6 @@ show_colour(void) { return !no_colour || no_colour[0] == '\0'; } - -/** - * @tags infallible - */ void test_start(const char *const name) { (void)fprintf(stderr, "%s:\n", name); @@ -32,10 +28,6 @@ test_start(const char *const name) { return; } - -/** - * @tags infallible - */ void testing(const char *const message) { if (show_colour()) { @@ -55,10 +47,6 @@ testing(const char *const message) { return; } - -/** - * @tags infallible - */ void test_ok(void) { if (show_colour()) { |