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, 2 insertions, 0 deletions

diff --git a/src/nissy.h b/src/nissy.h
index 2fa4a75..0447d66 100644
--- a/src/nissy.h
+++ b/src/nissy.h
@@ -283,6 +283,7 @@ nissy_gendata(
 Check that the data is a valid data table for a solver.
 
 Parameters:
+   solver    - The name of the solver.
    data_size - The size of the data buffer.
    data      - The data for the solver. Can be computed with gendata.
                This buffer must have 8-byte alignment.
@@ -293,6 +294,7 @@ Return values:
 */
 long long
 nissy_checkdata(
+        const char *solver,
         unsigned long long data_size,
         const unsigned char data[data_size]
 );