/*
* Simple random number generator for testing.
- * Copyright © 2022-2023 Nick Bowler
+ * Copyright © 2022-2024 Nick Bowler
*
* 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
fprintf(stderr, "%s: invalid seed\n", seed_str);
return NULL;
}
+ seed = seed_val;
rng = malloc_nofail(sizeof *rng);
rng->state[0] = splitmix64(&seed);
-# Copyright © 2012, 2020, 2022-2023 Nick Bowler
+# Copyright © 2012, 2020, 2022-2024 Nick Bowler
#
# 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
m4_map([sanity_exp], [sanity_tests])dnl
EOF
-printf 'Using seed %d\n' "$random_seed" >&AS_MESSAGE_LOG_FD
+AS_ECHO(["Using seed $random_seed"]) >&AS_MESSAGE_LOG_FD
AT_CHECK([randomdecl -En 10000 -s "$random_seed" >decls], [0])
AT_CHECK([$AWK -f sanity.awk decls | LC_ALL=C sort], [0], [expout])
TEST_NEED_PROGRAM([randomdecl])
TEST_NEED_PROGRAM([crossparse])
-printf 'Using seed %d\n' "$random_seed" >&AS_MESSAGE_LOG_FD
+AS_ECHO(["Using seed $random_seed"]) >&AS_MESSAGE_LOG_FD
AT_CHECK([randomdecl -n "$random_iter" -s "$random_seed"],, [stdout-nolog])
AT_CHECK([crossparse -f stdout])
AT_CLEANUP