Merge remote-tracking branch 'upstream/master'

Merge upstream

1 files changed, 52 insertions, 0 deletions

diff --git a/tools/100_checkdata/checkdata.c b/tools/100_checkdata/checkdata.c
new file mode 100644
index 0000000..05961c1
--- /dev/null
+++ b/tools/100_checkdata/checkdata.c
@@ -0,0 +1,52 @@
+#include "../tool.h"
+#include "../expected_distributions.h"
+
+char *solver, *options, *filename;
+
+static void
+run(void) {
+        int64_t size;
+        char *buf;
+        FILE *f;
+        
+        size = nissy_datasize(solver, options);
+
+        if (size <= 0) {
+                fprintf(stderr, "Error in datasize\n");
+                return;
+        }
+
+        if ((f = fopen(filename, "rb")) == NULL) {
+                fprintf(stderr, "Error reading file %s\n", filename);
+                return;
+        }
+
+        buf = malloc(size);
+        fread(buf, size, 1, f);
+        fclose(f);
+        nissy_checkdata(solver, options, buf);
+        free(buf);
+
+        /* TODO: cross-check with expected distributions? */
+}
+
+int main(int argc, char **argv) {
+        char description[256];
+
+        if (argc < 4) {
+                fprintf(stderr, "Error: not enough arguments. "
+                    "A solver, its options and a file name must be given.\n");
+                return 1;
+        }
+
+        solver = argv[1];
+        options = argv[2];
+        filename = argv[3];
+        sprintf(description, "checking data for solver %s"
+            "with options %s from file %s", solver, options, filename);
+        nissy_setlogger(log_stderr);
+
+        timerun(run, description);
+
+        return 0;
+}