From 4a16da26dacdb37b9ef8d3d11e10ecb94b0cf396 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Wed, 3 Jul 2024 15:05:10 +0200
Subject: renamed benchmarks to tools

---
 benchmark/benchmark.h | 39 ---------------------------------------
 1 file changed, 39 deletions(-)
 delete mode 100644 benchmark/benchmark.h

(limited to 'benchmark/benchmark.h')

diff --git a/benchmark/benchmark.h b/benchmark/benchmark.h
deleted file mode 100644
index e9361a8..0000000
--- a/benchmark/benchmark.h
+++ /dev/null
@@ -1,39 +0,0 @@
-#include <stdbool.h>
-#include <inttypes.h>
-#include <stdio.h>
-#include <stdlib.h>
-#include <time.h>
-
-double
-time_benchmark(void (*run)(void), char *name)
-{
-	struct timespec start, end;
-	double tdiff, tdsec, tdnano;
-
-	printf("\n");
-	fflush(stdout);
-
-	if (run == NULL) {
-		printf("> %s: nothing to run!\n", name);
-		fflush(stdout);
-		return -1.0;
-	}
-
-	printf("Benchmark: %s\n\n", name);
-	printf("==========\n");
-	fflush(stdout);
-
-	clock_gettime(CLOCK_MONOTONIC, &start);
-	run();
-	clock_gettime(CLOCK_MONOTONIC, &end);
-
-	tdsec = end.tv_sec - start.tv_sec;
-	tdnano = end.tv_nsec - start.tv_nsec;
-	tdiff = tdsec + 1e-9 * tdnano;
-
-	printf("==========\n");
-	printf("\nTotal time: %.4fs\n", tdiff);
-	fflush(stdout);
-
-	return tdiff;
-}
-- 
cgit v1.3