aboutsummaryrefslogtreecommitdiff
path: root/tools/100_checkdata/checkdata.c
diff options
context:
space:
mode:
Diffstat (limited to 'tools/100_checkdata/checkdata.c')
-rw-r--r--tools/100_checkdata/checkdata.c6
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
33int main(int argc, char **argv) { 33int 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}

Generated with cgit - Back to sebastiano.tronto.net