summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/logerr.c3
-rw-r--r--src/testing.c12
2 files changed, 0 insertions, 15 deletions
diff --git a/src/logerr.c b/src/logerr.c
index d8262fb..6fddcb9 100644
--- a/src/logerr.c
+++ b/src/logerr.c
@@ -7,9 +7,6 @@
#include "logerr.h"
-/**
- * @tags infallible
- */
void
vlogerr(
const char *const file,
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()) {