Refactored checkdata

Relevant changes include:
  - Changed the signature of nissy_checkdata().
  - Removed expected_distribution.h from tools; this data is now included
    in each solver's src/ code.
  - Removed distribution check for cocsep; may add back later.

1 files changed, 0 insertions, 14 deletions

diff --git a/tools/nissy_extra.h b/tools/nissy_extra.h
deleted file mode 100644
index 9a7df50..0000000
--- a/tools/nissy_extra.h
+++ /dev/null
@@ -1,14 +0,0 @@
-/*
-This header file exposes certain functions that are meant to be used
-for testing purposes only.
-*/
-
-#define STATIC static
-#define LOG printf
-
-#include "../src/solvers/tables_types_macros.h"
-#include "../src/solvers/tables.h"
-
-size_t gendata_h48_derive(uint8_t, const unsigned char *, unsigned char *);
-long long parse_h48_hk(const char *, uint8_t [static 1], uint8_t [static 1]);
-long long int nissy_datainfo(uint64_t, const unsigned char *);