diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-10-04 08:58:47 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-10-04 08:58:47 +0200 |
| commit | 32009294d2de3e197c8d4dc950559ff948ea2fc9 (patch) | |
| tree | ac297be7b6e218ee8ae21367c94c8b65297fe2ca /tools/100_checkdata/checkdata.c | |
| parent | 757a732336ee5f0f4b0ba44ac138210c2c1ef805 (diff) | |
| download | nissy-core-32009294d2de3e197c8d4dc950559ff948ea2fc9.tar.gz nissy-core-32009294d2de3e197c8d4dc950559ff948ea2fc9.zip | |
Clean up tool output
Diffstat (limited to 'tools/100_checkdata/checkdata.c')
| -rw-r--r-- | tools/100_checkdata/checkdata.c | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/tools/100_checkdata/checkdata.c b/tools/100_checkdata/checkdata.c index 05961c1..502925f 100644 --- a/tools/100_checkdata/checkdata.c +++ b/tools/100_checkdata/checkdata.c | |||
| @@ -31,8 +31,6 @@ run(void) { | |||
| 31 | } | 31 | } |
| 32 | 32 | ||
| 33 | int main(int argc, char **argv) { | 33 | int main(int argc, char **argv) { |
| 34 | char description[256]; | ||
| 35 | |||
| 36 | if (argc < 4) { | 34 | if (argc < 4) { |
| 37 | fprintf(stderr, "Error: not enough arguments. " | 35 | fprintf(stderr, "Error: not enough arguments. " |
| 38 | "A solver, its options and a file name must be given.\n"); | 36 | "A solver, its options and a file name must be given.\n"); |
| @@ -42,11 +40,9 @@ int main(int argc, char **argv) { | |||
| 42 | solver = argv[1]; | 40 | solver = argv[1]; |
| 43 | options = argv[2]; | 41 | options = argv[2]; |
| 44 | filename = argv[3]; | 42 | filename = argv[3]; |
| 45 | sprintf(description, "checking data for solver %s" | ||
| 46 | "with options %s from file %s", solver, options, filename); | ||
| 47 | nissy_setlogger(log_stderr); | 43 | nissy_setlogger(log_stderr); |
| 48 | 44 | ||
| 49 | timerun(run, description); | 45 | timerun(run); |
| 50 | 46 | ||
| 51 | return 0; | 47 | return 0; |
| 52 | } | 48 | } |
