simon-svn: puzzles: simon

[Commits to Tartarus CVS repository.]

SVN root:       svn://svn.tartarus.org/sgt
Changes by:     simon
Revision:       8298
Date:           2008-11-16 15:28:28 +0000 (Sun, 16 Nov 2008)

Log message (7 lines):
Couple of solving-related mid-end tweaks. Firstly, when we generate
a game which comes with an aux string, we immediately self-test that
string by passing it to solve() and test by assertion that it
succeeded. So a bug in a back end which intermittently generates
malformed aux strings will be detected as soon as it occurs, instead
of only if the user happens to use the Solve operation on a
particular game in which it happened.

Modified files:
U   puzzles/midend.c

Links:
http://svn.tartarus.org/sgt/?rev=8298&view=rev
http://svn.tartarus.org/sgt/puzzles/midend.c?rev=8298&r1=8297&r2=8298