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