From f9a0d4a9d4ddd46d0e1e129d4db6f731e7efafa5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Sun, 19 Apr 2015 13:41:44 +0200 Subject: Configure write_config to compare and not set value --- scripts/write_config/solution.c | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'scripts/write_config/solution.c') 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; -- cgit v1.2.3