diff options
Diffstat (limited to 'scripts/write_config/solution.c')
| -rw-r--r-- | scripts/write_config/solution.c | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/scripts/write_config/solution.c b/scripts/write_config/solution.c index 03e3f53..5a82a01 100644 --- a/scripts/write_config/solution.c +++ b/scripts/write_config/solution.c @@ -32,12 +32,14 @@ void solution_set(struct symlist *sl, FILE * f) { if (neg == (sym_get_tristate_value(sl->array[id - 1].sym) == no ? true : false)) - printf("Ok\n"); - else + //printf("Ok\n"); + { + } else printf("Problem %s=%d/%d\n", sl->array[id - 1].sym->name, - !neg, sym_get_tristate_value(sl->array[id - 1].sym)); + !neg, + sym_get_tristate_value(sl->array[id - 1].sym)); //if (sym_get_tristate_value(sl->array[id - 1].sym) != val) - //printf("Change\n"); + //printf("Change: %s\n", sl->array[id - 1].sym->name); } else { if (w_pos >= w_size) { w_size *= 2; |