aboutsummaryrefslogtreecommitdiff
path: root/tools/300_solve_small/solve_small.c
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2024-10-04 08:58:47 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2024-10-04 08:58:47 +0200
commit32009294d2de3e197c8d4dc950559ff948ea2fc9 (patch)
treeac297be7b6e218ee8ae21367c94c8b65297fe2ca /tools/300_solve_small/solve_small.c
parent757a732336ee5f0f4b0ba44ac138210c2c1ef805 (diff)
downloadnissy-core-32009294d2de3e197c8d4dc950559ff948ea2fc9.tar.gz
nissy-core-32009294d2de3e197c8d4dc950559ff948ea2fc9.zip
Clean up tool output
Diffstat (limited to 'tools/300_solve_small/solve_small.c')
-rw-r--r--tools/300_solve_small/solve_small.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/300_solve_small/solve_small.c b/tools/300_solve_small/solve_small.c
index d476bce..c9dbca8 100644
--- a/tools/300_solve_small/solve_small.c
+++ b/tools/300_solve_small/solve_small.c
@@ -39,14 +39,13 @@ void run(void) {
39} 39}
40 40
41int main(void) { 41int main(void) {
42
43 srand(time(NULL)); 42 srand(time(NULL));
44 nissy_setlogger(log_stderr); 43 nissy_setlogger(log_stderr);
45 44
46 if (getdata(solver, options, &buf, filename) != 0) 45 if (getdata(solver, options, &buf, filename) != 0)
47 return 1; 46 return 1;
48 47
49 timerun(run, "small solver benchmark"); 48 timerun(run);
50 49
51 free(buf); 50 free(buf);
52 return 0; 51 return 0;

Generated with cgit - Back to sebastiano.tronto.net