simon-svn: puzzles: simon

Commits to Tartarus CVS repository. tartarus-commits at
Mon Apr 11 18:32:44 BST 2011

SVN root:       svn://
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


More information about the tartarus-commits mailing list