Make the project build with Microsoft's broken C compiler.

MSVC is not fully C11-compliant, even when compiling with /std:c11.
Some changes were needed to make the codebase compatible. Notably, the
notation a[static N] and a[n] for function parameters of array type is
not supported, so that had to be hidden behind a macro.  Atomic types
are also an experimental feature, apparently, but at least they work
with the correct compiler flag.

One thing that MSVC does well, however, is warning on integer conversions
on /W4 level. I am not sure if Clang and GCC have something similar,
so I took this chance to fix some of these.

1 files changed, 2 insertions, 2 deletions

diff --git a/tools/solvetest.h b/tools/solvetest.h
index 75f7aab..8c93d21 100644
--- a/tools/solvetest.h
+++ b/tools/solvetest.h
@@ -13,7 +13,7 @@ bool check_one(
         const char *aname,
         const char *bstr,
         const char *bname,
-        bool exp[static MAXSOLUTIONS]
+        bool *exp
 ) {
         size_t i, j, nn, lb;
         char b[MAX_SOLUTION_LEN];
@@ -130,7 +130,7 @@ int main(int argc, char **argv) {
                 printf("Using user-specified solver %s\n", solver);
         }
 
-        srand(time(NULL));
+        srand((unsigned)time(NULL));
         nissy_setlogger(log_stderr, NULL);
 
         size = nissy_solverinfo(solver, dataid);