From 6f338b97a222dee630c9b13896cf443254667dfb Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sat, 5 Oct 2024 18:05:47 +0200 Subject: Added distribution check to tool --- tools/000_gendata/gendata.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'tools/000_gendata') diff --git a/tools/000_gendata/gendata.c b/tools/000_gendata/gendata.c index 9533432..2798862 100644 --- a/tools/000_gendata/gendata.c +++ b/tools/000_gendata/gendata.c @@ -18,11 +18,11 @@ run(void) { goto gendata_run_finish; default: nissy_datainfo(buf, write_stdout); - printf("\n"); - printf("Succesfully generated %" PRId64 " bytes. " - "See above for details on the tables.\n", size); - - writetable(buf, size, filename); + if (check_distribution(solver, buf)) { + printf("\n"); + printf("Generated %" PRId64 " bytes.\n", size); + writetable(buf, size, filename); + } break; } -- cgit v1.3