diff options
| author | Paul Duncan <pabs@pablotron.org> | 2019-01-15 21:10:27 -0500 | 
|---|---|---|
| committer | Paul Duncan <pabs@pablotron.org> | 2019-01-15 21:10:27 -0500 | 
| commit | 19a5965400f9a252adf540050046d2dc3a026d13 (patch) | |
| tree | 0fb29c1a0f61a38eae8f2aded462bf12e5a3d60e /src/solve | |
| parent | edbbfd40714ba9adfd770b9ccb6a0eecdc43a736 (diff) | |
| download | sok-19a5965400f9a252adf540050046d2dc3a026d13.tar.xz sok-19a5965400f9a252adf540050046d2dc3a026d13.zip  | |
add sok_solve_cbs_t and refactor code to use it
Diffstat (limited to 'src/solve')
| -rw-r--r-- | src/solve/main.c | 11 | 
1 files changed, 9 insertions, 2 deletions
diff --git a/src/solve/main.c b/src/solve/main.c index 140cfc5..b8b966f 100644 --- a/src/solve/main.c +++ b/src/solve/main.c @@ -7,11 +7,18 @@  static void  solve_on_error( -  const char * const err +  const char * const err, +  void *user_data  ) { +  UNUSED(user_data);    die("Error solving level: %s", err);  } +static const sok_solve_cbs_t +SOLVE_CBS = { +  .on_error = solve_on_error, +}; +  int main(int argc, char *argv[]) {    // init context    sok_ctx_t ctx; @@ -30,7 +37,7 @@ int main(int argc, char *argv[]) {      }      // solve level -    if (!sok_solve(&ctx, solve_on_error)) { +    if (!sok_solve(&ctx, &SOLVE_CBS, NULL)) {        die("Couldn't solve level: %d", (int) level_num);      }    }  | 
