From 0a5f21f1ebe88becce78bdd25666d1e311d34bb7 Mon Sep 17 00:00:00 2001 From: Gabriel Tofvesson Date: Tue, 25 Feb 2020 20:14:26 +0100 Subject: [PATCH] Update profiler code --- main.c | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/main.c b/main.c index 19735eb..e835ad4 100644 --- a/main.c +++ b/main.c @@ -325,18 +325,16 @@ main (int argc, char **argv, char **env) puts("\nReducing..."); /* Profiler start time */ - time_t start; - time (&start); + clock_t start_clk = clock (); simplify (&boards, 0); /* Profiler end time */ - time_t end; - time (&end); + clock_t end_clk = clock (); print_board (root_board); - printf ("Simplification took %llu seconds to complete\n", end - start); + printf ("Simplification took %Lf seconds\n", ((long double)(end_clk - start_clk))/CLOCKS_PER_SEC); return 0; }