At [2013-10-06 10:36:44]: this is a test generator using gentools v0.8.458.
Generating all tests for problem "bracket-expression"...
Test 001 (first example): lines 100..102, 4 characters x..x done.
Test 002 (second example): lines 104..106, 4 characters x..x done.
Test 003 (minimal test 1): lines 113..115, 0 characters x..x done.
Test 004 (minimal test 2): lines 117..119, 2 characters x..x done.
Test 005 (hand test 1): lines 121..123, 6 characters x..x done.
Test 006 (hand test 2): lines 125..127, 6 characters x..x done.
Test 007 (hand test 3): lines 129..131, 6 characters x..x done.
Test 008 (hand test 4): lines 133..135, 6 characters x..x done.
Test 009 (hand test 5): lines 137..139, 6 characters x..x done.
Test 010 (hand test 6): lines 141..143, 14 characters x..x done.
Test 011 (hand test 7): lines 145..147, 20 characters x..x done.
Test 012 (hand test 8): lines 149..151, 40 characters x..x done.
Test 013 (hand test 9): lines 153..155, 24 characters x..x done.
Test 014 (hand test 10): lines 157..159, 34 characters x..x done.
Test 015 (10 pairs, random test 1): lines 170..173, 20 characters ...x done.
Test 016 (10 pairs, random test 2): lines 170..173, 20 characters ...x done.
Test 017 (11 pairs, random test 1): lines 170..173, 22 characters ...x done.
Test 018 (11 pairs, random test 2): lines 170..173, 22 characters ...x done.
Test 019 (12 pairs, random test 1): lines 170..173, 24 characters ...x done.
Test 020 (12 pairs, random test 2): lines 170..173, 24 characters ...x done.
Test 021 (13 pairs, random test 1): lines 170..173, 26 characters ...x done.
Test 022 (13 pairs, random test 2): lines 170..173, 26 characters ...x done.
Test 023 (14 pairs, random test 1): lines 170..173, 28 characters ...x done.
Test 024 (14 pairs, random test 2): lines 170..173, 28 characters ...x done.
Test 025 (15 pairs, random test 1): lines 170..173, 30 characters ...x done.
Test 026 (15 pairs, random test 2): lines 170..173, 30 characters ...x done.
Test 027 (16 pairs, random test 1): lines 170..173, 32 characters ...x done.
Test 028 (16 pairs, random test 2): lines 170..173, 32 characters ...x done.
Test 029 (17 pairs, random test 1): lines 170..173, 34 characters ...x done.
Test 030 (17 pairs, random test 2): lines 170..173, 34 characters ...x done.
Test 031 (18 pairs, random test 1): lines 170..173, 36 characters ...x done.
Test 032 (18 pairs, random test 2): lines 170..173, 36 characters ...x done.
Test 033 (19 pairs, random test 1): lines 170..173, 38 characters ...x done.
Test 034 (19 pairs, random test 2): lines 170..173, 38 characters ...x done.
Test 035 (20 pairs, random test 1): lines 170..173, 40 characters ...x done.
Test 036 (20 pairs, random test 2): lines 170..173, 40 characters ...x done.
Test 037 (maximal test 1): lines 182..185, 40 characters x..x done.
Test 038 (maximal test 2): lines 187..190, 40 characters x..x done.
Test 039 (maximal test 3): lines 192..198, 40 characters x..x done.
Test generation successful (39 tests).
