nissy_extra.h (519B)
1 /* 2 This header file exposes certain functions that are meant to be used 3 for testing purposes only. 4 */ 5 6 #define STATIC static 7 #define LOG printf 8 9 #include "../src/solvers/tables_types_macros.h" 10 #include "../src/solvers/tables.h" 11 12 size_t gendata_h48_derive(uint8_t, const void *, void *); 13 int parse_h48_solver(const char *, uint8_t [static 1], uint8_t [static 1]); 14 long long int nissy_datainfo( 15 uint64_t, const char *, void (*)(const char *, ...)); 16 long long int nissy_derivedata(const char *, const void *, void *);