simon-svn: puzzles: simon

[Commits to Tartarus CVS repository.]

SVN root:       svn://svn.tartarus.org/sgt
Changes by:     simon
Revision:       9151
Date:           2011-04-11 18:32:44 +0100 (Mon, 11 Apr 2011)

Log message (7 lines):
Fix mismatch between printf format strings and arguments in some
solosolver verbose diagnostics in X mode. Also added gcc-specific
prototypes with __attribute__((format)) to ensure they all get checked
in future.

Spotted by Arun Giridhar; segfault without this fix is reproducible by
'solosolver -v 3x3x:7_9e4_1c7d3e3d1b2_4e2c6e5_6b1d8e5d9c8_2e9_5'.

Modified files:
U   puzzles/solo.c

Links:
http://svn.tartarus.org/sgt/?rev=9151&view=rev
http://svn.tartarus.org/sgt/puzzles/solo.c?rev=9151&r1=9150&r2=9151