-# 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