simon-svn: puzzles: simon

[Commits to Tartarus CVS repository.]

SVN root:       svn://svn.tartarus.org/sgt
Changes by:     simon
Revision:       9825
Date:           2013-04-11 13:51:06 +0100 (Thu, 11 Apr 2013)

Log message (11 lines):
Introduce some extra testing and benchmarking command-line options to
the GTK front end, plus a 'make test' target in the GTK makefile which
uses them to automatically generate 100 puzzles for each game at each
preset configuration, test-run them back through the solver without
their aux_info to ensure that can cope, and produce an HTML box plot
of game generation times for each preset.

As part of this work I've removed the TESTSOLVE mechanism from r9549,
since the new --test-solve option does the same thing better (in that
when something goes wrong it prints the random seed that caused the
problem).

Modified files:
U   puzzles/Recipe
A   puzzles/benchmark.pl
U   puzzles/gtk.c
U   puzzles/midend.c

Links:
http://svn.tartarus.org/sgt/?rev=9825&view=rev
http://svn.tartarus.org/sgt/puzzles/Recipe?rev=9825&r1=9824&r2=9825
http://svn.tartarus.org/sgt/puzzles/benchmark.pl?rev=9825&view=markup
http://svn.tartarus.org/sgt/puzzles/gtk.c?rev=9825&r1=9824&r2=9825
http://svn.tartarus.org/sgt/puzzles/midend.c?rev=9825&r1=9824&r2=9825