summaryrefslogtreecommitdiff
path: root/tests/test-time.c
diff options
context:
space:
mode:
Diffstat (limited to 'tests/test-time.c')
-rw-r--r--tests/test-time.c8
1 files changed, 3 insertions, 5 deletions
diff --git a/tests/test-time.c b/tests/test-time.c
index 51138b83..6b69f3d5 100644
--- a/tests/test-time.c
+++ b/tests/test-time.c
@@ -3,7 +3,7 @@
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
- the Free Software Foundation; either version 3 of the License, or
+ the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
@@ -20,8 +20,6 @@
#include <time.h>
-#include "verify.h"
-
/* Check that the types are all defined. */
struct timespec t1;
#if 0
@@ -32,11 +30,11 @@ pid_t t2;
/* Check that NULL can be passed through varargs as a pointer type,
per POSIX 2008. */
-verify (sizeof NULL == sizeof (void *));
+static_assert (sizeof NULL == sizeof (void *));
/* Check that TIME_UTC is defined and a positive integer. */
int t3 = TIME_UTC;
-verify (TIME_UTC > 0);
+static_assert (TIME_UTC > 0);
int
main (void)