diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-05 09:04:00 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-05 09:04:00 +0200 |
| commit | 3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb (patch) | |
| tree | 122faba06273ae0450a2994e22bad42202f11da7 /tools/000_gendata | |
| parent | f6efc882a279cddb624fe2f2470797561a6997b8 (diff) | |
| download | nissy-core-3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb.tar.gz nissy-core-3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb.zip | |
Added DRFIN solver
Diffstat (limited to 'tools/000_gendata')
| -rw-r--r-- | tools/000_gendata/gendata.c | 3 |
1 files changed, 2 insertions, 1 deletions
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) { | |||
| 21 | sprintf(filename, "tables/%s", dataid); | 21 | sprintf(filename, "tables/%s", dataid); |
| 22 | writetable(buf, size, filename); | 22 | writetable(buf, size, filename); |
| 23 | } else { | 23 | } else { |
| 24 | printf("Error: table generated incorrectly!\n"); | 24 | printf("Error: table for %s generated incorrectly!\n", |
| 25 | solver); | ||
| 25 | } | 26 | } |
| 26 | break; | 27 | break; |
| 27 | } | 28 | } |