diff options
Diffstat (limited to '')
| -rw-r--r-- | src/nissy.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/nissy.c b/src/nissy.c index aaa5c2a..3190e55 100644 --- a/src/nissy.c +++ b/src/nissy.c | |||
| @@ -215,7 +215,7 @@ long long | |||
| 215 | nissy_gendata( | 215 | nissy_gendata( |
| 216 | const char *solver, | 216 | const char *solver, |
| 217 | unsigned long long data_size, | 217 | unsigned long long data_size, |
| 218 | unsigned char data[data_size] | 218 | unsigned char *data |
| 219 | ) | 219 | ) |
| 220 | { | 220 | { |
| 221 | return nissy_gendata_unsafe(solver, data_size, data); | 221 | return nissy_gendata_unsafe(solver, data_size, data); |
| @@ -253,7 +253,7 @@ long long | |||
| 253 | nissy_checkdata( | 253 | nissy_checkdata( |
| 254 | const char *solver, | 254 | const char *solver, |
| 255 | unsigned long long data_size, | 255 | unsigned long long data_size, |
| 256 | const unsigned char data[data_size] | 256 | const unsigned char *data |
| 257 | ) | 257 | ) |
| 258 | { | 258 | { |
| 259 | solver_dispatch_t *dispatch; | 259 | solver_dispatch_t *dispatch; |
| @@ -278,9 +278,9 @@ nissy_solve( | |||
| 278 | unsigned optimal, | 278 | unsigned optimal, |
| 279 | unsigned threads, | 279 | unsigned threads, |
| 280 | unsigned long long data_size, | 280 | unsigned long long data_size, |
| 281 | const unsigned char data[data_size], | 281 | const unsigned char *data, |
| 282 | unsigned sols_size, | 282 | unsigned sols_size, |
| 283 | char sols[sols_size], | 283 | char *sols, |
| 284 | long long stats[static NISSY_SIZE_SOLVE_STATS], | 284 | long long stats[static NISSY_SIZE_SOLVE_STATS], |
| 285 | int (*poll_status)(void *), | 285 | int (*poll_status)(void *), |
| 286 | void *poll_status_data | 286 | void *poll_status_data |
