ckpttest.txt

flex --header-file=lex.yy.hpp -o lex.yy.cpp lex.l
bison --defines=yacc.tab.hpp -o yacc.tab.cpp yacc.y

create table d (id int, name char(30),test2 int,test3 float);
create index d(id);

# thread 1
begin;
insert into d values(1,'name',2,0.588235);
insert into d values(2,'name',2,1.176471);
insert into d values(3,'name',2,1.764706);
insert into d values(4,'name',2,2.352941);
insert into d values(5,'name',2,2.941176);
insert into d values(6,'name',2,3.529412);
insert into d values(7,'name',2,4.117647);
insert into d values(8,'name',2,4.705882);
insert into d values(9,'name',2,5.294118);
insert into d values(10,'name',2,5.882353);
commit;

# thread 1
begin;
insert into d values(11,'name',2,6.470588);
insert into d values(12,'name',2,7.058824);
insert into d values(13,'name',2,7.647059);
insert into d values(14,'name',2,8.235294);
insert into d values(15,'name',2,8.823529);
insert into d values(16,'name',2,9.411765);
insert into d values(17,'name',2,10.000000);
insert into d values(18,'name',2,10.588235);
insert into d values(19,'name',2,11.176471);
insert into d values(20,'name',2,11.764706);

create static_checkpoint;

insert into d values(21,'name',2,12.352941);
insert into d values(22,'name',2,12.941176);
insert into d values(23,'name',2,13.529412);
insert into d values(24,'name',2,14.117647);
insert into d values(25,'name',2,14.705882);
insert into d values(26,'name',2,15.294118);
insert into d values(27,'name',2,15.882353);
insert into d values(28,'name',2,16.470588);
insert into d values(29,'name',2,17.058824);
insert into d values(30,'name',2,17.647059);

abort;

crash;