diff options
Diffstat (limited to 'tests/test-time.c')
| -rw-r--r-- | tests/test-time.c | 8 |
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) |