1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
# Copyright (C) 2008-2009 Sun Microsystems, Inc. All rights reserved.
# Use is subject to license terms.
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; version 2 of the License.
#
# This program is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
# General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301
# USA
use strict;
use lib 'lib';
use lib '../lib';
use DBI;
use GenTest::Constants;
use GenTest::Executor::MySQL;
use GenTest::Simplifier::SQL;
use GenTest::Simplifier::Test;
#
# Please modify those settings to fit your environment before you run this script
#
my $basedir = '/build/bzr/azalea/';
my $vardir = '/build/bzr/vardir1';
my $dsn = 'dbi:mysql:host=127.0.0.1:port=19306:user=root:database=test';
my $original_query = "SELECT OUTR .`varchar_nokey` AS X FROM B AS OUTR2 LEFT JOIN C AS OUTR ON ( OUTR2 .`varchar_key` <= OUTR .`varchar_key` ) WHERE ( OUTR .`varchar_nokey` , OUTR ) IN ( SELECT INNR .`varchar_key` AS X , INNR .`varchar_key` AS Y FROM BB AS INNR WHERE INNR .`int_nokey` > INNR .`int_key` XOR OUTR .`int_nokey` = 2 ) XOR OUTR .`int_key` < 9 ORDER BY OUTR .`date_key` , OUTR .`pk`";
my $orig_database = 'test';
my $new_database = 'crash';
my $executor;
start_server();
my $simplifier = GenTest::Simplifier::SQL->new(
oracle => sub {
my $oracle_query = shift;
my $oracle_result = $executor->execute($oracle_query);
if ($oracle_result->status() == STATUS_SERVER_CRASHED) {
start_server();
return 1; # Continues to crash
} else {
return 0; # No longer crashes
}
}
);
my $simplified_query = $simplifier->simplify($original_query);
print "Simplified query:\n$simplified_query;\n\n";
my $simplifier_test = GenTest::Simplifier::Test->new(
executors => [ $executor ],
queries => [ $simplified_query , $original_query ]
);
my $simplified_test = $simplifier_test->simplify();
print "Simplified test\n\n";
print $simplified_test;
sub start_server {
chdir($basedir.'/mysql-test') or die $!;
system("MTR_VERSION=1 perl mysql-test-run.pl --skip-ndbcluster -start-and-exit --start-dirty --vardir=$vardir --master_port=19306 --mysqld=--init-file=/randgen/gentest/mysql-test/gentest/init/no_mrr.sql 1st");
$executor = GenTest::Executor::MySQL->new(
dsn => $dsn,
);
$executor->init();
}
|