Обсуждение: isolationtester's "dry run" mode

This patch adds a -n option to isolationtester.  With this option,
instead of running the tests, it prints the permutations that would be
run.  This is very useful for generating test specs which need to remove
permutations that are not valid (because they would run a command on a
blocked session).

Objections?

Sample run:

$ ./isolationtester -n < ~-/specs/classroom-scheduling.spec
permutation "rx1" "wy1" "c1" "ry2" "wx2" "c2"
permutation "rx1" "wy1" "ry2" "c1" "wx2" "c2"
permutation "rx1" "wy1" "ry2" "wx2" "c1" "c2"
permutation "rx1" "wy1" "ry2" "wx2" "c2" "c1"
permutation "rx1" "ry2" "wy1" "c1" "wx2" "c2"
permutation "rx1" "ry2" "wy1" "wx2" "c1" "c2"
permutation "rx1" "ry2" "wy1" "wx2" "c2" "c1"
permutation "rx1" "ry2" "wx2" "wy1" "c1" "c2"
permutation "rx1" "ry2" "wx2" "wy1" "c2" "c1"
permutation "rx1" "ry2" "wx2" "c2" "wy1" "c1"
permutation "ry2" "rx1" "wy1" "c1" "wx2" "c2"
permutation "ry2" "rx1" "wy1" "wx2" "c1" "c2"
permutation "ry2" "rx1" "wy1" "wx2" "c2" "c1"
permutation "ry2" "rx1" "wx2" "wy1" "c1" "c2"
permutation "ry2" "rx1" "wx2" "wy1" "c2" "c1"
permutation "ry2" "rx1" "wx2" "c2" "wy1" "c1"
permutation "ry2" "wx2" "rx1" "wy1" "c1" "c2"
permutation "ry2" "wx2" "rx1" "wy1" "c2" "c1"
permutation "ry2" "wx2" "rx1" "c2" "wy1" "c1"
permutation "ry2" "wx2" "c2" "rx1" "wy1" "c1"


--
Álvaro Herrera <alvherre@alvh.no-ip.org>

Excerpts from Alvaro Herrera's message of mar oct 25 13:32:31 -0300 2011:
> This patch adds a -n option to isolationtester.  With this option,
> instead of running the tests, it prints the permutations that would be
> run.  This is very useful for generating test specs which need to remove
> permutations that are not valid (because they would run a command on a
> blocked session).

Forgot to credit the author: this patch was developed by Alexander
Shulgin.

-- 
Álvaro Herrera <alvherre@commandprompt.com>
The PostgreSQL Company - Command Prompt, Inc.
PostgreSQL Replication, Consulting, Custom Development, 24x7 support