Renamed tools; fixed solve tool; added gendata_h48h1k2 tool

1 files changed, 21 insertions, 0 deletions

diff --git a/tools/0012_gendata_h48h1k2/gendata_h48h1k2.c b/tools/0012_gendata_h48h1k2/gendata_h48h1k2.c
new file mode 100644
index 0000000..0ebdcaa
--- /dev/null
+++ b/tools/0012_gendata_h48h1k2/gendata_h48h1k2.c
@@ -0,0 +1,21 @@
+#include "../tool.h"
+
+uint64_t expected[21] = {
+        /* Base value is 8 */
+        [0] = 0, /* Unknown */
+        [1] = 0, /* Unknown */
+        [2] = 0, /* Unknown */
+        [3] = 0, /* Unknown */
+};
+
+void run(void) {
+        gendata_run("h48", "1;2;20", "tables/h48h1k2", expected);
+}
+
+int main(void) {
+        nissy_setlogger(log_stderr);
+
+        timerun(run, "benchmark gendata_h48 h = 1, k = 2");
+
+        return 0;
+}