chiark / gitweb /
towerssolver: always print solver diagnostics in -v mode.
authorSimon Tatham <anakin@pobox.com>
Mon, 26 Feb 2018 20:49:57 +0000 (20:49 +0000)
committerSimon Tatham <anakin@pobox.com>
Mon, 26 Feb 2018 20:49:57 +0000 (20:49 +0000)
commit2adf0052d66eae88c7a5e55e67fe16e13f7018b5
tree1405feb2e9321f8a90d040ee420f5e704282b609
parent2270ee116d2c3ee406cb8c65ac58051664107c42
towerssolver: always print solver diagnostics in -v mode.

The branch of the code that claimed the puzzle to be ambiguous was not
also re-running the solver with diagnostics enabled, so that if a user
tries to use this tool to hand-design a puzzle, they do not get
feedback on what the multiple legal solutions actually are.
towers.c