From 3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Tue, 5 Aug 2025 09:04:00 +0200 Subject: Added DRFIN solver --- tools/000_gendata/gendata.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'tools/000_gendata/gendata.c') diff --git a/tools/000_gendata/gendata.c b/tools/000_gendata/gendata.c index f2da890..a289925 100644 --- a/tools/000_gendata/gendata.c +++ b/tools/000_gendata/gendata.c @@ -21,7 +21,8 @@ run(void) { sprintf(filename, "tables/%s", dataid); writetable(buf, size, filename); } else { - printf("Error: table generated incorrectly!\n"); + printf("Error: table for %s generated incorrectly!\n", + solver); } break; } -- cgit v1.3