File size: 63,076 Bytes
7510827
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
[info] Using config /sqlite/mull.yml
[debug] Diagnostics: Debug Mode enabled. Debug-level messages will be printed.
[warning] Could not find dynamic library: libm.so.6
[warning] Could not find dynamic library: libc.so.6
[info] Warm up run (threads: 1)

       [################################] 1/1. Finished in 106ms
[info] Extracting coverage information (threads: 1)

       [################################] 1/1. Finished in 3ms
[info] Filter mutants (threads: 1)

       [################################] 1/1. Finished in 35ms
[info] Baseline run (threads: 1)

       [################################] 1/1. Finished in 111ms
[info] Running mutants (threads: 20)
[debug] /sqlite/src/btree.c:2282:9 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:493:19 ExecutionResult: Passed

       [--------------------------------] 2/314
[debug] /sqlite/src/btree.c:2572:26 ExecutionResult: Failed

       [--------------------------------] 3/314
[debug] /sqlite/src/btree.c:2739:15 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3440:47 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4526:15 ExecutionResult: Passed

       [--------------------------------] 6/314
[debug] /sqlite/src/btree.c:4622:10 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:3793:10 ExecutionResult: Failed

       [--------------------------------] 8/314
[debug] /sqlite/src/btree.c:4418:24 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3736:14 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4344:45 ExecutionResult: Passed

       [#-------------------------------] 11/314
[debug] /sqlite/src/btree.c:3286:6 ExecutionResult: Failed

       [#-------------------------------] 12/314
[debug] /sqlite/src/btree.c:3523:12 ExecutionResult: Failed

       [#-------------------------------] 13/314
[debug] /sqlite/src/btree.c:3420:21 ExecutionResult: Passed

       [#-------------------------------] 14/314
[debug] /sqlite/src/btree.c:3306:8 ExecutionResult: Passed

       [#-------------------------------] 15/314
[debug] /sqlite/src/btree.c:2684:11 ExecutionResult: Failed

       [#-------------------------------] 16/314
[debug] /sqlite/src/btree.c:2306:11 ExecutionResult: Failed

       [#-------------------------------] 17/314
[debug] /sqlite/src/btree.c:3370:32 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:3610:17 ExecutionResult: Failed

       [#-------------------------------] 19/314
[debug] /sqlite/src/btree.c:2282:15 ExecutionResult: Passed

       [##------------------------------] 20/314
[debug] /sqlite/src/btree.c:3707:23 ExecutionResult: Failed

       [##------------------------------] 21/314
[debug] /sqlite/src/btree.c:2572:50 ExecutionResult: Passed

       [##------------------------------] 22/314
[debug] /sqlite/src/btree.c:3793:12 ExecutionResult: Failed

       [##------------------------------] 23/314
[debug] /sqlite/src/btree.c:3440:52 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4622:12 ExecutionResult: Failed

       [##------------------------------] 25/314
[debug] /sqlite/src/btree.c:4419:5 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3736:20 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3286:8 ExecutionResult: Failed

       [##------------------------------] 28/314
[debug] /sqlite/src/btree.c:4355:19 ExecutionResult: Passed

       [##------------------------------] 29/314
[debug] /sqlite/src/btree.c:495:19 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:3523:33 ExecutionResult: Passed

       [###-----------------------------] 31/314
[debug] /sqlite/src/btree.c:3437:17 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3310:9 ExecutionResult: Failed

       [###-----------------------------] 33/314
[debug] /sqlite/src/btree.c:2792:9 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:2687:20 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4527:8 ExecutionResult: Passed

       [###-----------------------------] 36/314
[debug] /sqlite/src/btree.c:3610:45 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2282:24 ExecutionResult: Passed

       [###-----------------------------] 38/314
[debug] /sqlite/src/btree.c:2310:17 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3798:3 ExecutionResult: Passed

       [####----------------------------] 40/314
[debug] /sqlite/src/btree.c:3371:17 ExecutionResult: Passed

       [####----------------------------] 41/314
[debug] /sqlite/src/btree.c:3441:20 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4624:11 ExecutionResult: Passed

       [####----------------------------] 43/314
[debug] /sqlite/src/btree.c:3707:39 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4422:3 ExecutionResult: Passed

       [####----------------------------] 45/314
[debug] /sqlite/src/btree.c:4356:7 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3743:9 ExecutionResult: Passed

       [####----------------------------] 47/314
[debug] /sqlite/src/btree.c:3523:38 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:683:3 ExecutionResult: Passed

       [####----------------------------] 49/314
[debug] /sqlite/src/btree.c:3437:41 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2806:36 ExecutionResult: Passed

       [#####---------------------------] 51/314
[debug] /sqlite/src/btree.c:2578:14 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:3310:40 ExecutionResult: Failed

       [#####---------------------------] 53/314
[debug] /sqlite/src/btree.c:4527:19 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2689:5 ExecutionResult: Passed

       [#####---------------------------] 55/314
[debug] /sqlite/src/btree.c:2311:22 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3371:17 ExecutionResult: Failed

       [#####---------------------------] 57/314
[debug] /sqlite/src/btree.c:3441:20 ExecutionResult: Passed

       [#####---------------------------] 58/314
[debug] /sqlite/src/btree.c:3707:45 ExecutionResult: Failed

       [######--------------------------] 59/314
[debug] /sqlite/src/btree.c:3615:21 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4357:24 ExecutionResult: Passed

       [######--------------------------] 61/314
[debug] /sqlite/src/btree.c:4423:3 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2282:34 ExecutionResult: Passed

       [######--------------------------] 63/314
[debug] /sqlite/src/btree.c:3744:19 ExecutionResult: Passed

       [######--------------------------] 64/314
[debug] /sqlite/src/btree.c:4625:10 ExecutionResult: Failed

       [######--------------------------] 65/314
[debug] /sqlite/src/btree.c:3524:12 ExecutionResult: Failed

       [######--------------------------] 66/314
[debug] /sqlite/src/btree.c:2034:26 ExecutionResult: Passed

       [######--------------------------] 67/314
[debug] /sqlite/src/btree.c:2807:7 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4527:21 ExecutionResult: Passed

       [#######-------------------------] 69/314
[debug] /sqlite/src/btree.c:3804:17 ExecutionResult: Failed

       [#######-------------------------] 70/314
[debug] /sqlite/src/btree.c:2694:9 ExecutionResult: Failed

       [#######-------------------------] 71/314
[debug] /sqlite/src/btree.c:3322:18 ExecutionResult: Passed

       [#######-------------------------] 72/314
[debug] /sqlite/src/btree.c:2582:18 ExecutionResult: Passed

       [#######-------------------------] 73/314
[debug] /sqlite/src/btree.c:3442:26 ExecutionResult: Passed

       [#######-------------------------] 74/314
[debug] /sqlite/src/btree.c:3437:45 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2311:28 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:3372:17 ExecutionResult: Failed

       [#######-------------------------] 77/314
[debug] /sqlite/src/btree.c:3707:47 ExecutionResult: Failed

       [#######-------------------------] 78/314
[debug] /sqlite/src/btree.c:3622:22 ExecutionResult: Failed

       [########------------------------] 79/314
[debug] /sqlite/src/btree.c:4625:12 ExecutionResult: Failed

       [########------------------------] 80/314
[debug] /sqlite/src/btree.c:4358:12 ExecutionResult: Passed

       [########------------------------] 81/314
[debug] /sqlite/src/btree.c:3525:12 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:2283:19 ExecutionResult: Passed

       [########------------------------] 83/314
[debug] /sqlite/src/btree.c:2035:15 ExecutionResult: Passed

       [########------------------------] 84/314
[debug] /sqlite/src/btree.c:2922:3 ExecutionResult: Passed

       [########------------------------] 85/314
[debug] /sqlite/src/btree.c:4432:3 ExecutionResult: Passed

       [########------------------------] 86/314
[debug] /sqlite/src/btree.c:4539:17 ExecutionResult: Passed

       [########------------------------] 87/314
[debug] /sqlite/src/btree.c:3322:18 ExecutionResult: Failed

       [########------------------------] 88/314
[debug] /sqlite/src/btree.c:2703:19 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2590:15 ExecutionResult: Passed

       [#########-----------------------] 90/314
[debug] /sqlite/src/btree.c:3807:12 ExecutionResult: Failed

       [#########-----------------------] 91/314
[debug] /sqlite/src/btree.c:3448:14 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:3437:48 ExecutionResult: Passed

       [#########-----------------------] 93/314
[debug] /sqlite/src/btree.c:2339:6 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:3709:11 ExecutionResult: Passed

       [#########-----------------------] 95/314
[debug] /sqlite/src/btree.c:3745:24 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3622:38 ExecutionResult: Failed

       [#########-----------------------] 97/314
[debug] /sqlite/src/btree.c:3372:17 ExecutionResult: Passed

       [#########-----------------------] 98/314
[debug] /sqlite/src/btree.c:3527:12 ExecutionResult: Passed

       [##########----------------------] 99/314
[debug] /sqlite/src/btree.c:2035:15 ExecutionResult: Passed

       [##########----------------------] 100/314
[debug] /sqlite/src/btree.c:2941:3 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4433:6 ExecutionResult: Failed

       [##########----------------------] 102/314
[debug] /sqlite/src/btree.c:4560:3 ExecutionResult: Passed

       [##########----------------------] 103/314
[debug] /sqlite/src/btree.c:2284:11 ExecutionResult: Passed

       [##########----------------------] 104/314
[debug] /sqlite/src/btree.c:4310:7 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2590:30 ExecutionResult: Passed

       [##########----------------------] 106/314
[debug] /sqlite/src/btree.c:4359:28 ExecutionResult: Passed

       [##########----------------------] 107/314
[debug] /sqlite/src/btree.c:3492:25 ExecutionResult: Passed

       [###########---------------------] 108/314
[debug] /sqlite/src/btree.c:3437:53 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2339:8 ExecutionResult: Failed

       [###########---------------------] 110/314
[debug] /sqlite/src/btree.c:4627:11 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3710:26 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:2703:35 ExecutionResult: Passed

       [###########---------------------] 113/314
[debug] /sqlite/src/btree.c:3384:16 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:3325:18 ExecutionResult: Passed

       [###########---------------------] 115/314
[debug] /sqlite/src/btree.c:3527:33 ExecutionResult: Passed

       [###########---------------------] 116/314
[debug] /sqlite/src/btree.c:3755:16 ExecutionResult: Passed

       [###########---------------------] 117/314
[debug] /sqlite/src/btree.c:2036:25 ExecutionResult: Passed

       [############--------------------] 118/314
[debug] /sqlite/src/btree.c:2942:3 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4561:3 ExecutionResult: Passed

       [############--------------------] 120/314
[debug] /sqlite/src/btree.c:4433:8 ExecutionResult: Failed

       [############--------------------] 121/314
[debug] /sqlite/src/btree.c:4311:17 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3634:38 ExecutionResult: Failed

       [############--------------------] 123/314
[debug] /sqlite/src/btree.c:2284:15 ExecutionResult: Passed

       [############--------------------] 124/314
[debug] /sqlite/src/btree.c:2590:46 ExecutionResult: Passed

       [############--------------------] 125/314
[debug] /sqlite/src/btree.c:2437:3 ExecutionResult: Passed

       [############--------------------] 126/314
[debug] /sqlite/src/btree.c:3710:42 ExecutionResult: Failed

       [############--------------------] 127/314
[debug] /sqlite/src/btree.c:3325:18 ExecutionResult: Failed

       [#############-------------------] 128/314
[debug] /sqlite/src/btree.c:3492:52 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3438:17 ExecutionResult: Passed

       [#############-------------------] 130/314
[debug] /sqlite/src/btree.c:3384:27 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2703:40 ExecutionResult: Passed

       [#############-------------------] 132/314
[debug] /sqlite/src/btree.c:3528:12 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:4628:21 ExecutionResult: Passed

       [#############-------------------] 134/314
[debug] /sqlite/src/btree.c:3756:19 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2037:17 ExecutionResult: Passed

       [#############-------------------] 136/314
[debug] /sqlite/src/btree.c:4365:16 ExecutionResult: Failed

       [#############-------------------] 137/314
[debug] /sqlite/src/btree.c:4586:3 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4313:5 ExecutionResult: Passed

       [##############------------------] 139/314
[debug] /sqlite/src/btree.c:2956:5 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4434:9 ExecutionResult: Passed

       [##############------------------] 141/314
[debug] /sqlite/src/btree.c:2286:16 ExecutionResult: Passed

       [##############------------------] 142/314
[debug] /sqlite/src/btree.c:2539:7 ExecutionResult: Passed

       [##############------------------] 143/314
[debug] /sqlite/src/btree.c:3713:12 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:2590:63 ExecutionResult: Passed

       [##############------------------] 145/314
[debug] /sqlite/src/btree.c:3497:5 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3337:18 ExecutionResult: Passed

       [##############------------------] 147/314
[debug] /sqlite/src/btree.c:2703:56 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3529:12 ExecutionResult: Failed

       [###############-----------------] 149/314
[debug] /sqlite/src/btree.c:3438:41 ExecutionResult: Passed

       [###############-----------------] 150/314
[debug] /sqlite/src/btree.c:2038:17 ExecutionResult: Passed

       [###############-----------------] 151/314
[debug] /sqlite/src/btree.c:3756:19 ExecutionResult: Passed

       [###############-----------------] 152/314
[debug] /sqlite/src/btree.c:4326:8 ExecutionResult: Failed

       [###############-----------------] 153/314
[debug] /sqlite/src/btree.c:4597:6 ExecutionResult: Failed

       [###############-----------------] 154/314
[debug] /sqlite/src/btree.c:3635:24 ExecutionResult: Failed

       [###############-----------------] 155/314
[debug] /sqlite/src/btree.c:4435:8 ExecutionResult: Failed

       [###############-----------------] 156/314
[debug] /sqlite/src/btree.c:4628:21 ExecutionResult: Passed

       [################----------------] 157/314
[debug] /sqlite/src/btree.c:2960:5 ExecutionResult: Passed

       [################----------------] 158/314
[debug] /sqlite/src/btree.c:2544:33 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2286:40 ExecutionResult: Passed

       [################----------------] 160/314
[debug] /sqlite/src/btree.c:3512:17 ExecutionResult: Passed

       [################----------------] 161/314
[debug] /sqlite/src/btree.c:3713:14 ExecutionResult: Failed

       [################----------------] 162/314
[debug] /sqlite/src/btree.c:4366:5 ExecutionResult: Passed

       [################----------------] 163/314
[debug] /sqlite/src/btree.c:2704:22 ExecutionResult: Passed

       [################----------------] 164/314
[debug] /sqlite/src/btree.c:2039:25 ExecutionResult: Passed

       [################----------------] 165/314
[debug] /sqlite/src/btree.c:3757:26 ExecutionResult: Passed

       [################----------------] 166/314
[debug] /sqlite/src/btree.c:4326:10 ExecutionResult: Failed

       [#################---------------] 167/314
[debug] /sqlite/src/btree.c:4597:8 ExecutionResult: Failed

       [#################---------------] 168/314
[debug] /sqlite/src/btree.c:2658:10 ExecutionResult: Failed

       [#################---------------] 169/314
[debug] /sqlite/src/btree.c:3438:45 ExecutionResult: Passed

       [#################---------------] 170/314
[debug] /sqlite/src/btree.c:4435:10 ExecutionResult: Failed

       [#################---------------] 171/314
[debug] /sqlite/src/btree.c:3361:9 ExecutionResult: Failed

       [#################---------------] 172/314
[debug] /sqlite/src/btree.c:4631:10 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:3512:17 ExecutionResult: Passed

       [#################---------------] 174/314
[debug] /sqlite/src/btree.c:2961:5 ExecutionResult: Passed

       [#################---------------] 175/314
[debug] /sqlite/src/btree.c:2544:52 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3530:12 ExecutionResult: Failed

       [##################--------------] 177/314
[debug] /sqlite/src/btree.c:4400:17 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2704:22 ExecutionResult: Passed

       [##################--------------] 179/314
[debug] /sqlite/src/btree.c:2287:3 ExecutionResult: Passed

       [##################--------------] 180/314
[debug] /sqlite/src/btree.c:3635:38 ExecutionResult: Failed

       [##################--------------] 181/314
[debug] /sqlite/src/btree.c:3764:21 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:4327:5 ExecutionResult: Passed

       [##################--------------] 183/314
[debug] /sqlite/src/btree.c:2674:12 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:4598:3 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2042:21 ExecutionResult: Passed

       [##################--------------] 186/314
[debug] /sqlite/src/btree.c:3438:48 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4437:3 ExecutionResult: Passed

       [###################-------------] 188/314
[debug] /sqlite/src/btree.c:3713:46 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3361:45 ExecutionResult: Failed

       [###################-------------] 190/314
[debug] /sqlite/src/btree.c:3518:6 ExecutionResult: Failed

       [###################-------------] 191/314
[debug] /sqlite/src/btree.c:4631:12 ExecutionResult: Failed

       [###################-------------] 192/314
[debug] /sqlite/src/btree.c:2962:5 ExecutionResult: Passed

       [###################-------------] 193/314
[debug] /sqlite/src/btree.c:2552:37 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3532:3 ExecutionResult: Passed

       [###################-------------] 195/314
[debug] /sqlite/src/btree.c:4401:3 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2706:21 ExecutionResult: Failed

       [####################------------] 197/314
[debug] /sqlite/src/btree.c:3765:17 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4342:20 ExecutionResult: Passed

       [####################------------] 199/314
[debug] /sqlite/src/btree.c:2288:21 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3638:21 ExecutionResult: Passed

       [####################------------] 201/314
[debug] /sqlite/src/btree.c:4615:7 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:2678:8 ExecutionResult: Failed

       [####################------------] 203/314
[debug] /sqlite/src/btree.c:2043:23 ExecutionResult: Passed

       [####################------------] 204/314
[debug] /sqlite/src/btree.c:3713:46 ExecutionResult: Passed

       [####################------------] 205/314
[debug] /sqlite/src/btree.c:4632:7 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3438:53 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:4500:7 ExecutionResult: Passed

       [#####################-----------] 208/314
[debug] /sqlite/src/btree.c:3367:14 ExecutionResult: Failed

       [#####################-----------] 209/314
[debug] /sqlite/src/btree.c:4407:17 ExecutionResult: Passed

       [#####################-----------] 210/314
[debug] /sqlite/src/btree.c:2719:16 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3533:17 ExecutionResult: Passed

       [#####################-----------] 212/314
[debug] /sqlite/src/btree.c:2972:3 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2552:66 ExecutionResult: Passed

       [#####################-----------] 214/314
[debug] /sqlite/src/btree.c:4344:17 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2678:10 ExecutionResult: Failed

       [######################----------] 216/314
[debug] /sqlite/src/btree.c:4616:22 ExecutionResult: Passed

       [######################----------] 217/314
[debug] /sqlite/src/btree.c:2044:23 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3765:17 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2292:20 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3638:21 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3713:50 ExecutionResult: Passed

       [######################----------] 222/314
[debug] /sqlite/src/btree.c:3518:8 ExecutionResult: Failed

       [######################----------] 223/314
[debug] /sqlite/src/btree.c:4638:5 ExecutionResult: Passed

       [######################----------] 224/314
[debug] /sqlite/src/btree.c:3439:16 ExecutionResult: Passed

       [######################----------] 225/314
[debug] /sqlite/src/btree.c:4412:8 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:3540:14 ExecutionResult: Failed

       [#######################---------] 227/314
[debug] /sqlite/src/btree.c:2986:3 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3367:26 ExecutionResult: Failed

       [#######################---------] 229/314
[debug] /sqlite/src/btree.c:2569:11 ExecutionResult: Passed

       [#######################---------] 230/314
[debug] /sqlite/src/btree.c:2680:11 ExecutionResult: Passed

       [#######################---------] 231/314
[debug] /sqlite/src/btree.c:4344:17 ExecutionResult: Passed

       [#######################---------] 232/314
[debug] /sqlite/src/btree.c:4620:5 ExecutionResult: Passed

       [#######################---------] 233/314
[debug] /sqlite/src/btree.c:2731:8 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:2270:7 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3774:21 ExecutionResult: Passed

       [########################--------] 236/314
[debug] /sqlite/src/btree.c:4502:12 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3658:6 ExecutionResult: Failed

       [########################--------] 238/314
[debug] /sqlite/src/btree.c:2294:19 ExecutionResult: Passed

       [########################--------] 239/314
[debug] /sqlite/src/btree.c:3439:40 ExecutionResult: Passed

       [########################--------] 240/314
[debug] /sqlite/src/btree.c:11342:20 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3522:12 ExecutionResult: Failed

       [########################--------] 242/314
[debug] /sqlite/src/btree.c:3287:9 ExecutionResult: Timedout

       [########################--------] 243/314
[debug] /sqlite/src/btree.c:4412:10 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:3714:15 ExecutionResult: Passed

       [########################--------] 245/314
[debug] /sqlite/src/btree.c:2987:3 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3367:31 ExecutionResult: Failed

       [#########################-------] 247/314
[debug] /sqlite/src/btree.c:2681:7 ExecutionResult: Passed

       [#########################-------] 248/314
[debug] /sqlite/src/btree.c:2571:17 ExecutionResult: Passed

       [#########################-------] 249/314
[debug] /sqlite/src/btree.c:4344:45 ExecutionResult: Passed

       [#########################-------] 250/314
[debug] /sqlite/src/btree.c:3541:12 ExecutionResult: Passed

       [#########################-------] 251/314
[debug] /sqlite/src/btree.c:4621:11 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2731:10 ExecutionResult: Failed

       [#########################-------] 253/314
[debug] /sqlite/src/btree.c:2278:21 ExecutionResult: Passed

       [#########################-------] 254/314
[debug] /sqlite/src/btree.c:2294:41 ExecutionResult: Passed

       [#########################-------] 255/314
[debug] /sqlite/src/btree.c:4504:14 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3658:8 ExecutionResult: Failed

       [##########################------] 257/314
[debug] /sqlite/src/btree.c:3784:9 ExecutionResult: Passed

       [##########################------] 258/314
[debug] /sqlite/src/btree.c:3288:6 ExecutionResult: Failed

       [##########################------] 259/314
[debug] /sqlite/src/btree.c:4413:11 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:11368:3 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2682:10 ExecutionResult: Failed

       [##########################------] 262/314
[debug] /sqlite/src/btree.c:3715:14 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:2988:3 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3440:16 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3367:43 ExecutionResult: Passed

       [###########################-----] 266/314
[debug] /sqlite/src/btree.c:3522:33 ExecutionResult: Failed

       [###########################-----] 267/314
[debug] /sqlite/src/btree.c:2571:39 ExecutionResult: Passed

       [###########################-----] 268/314
[debug] /sqlite/src/btree.c:3601:7 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2733:21 ExecutionResult: Passed

       [###########################-----] 270/314
[debug] /sqlite/src/btree.c:2281:13 ExecutionResult: Passed

       [###########################-----] 271/314
[debug] /sqlite/src/btree.c:2295:16 ExecutionResult: Passed

       [###########################-----] 272/314
[debug] /sqlite/src/btree.c:4525:3 ExecutionResult: Passed

       [###########################-----] 273/314
[debug] /sqlite/src/btree.c:3288:8 ExecutionResult: Failed

       [###########################-----] 274/314
[debug] /sqlite/src/btree.c:3370:19 ExecutionResult: Failed

       [############################----] 275/314
[debug] /sqlite/src/btree.c:3786:23 ExecutionResult: Passed

       [############################----] 276/314
[debug] /sqlite/src/btree.c:4417:21 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:11373:3 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3440:40 ExecutionResult: Passed

       [############################----] 279/314
[debug] /sqlite/src/btree.c:3282:7 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3715:16 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:2682:12 ExecutionResult: Failed
[debug] /sqlite/src/btree.c:3522:37 ExecutionResult: Failed

       [############################----] 283/314
[debug] /sqlite/src/btree.c:2572:14 ExecutionResult: Passed

       [############################----] 284/314
[debug] /sqlite/src/btree.c:3603:3 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:2733:37 ExecutionResult: Passed
[debug] /sqlite/src/btree.c:3659:16 ExecutionResult: Failed

       [#############################---] 287/314
[debug] /sqlite/src/btree.c:2296:17 ExecutionResult: Passed

       [#############################---] 288/314
[debug] /sqlite/src/btree.c:3370:22 ExecutionResult: Failed

       [#############################---] 289/314
[debug] /sqlite/src/btree.c:3440:44 ExecutionResult: Passed

       [#############################---] 290/314
[debug] /sqlite/src/btree.c:3661:17 ExecutionResult: Failed

       [#############################---] 291/314
[debug] /sqlite/src/btree.c:3725:11 ExecutionResult: Failed

       [#############################---] 292/314
[debug] /sqlite/src/btree.c:3662:17 ExecutionResult: Passed

       [#############################---] 293/314
[debug] /sqlite/src/btree.c:3662:37 ExecutionResult: Passed

       [#############################---] 294/314
[debug] /sqlite/src/btree.c:3385:22 ExecutionResult: Timedout

       [##############################--] 295/314
[debug] /sqlite/src/btree.c:3401:14 ExecutionResult: Failed

       [##############################--] 296/314
[debug] /sqlite/src/btree.c:3401:14 ExecutionResult: Failed

       [##############################--] 297/314
[debug] /sqlite/src/btree.c:3412:19 ExecutionResult: Failed

       [##############################--] 298/314
[debug] /sqlite/src/btree.c:3412:19 ExecutionResult: Passed

       [##############################--] 299/314
[debug] /sqlite/src/btree.c:3415:19 ExecutionResult: Passed

       [##############################--] 300/314
[debug] /sqlite/src/btree.c:3416:19 ExecutionResult: Passed

       [##############################--] 301/314
[debug] /sqlite/src/btree.c:3417:21 ExecutionResult: Passed

       [##############################--] 302/314
[debug] /sqlite/src/btree.c:3419:21 ExecutionResult: Passed

       [##############################--] 303/314
[debug] /sqlite/src/btree.c:3289:9 ExecutionResult: Timedout

       [##############################--] 304/314
[debug] /sqlite/src/btree.c:3294:9 ExecutionResult: Failed

       [###############################-] 305/314
[debug] /sqlite/src/btree.c:3295:3 ExecutionResult: Failed

       [###############################-] 306/314
[debug] /sqlite/src/btree.c:3296:12 ExecutionResult: Passed

       [###############################-] 307/314
[debug] /sqlite/src/btree.c:3296:19 ExecutionResult: Passed

       [###############################-] 308/314
[debug] /sqlite/src/btree.c:3296:73 ExecutionResult: Passed

       [###############################-] 309/314
[debug] /sqlite/src/btree.c:3297:11 ExecutionResult: Failed

       [###############################-] 310/314
[debug] /sqlite/src/btree.c:3299:23 ExecutionResult: Passed

       [###############################-] 311/314
[debug] /sqlite/src/btree.c:3299:46 ExecutionResult: Passed

       [###############################-] 312/314
[debug] /sqlite/src/btree.c:3302:12 ExecutionResult: Failed

       [###############################-] 313/314
[debug] /sqlite/src/btree.c:3302:12 ExecutionResult: Failed

       [################################] 314/314. Finished in 6696ms
[debug] Done running mutants
[info] Survived mutants (208/314):
/sqlite/src/btree.c:493:19: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( pBt->pWriter==p ){
                  ^
/sqlite/src/btree.c:683:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BitvecDestroy(pBt->pHasContent);
  ^
/sqlite/src/btree.c:2034:26: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  pPage->max1bytePayload = pBt->max1bytePayload;
                         ^
/sqlite/src/btree.c:2035:15: warning: Survived: Replaced >= with > [cxx_ge_to_gt]
  if( flagByte>=(PTF_ZERODATA | PTF_LEAF) ){
              ^
/sqlite/src/btree.c:2035:15: warning: Survived: Replaced >= with < [cxx_ge_to_lt]
  if( flagByte>=(PTF_ZERODATA | PTF_LEAF) ){
              ^
/sqlite/src/btree.c:2036:25: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pPage->childPtrSize = 0;
                        ^
/sqlite/src/btree.c:2037:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pPage->leaf = 1;
                ^
/sqlite/src/btree.c:2038:17: warning: Survived: Replaced == with != [cxx_eq_to_ne]
    if( flagByte==(PTF_LEAFDATA | PTF_INTKEY | PTF_LEAF) ){
                ^
/sqlite/src/btree.c:2039:25: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
      pPage->intKeyLeaf = 1;
                        ^
/sqlite/src/btree.c:2042:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
      pPage->intKey = 1;
                    ^
/sqlite/src/btree.c:2043:23: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
      pPage->maxLocal = pBt->maxLeaf;
                      ^
/sqlite/src/btree.c:2044:23: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
      pPage->minLocal = pBt->minLeaf;
                      ^
/sqlite/src/btree.c:2270:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
  int hdr = pPage->hdrOffset;
      ^
/sqlite/src/btree.c:2278:21: warning: Survived: Replaced & with | [cxx_and_to_or]
  if( pBt->btsFlags & BTS_FAST_SECURE ){
                    ^
/sqlite/src/btree.c:2281:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  data[hdr] = (char)flags;
            ^
/sqlite/src/btree.c:2282:9: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  first = hdr + ((flags&PTF_LEAF)==0 ? 12 : 8);
        ^
/sqlite/src/btree.c:2282:15: warning: Survived: Replaced + with - [cxx_add_to_sub]
  first = hdr + ((flags&PTF_LEAF)==0 ? 12 : 8);
              ^
/sqlite/src/btree.c:2282:24: warning: Survived: Replaced & with | [cxx_and_to_or]
  first = hdr + ((flags&PTF_LEAF)==0 ? 12 : 8);
                       ^
/sqlite/src/btree.c:2282:34: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  first = hdr + ((flags&PTF_LEAF)==0 ? 12 : 8);
                                 ^
/sqlite/src/btree.c:2283:19: warning: Survived: Replaced + with - [cxx_add_to_sub]
  memset(&data[hdr+1], 0, 4);
                  ^
/sqlite/src/btree.c:2284:11: warning: Survived: Replaced + with - [cxx_add_to_sub]
  data[hdr+7] = 0;
          ^
/sqlite/src/btree.c:2284:15: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  data[hdr+7] = 0;
              ^
/sqlite/src/btree.c:2286:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  pPage->nFree = (u16)(pBt->usableSize - first);
               ^
/sqlite/src/btree.c:2286:40: warning: Survived: Replaced - with + [cxx_sub_to_add]
  pPage->nFree = (u16)(pBt->usableSize - first);
                                       ^
/sqlite/src/btree.c:2287:3: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
  decodeFlags(pPage, flags);
  ^
/sqlite/src/btree.c:2288:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  pPage->cellOffset = (u16)first;
                    ^
/sqlite/src/btree.c:2292:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  pPage->nOverflow = 0;
                   ^
/sqlite/src/btree.c:2294:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  pPage->maskPage = (u16)(pBt->pageSize - 1);
                  ^
/sqlite/src/btree.c:2294:41: warning: Survived: Replaced - with + [cxx_sub_to_add]
  pPage->maskPage = (u16)(pBt->pageSize - 1);
                                        ^
/sqlite/src/btree.c:2295:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  pPage->nCell = 0;
               ^
/sqlite/src/btree.c:2296:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  pPage->isInit = 1;
                ^
/sqlite/src/btree.c:2310:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pPage->pgno = pgno;
                ^
/sqlite/src/btree.c:2311:22: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pPage->hdrOffset = pgno==1 ? 100 : 0;
                     ^
/sqlite/src/btree.c:2437:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3PagerUnrefPageOne(pPage->pDbPage);
  ^
/sqlite/src/btree.c:2539:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
  int rc = SQLITE_OK;            /* Result code from this function */
      ^
/sqlite/src/btree.c:2544:33: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  const int isTempDb = zFilename==0 || zFilename[0]==0;
                                ^
/sqlite/src/btree.c:2544:52: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  const int isTempDb = zFilename==0 || zFilename[0]==0;
                                                   ^
/sqlite/src/btree.c:2552:37: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
  const int isMemdb = (zFilename && strcmp(zFilename, ":memory:")==0)
                                    ^
/sqlite/src/btree.c:2552:66: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  const int isMemdb = (zFilename && strcmp(zFilename, ":memory:")==0)
                                                                 ^
/sqlite/src/btree.c:2569:11: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]
    flags |= BTREE_MEMORY;
          ^
/sqlite/src/btree.c:2571:17: warning: Survived: Replaced & with | [cxx_and_to_or]
  if( (vfsFlags & SQLITE_OPEN_MAIN_DB)!=0 && (isMemdb || isTempDb) ){
                ^
/sqlite/src/btree.c:2571:39: warning: Survived: Replaced != with == [cxx_ne_to_eq]
  if( (vfsFlags & SQLITE_OPEN_MAIN_DB)!=0 && (isMemdb || isTempDb) ){
                                      ^
/sqlite/src/btree.c:2572:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    vfsFlags = (vfsFlags & ~SQLITE_OPEN_MAIN_DB) | SQLITE_OPEN_TEMP_DB;
             ^
/sqlite/src/btree.c:2572:50: warning: Survived: Replaced | with & [cxx_or_to_and]
    vfsFlags = (vfsFlags & ~SQLITE_OPEN_MAIN_DB) | SQLITE_OPEN_TEMP_DB;
                                                 ^
/sqlite/src/btree.c:2582:18: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  p->lock.iTable = 1;
                 ^
/sqlite/src/btree.c:2590:15: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( isTempDb==0 && (isMemdb==0 || (vfsFlags&SQLITE_OPEN_URI)!=0) ){
              ^
/sqlite/src/btree.c:2590:30: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( isTempDb==0 && (isMemdb==0 || (vfsFlags&SQLITE_OPEN_URI)!=0) ){
                             ^
/sqlite/src/btree.c:2590:46: warning: Survived: Replaced & with | [cxx_and_to_or]
  if( isTempDb==0 && (isMemdb==0 || (vfsFlags&SQLITE_OPEN_URI)!=0) ){
                                             ^
/sqlite/src/btree.c:2590:63: warning: Survived: Replaced != with == [cxx_ne_to_eq]
  if( isTempDb==0 && (isMemdb==0 || (vfsFlags&SQLITE_OPEN_URI)!=0) ){
                                                              ^
/sqlite/src/btree.c:2680:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]
    if( rc==SQLITE_OK ){
          ^
/sqlite/src/btree.c:2681:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]
      sqlite3PagerSetMmapLimit(pBt->pPager, db->szMmap);
      ^
/sqlite/src/btree.c:2687:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pBt->openFlags = (u8)flags;
                   ^
/sqlite/src/btree.c:2689:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    sqlite3PagerSetBusyHandler(pBt->pPager, btreeInvokeBusyHandler, pBt);
    ^
/sqlite/src/btree.c:2703:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pBt->pageSize = (zDbHeader[16]<<8) | (zDbHeader[17]<<16);
                  ^
/sqlite/src/btree.c:2703:35: warning: Survived: Replaced << with >> [cxx_lshift_to_rshift]
    pBt->pageSize = (zDbHeader[16]<<8) | (zDbHeader[17]<<16);
                                  ^
/sqlite/src/btree.c:2703:40: warning: Survived: Replaced | with & [cxx_or_to_and]
    pBt->pageSize = (zDbHeader[16]<<8) | (zDbHeader[17]<<16);
                                       ^
/sqlite/src/btree.c:2703:56: warning: Survived: Replaced << with >> [cxx_lshift_to_rshift]
    pBt->pageSize = (zDbHeader[16]<<8) | (zDbHeader[17]<<16);
                                                       ^
/sqlite/src/btree.c:2704:22: warning: Survived: Replaced < with >= [cxx_lt_to_ge]
    if( pBt->pageSize<512 || pBt->pageSize>SQLITE_MAX_PAGE_SIZE
                     ^
/sqlite/src/btree.c:2704:22: warning: Survived: Replaced < with <= [cxx_lt_to_le]
    if( pBt->pageSize<512 || pBt->pageSize>SQLITE_MAX_PAGE_SIZE
                     ^
/sqlite/src/btree.c:2719:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
      nReserve = 0;
               ^
/sqlite/src/btree.c:2733:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pBt->usableSize = pBt->pageSize - nReserve;
                    ^
/sqlite/src/btree.c:2733:37: warning: Survived: Replaced - with + [cxx_sub_to_add]
    pBt->usableSize = pBt->pageSize - nReserve;
                                    ^
/sqlite/src/btree.c:2739:15: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pBt->nRef = 1;
              ^
/sqlite/src/btree.c:2806:36: warning: Survived: Replaced == with != [cxx_eq_to_ne]
    if( sqlite3BtreeSchema(p, 0, 0)==0 ){
                                   ^
/sqlite/src/btree.c:2807:7: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
      sqlite3BtreeSetCacheSize(p, SQLITE_DEFAULT_CACHE_SIZE);
      ^
/sqlite/src/btree.c:2922:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeEnter(p);
  ^
/sqlite/src/btree.c:2941:3: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
  sqlite3BtreeRollback(p, SQLITE_OK, 0);
  ^
/sqlite/src/btree.c:2942:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeLeave(p);
  ^
/sqlite/src/btree.c:2956:5: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
    sqlite3PagerClose(pBt->pPager, p->db);
    ^
/sqlite/src/btree.c:2960:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    sqlite3DbFree(0, pBt->pSchema);
    ^
/sqlite/src/btree.c:2961:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    freeTempSpace(pBt);
    ^
/sqlite/src/btree.c:2962:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    sqlite3_free(pBt);
    ^
/sqlite/src/btree.c:2972:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3_free(p);
  ^
/sqlite/src/btree.c:2986:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeEnter(p);
  ^
/sqlite/src/btree.c:2987:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3PagerSetCachesize(pBt->pPager, mxPage);
  ^
/sqlite/src/btree.c:2988:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeLeave(p);
  ^
/sqlite/src/btree.c:3282:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
  u32 nPageFile = 0;   /* Number of pages in the database file */
      ^
/sqlite/src/btree.c:3296:12: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( nPage==0 || memcmp(24+(u8*)pPage1->aData, 92+(u8*)pPage1->aData,4)!=0 ){
           ^
/sqlite/src/btree.c:3296:19: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
  if( nPage==0 || memcmp(24+(u8*)pPage1->aData, 92+(u8*)pPage1->aData,4)!=0 ){
                  ^
/sqlite/src/btree.c:3296:73: warning: Survived: Replaced != with == [cxx_ne_to_eq]
  if( nPage==0 || memcmp(24+(u8*)pPage1->aData, 92+(u8*)pPage1->aData,4)!=0 ){
                                                                        ^
/sqlite/src/btree.c:3299:23: warning: Survived: Replaced & with | [cxx_and_to_or]
  if( (pBt->db->flags & SQLITE_ResetDatabase)!=0 ){
                      ^
/sqlite/src/btree.c:3299:46: warning: Survived: Replaced != with == [cxx_ne_to_eq]
  if( (pBt->db->flags & SQLITE_ResetDatabase)!=0 ){
                                             ^
/sqlite/src/btree.c:3306:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    rc = SQLITE_NOTADB;
       ^
/sqlite/src/btree.c:3322:18: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
    if( page1[18]>2 ){
                 ^
/sqlite/src/btree.c:3325:18: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
    if( page1[19]>2 ){
                 ^
/sqlite/src/btree.c:3337:18: warning: Survived: Replaced == with != [cxx_eq_to_ne]
    if( page1[19]==2 && (pBt->btsFlags & BTS_NO_WAL)==0 ){
                 ^
/sqlite/src/btree.c:3367:43: warning: Survived: Replaced << with >> [cxx_lshift_to_rshift]
    pageSize = (page1[16]<<8) | (page1[17]<<16);
                                          ^
/sqlite/src/btree.c:3371:17: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
     || pageSize>SQLITE_MAX_PAGE_SIZE
                ^
/sqlite/src/btree.c:3372:17: warning: Survived: Replaced <= with < [cxx_le_to_lt]
     || pageSize<=256
                ^
/sqlite/src/btree.c:3384:27: warning: Survived: Replaced - with + [cxx_sub_to_add]
    usableSize = pageSize - page1[20];
                          ^
/sqlite/src/btree.c:3412:19: warning: Survived: Replaced < with <= [cxx_lt_to_le]
    if( usableSize<480 ){
                  ^
/sqlite/src/btree.c:3415:19: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]
    pBt->btsFlags |= BTS_PAGESIZE_FIXED;
                  ^
/sqlite/src/btree.c:3416:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pBt->pageSize = pageSize;
                  ^
/sqlite/src/btree.c:3417:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pBt->usableSize = usableSize;
                    ^
/sqlite/src/btree.c:3419:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pBt->autoVacuum = (get4byte(&page1[36 + 4*4])?1:0);
                    ^
/sqlite/src/btree.c:3420:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pBt->incrVacuum = (get4byte(&page1[36 + 7*4])?1:0);
                    ^
/sqlite/src/btree.c:3437:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  pBt->maxLocal = (u16)((pBt->usableSize-12)*64/255 - 23);
                ^
/sqlite/src/btree.c:3437:41: warning: Survived: Replaced - with + [cxx_sub_to_add]
  pBt->maxLocal = (u16)((pBt->usableSize-12)*64/255 - 23);
                                        ^
/sqlite/src/btree.c:3437:45: warning: Survived: Replaced * with / [cxx_mul_to_div]
  pBt->maxLocal = (u16)((pBt->usableSize-12)*64/255 - 23);
                                            ^
/sqlite/src/btree.c:3437:48: warning: Survived: Replaced / with * [cxx_div_to_mul]
  pBt->maxLocal = (u16)((pBt->usableSize-12)*64/255 - 23);
                                               ^
/sqlite/src/btree.c:3437:53: warning: Survived: Replaced - with + [cxx_sub_to_add]
  pBt->maxLocal = (u16)((pBt->usableSize-12)*64/255 - 23);
                                                    ^
/sqlite/src/btree.c:3438:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  pBt->minLocal = (u16)((pBt->usableSize-12)*32/255 - 23);
                ^
/sqlite/src/btree.c:3438:41: warning: Survived: Replaced - with + [cxx_sub_to_add]
  pBt->minLocal = (u16)((pBt->usableSize-12)*32/255 - 23);
                                        ^
/sqlite/src/btree.c:3438:45: warning: Survived: Replaced * with / [cxx_mul_to_div]
  pBt->minLocal = (u16)((pBt->usableSize-12)*32/255 - 23);
                                            ^
/sqlite/src/btree.c:3438:48: warning: Survived: Replaced / with * [cxx_div_to_mul]
  pBt->minLocal = (u16)((pBt->usableSize-12)*32/255 - 23);
                                               ^
/sqlite/src/btree.c:3438:53: warning: Survived: Replaced - with + [cxx_sub_to_add]
  pBt->minLocal = (u16)((pBt->usableSize-12)*32/255 - 23);
                                                    ^
/sqlite/src/btree.c:3439:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  pBt->maxLeaf = (u16)(pBt->usableSize - 35);
               ^
/sqlite/src/btree.c:3439:40: warning: Survived: Replaced - with + [cxx_sub_to_add]
  pBt->maxLeaf = (u16)(pBt->usableSize - 35);
                                       ^
/sqlite/src/btree.c:3440:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  pBt->minLeaf = (u16)((pBt->usableSize-12)*32/255 - 23);
               ^
/sqlite/src/btree.c:3440:40: warning: Survived: Replaced - with + [cxx_sub_to_add]
  pBt->minLeaf = (u16)((pBt->usableSize-12)*32/255 - 23);
                                       ^
/sqlite/src/btree.c:3440:44: warning: Survived: Replaced * with / [cxx_mul_to_div]
  pBt->minLeaf = (u16)((pBt->usableSize-12)*32/255 - 23);
                                           ^
/sqlite/src/btree.c:3440:47: warning: Survived: Replaced / with * [cxx_div_to_mul]
  pBt->minLeaf = (u16)((pBt->usableSize-12)*32/255 - 23);
                                              ^
/sqlite/src/btree.c:3440:52: warning: Survived: Replaced - with + [cxx_sub_to_add]
  pBt->minLeaf = (u16)((pBt->usableSize-12)*32/255 - 23);
                                                   ^
/sqlite/src/btree.c:3441:20: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
  if( pBt->maxLocal>127 ){
                   ^
/sqlite/src/btree.c:3441:20: warning: Survived: Replaced > with <= [cxx_gt_to_le]
  if( pBt->maxLocal>127 ){
                   ^
/sqlite/src/btree.c:3442:26: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pBt->max1bytePayload = 127;
                         ^
/sqlite/src/btree.c:3492:25: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( pBt->inTransaction==TRANS_NONE && pBt->pPage1!=0 ){
                        ^
/sqlite/src/btree.c:3492:52: warning: Survived: Replaced != with == [cxx_ne_to_eq]
  if( pBt->inTransaction==TRANS_NONE && pBt->pPage1!=0 ){
                                                   ^
/sqlite/src/btree.c:3497:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    releasePageOne(pPage1);
    ^
/sqlite/src/btree.c:3512:17: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
  if( pBt->nPage>0 ){
                ^
/sqlite/src/btree.c:3512:17: warning: Survived: Replaced > with <= [cxx_gt_to_le]
  if( pBt->nPage>0 ){
                ^
/sqlite/src/btree.c:3523:33: warning: Survived: Replaced >> with << [cxx_rshift_to_lshift]
  data[17] = (u8)((pBt->pageSize>>16)&0xff);
                                ^
/sqlite/src/btree.c:3527:12: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  data[20] = (u8)(pBt->pageSize - pBt->usableSize);
           ^
/sqlite/src/btree.c:3527:33: warning: Survived: Replaced - with + [cxx_sub_to_add]
  data[20] = (u8)(pBt->pageSize - pBt->usableSize);
                                ^
/sqlite/src/btree.c:3532:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  zeroPage(pP1, PTF_INTKEY|PTF_LEAF|PTF_LEAFDATA );
  ^
/sqlite/src/btree.c:3533:17: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]
  pBt->btsFlags |= BTS_PAGESIZE_FIXED;
                ^
/sqlite/src/btree.c:3541:12: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  data[31] = 1;
           ^
/sqlite/src/btree.c:3601:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
  int rc = SQLITE_OK;
      ^
/sqlite/src/btree.c:3603:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeEnter(p);
  ^
/sqlite/src/btree.c:3610:45: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( p->inTrans==TRANS_WRITE || (p->inTrans==TRANS_READ && !wrflag) ){
                                            ^
/sqlite/src/btree.c:3615:21: warning: Survived: Replaced & with | [cxx_and_to_or]
  if( (p->db->flags & SQLITE_ResetDatabase)
                    ^
/sqlite/src/btree.c:3638:21: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
    }else if( wrflag>1 ){
                    ^
/sqlite/src/btree.c:3638:21: warning: Survived: Replaced > with <= [cxx_gt_to_le]
    }else if( wrflag>1 ){
                    ^
/sqlite/src/btree.c:3662:17: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( pBt->nPage==0 ) pBt->btsFlags |= BTS_INITIALLY_EMPTY;
                ^
/sqlite/src/btree.c:3662:37: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]
  if( pBt->nPage==0 ) pBt->btsFlags |= BTS_INITIALLY_EMPTY;
                                    ^
/sqlite/src/btree.c:3707:39: warning: Survived: Replaced == with != [cxx_eq_to_ne]
    while( pBt->pPage1==0 && SQLITE_OK==(rc = lockBtree(pBt)) );
                                      ^
/sqlite/src/btree.c:3709:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]
    if( rc==SQLITE_OK && wrflag ){
          ^
/sqlite/src/btree.c:3713:46: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
        rc = sqlite3PagerBegin(pPager, wrflag>1, sqlite3TempInMemory(p->db));
                                             ^
/sqlite/src/btree.c:3713:46: warning: Survived: Replaced > with <= [cxx_gt_to_le]
        rc = sqlite3PagerBegin(pPager, wrflag>1, sqlite3TempInMemory(p->db));
                                             ^
/sqlite/src/btree.c:3713:50: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
        rc = sqlite3PagerBegin(pPager, wrflag>1, sqlite3TempInMemory(p->db));
                                                 ^
/sqlite/src/btree.c:3714:15: warning: Survived: Replaced == with != [cxx_eq_to_ne]
        if( rc==SQLITE_OK ){
              ^
/sqlite/src/btree.c:3736:14: warning: Survived: Replaced & with | [cxx_and_to_or]
  }while( (rc&0xFF)==SQLITE_BUSY && pBt->inTransaction==TRANS_NONE &&
             ^
/sqlite/src/btree.c:3736:20: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  }while( (rc&0xFF)==SQLITE_BUSY && pBt->inTransaction==TRANS_NONE &&
                   ^
/sqlite/src/btree.c:3743:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( rc==SQLITE_OK ){
        ^
/sqlite/src/btree.c:3744:19: warning: Survived: Replaced == with != [cxx_eq_to_ne]
    if( p->inTrans==TRANS_NONE ){
                  ^
/sqlite/src/btree.c:3745:24: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]
      pBt->nTransaction++;
                       ^
/sqlite/src/btree.c:3755:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    p->inTrans = (wrflag?TRANS_WRITE:TRANS_READ);
               ^
/sqlite/src/btree.c:3756:19: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
    if( p->inTrans>pBt->inTransaction ){
                  ^
/sqlite/src/btree.c:3756:19: warning: Survived: Replaced > with <= [cxx_gt_to_le]
    if( p->inTrans>pBt->inTransaction ){
                  ^
/sqlite/src/btree.c:3757:26: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
      pBt->inTransaction = p->inTrans;
                         ^
/sqlite/src/btree.c:3765:17: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
      if( wrflag>1 ) pBt->btsFlags |= BTS_EXCLUSIVE;
                ^
/sqlite/src/btree.c:3765:17: warning: Survived: Replaced > with <= [cxx_gt_to_le]
      if( wrflag>1 ) pBt->btsFlags |= BTS_EXCLUSIVE;
                ^
/sqlite/src/btree.c:3774:21: warning: Survived: Replaced != with == [cxx_ne_to_eq]
      if( pBt->nPage!=get4byte(&pPage1->aData[28]) ){
                    ^
/sqlite/src/btree.c:3784:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( rc==SQLITE_OK ){
        ^
/sqlite/src/btree.c:3786:23: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
      *pSchemaVersion = get4byte(&pBt->pPage1->aData[40]);
                      ^
/sqlite/src/btree.c:3798:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeLeave(p);
  ^
/sqlite/src/btree.c:4310:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
  int rc = SQLITE_OK;
      ^
/sqlite/src/btree.c:4311:17: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( p->inTrans==TRANS_WRITE ){
                ^
/sqlite/src/btree.c:4313:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    sqlite3BtreeEnter(p);
    ^
/sqlite/src/btree.c:4327:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    sqlite3BtreeLeave(p);
    ^
/sqlite/src/btree.c:4342:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  pBt->bDoTruncate = 0;
                   ^
/sqlite/src/btree.c:4344:17: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
  if( p->inTrans>TRANS_NONE && db->nVdbeRead>1 ){
                ^
/sqlite/src/btree.c:4344:17: warning: Survived: Replaced > with <= [cxx_gt_to_le]
  if( p->inTrans>TRANS_NONE && db->nVdbeRead>1 ){
                ^
/sqlite/src/btree.c:4344:45: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
  if( p->inTrans>TRANS_NONE && db->nVdbeRead>1 ){
                                            ^
/sqlite/src/btree.c:4344:45: warning: Survived: Replaced > with <= [cxx_gt_to_le]
  if( p->inTrans>TRANS_NONE && db->nVdbeRead>1 ){
                                            ^
/sqlite/src/btree.c:4355:19: warning: Survived: Replaced != with == [cxx_ne_to_eq]
    if( p->inTrans!=TRANS_NONE ){
                  ^
/sqlite/src/btree.c:4356:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]
      clearAllSharedCacheTableLocks(p);
      ^
/sqlite/src/btree.c:4357:24: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]
      pBt->nTransaction--;
                       ^
/sqlite/src/btree.c:4358:12: warning: Survived: Replaced == with != [cxx_eq_to_ne]
      if( 0==pBt->nTransaction ){
           ^
/sqlite/src/btree.c:4359:28: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
        pBt->inTransaction = TRANS_NONE;
                           ^
/sqlite/src/btree.c:4366:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    unlockBtreeIfUnused(pBt);
    ^
/sqlite/src/btree.c:4400:17: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( p->inTrans==TRANS_NONE ) return SQLITE_OK;
                ^
/sqlite/src/btree.c:4401:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeEnter(p);
  ^
/sqlite/src/btree.c:4407:17: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( p->inTrans==TRANS_WRITE ){
                ^
/sqlite/src/btree.c:4413:11: warning: Survived: Replaced != with == [cxx_ne_to_eq]
    if( rc!=SQLITE_OK && bCleanup==0 ){
          ^
/sqlite/src/btree.c:4417:21: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]
    p->iBDataVersion--;  /* Compensate for pPager->iDataVersion++; */
                    ^
/sqlite/src/btree.c:4418:24: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    pBt->inTransaction = TRANS_READ;
                       ^
/sqlite/src/btree.c:4419:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    btreeClearHasContent(pBt);
    ^
/sqlite/src/btree.c:4422:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  btreeEndTransaction(p);
  ^
/sqlite/src/btree.c:4423:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeLeave(p);
  ^
/sqlite/src/btree.c:4432:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeEnter(p);
  ^
/sqlite/src/btree.c:4434:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( rc==SQLITE_OK ){
        ^
/sqlite/src/btree.c:4437:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeLeave(p);
  ^
/sqlite/src/btree.c:4500:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
  int nPage = get4byte(&pPage1->aData[28]);
      ^
/sqlite/src/btree.c:4502:12: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( nPage==0 ) sqlite3PagerPagecount(pBt->pPager, &nPage);
           ^
/sqlite/src/btree.c:4504:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
  pBt->nPage = nPage;
             ^
/sqlite/src/btree.c:4525:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeEnter(p);
  ^
/sqlite/src/btree.c:4526:15: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( tripCode==SQLITE_OK ){
              ^
/sqlite/src/btree.c:4527:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    rc = tripCode = saveAllCursors(pBt, 0, 0);
       ^
/sqlite/src/btree.c:4527:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    rc = tripCode = saveAllCursors(pBt, 0, 0);
                  ^
/sqlite/src/btree.c:4527:21: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
    rc = tripCode = saveAllCursors(pBt, 0, 0);
                    ^
/sqlite/src/btree.c:4539:17: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( p->inTrans==TRANS_WRITE ){
                ^
/sqlite/src/btree.c:4560:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  btreeEndTransaction(p);
  ^
/sqlite/src/btree.c:4561:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeLeave(p);
  ^
/sqlite/src/btree.c:4586:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeEnter(p);
  ^
/sqlite/src/btree.c:4598:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeLeave(p);
  ^
/sqlite/src/btree.c:4616:22: warning: Survived: Replaced == with != [cxx_eq_to_ne]
  if( p && p->inTrans==TRANS_WRITE ){
                     ^
/sqlite/src/btree.c:4620:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    sqlite3BtreeEnter(p);
    ^
/sqlite/src/btree.c:4621:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]
    if( op==SAVEPOINT_ROLLBACK ){
          ^
/sqlite/src/btree.c:4624:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]
    if( rc==SQLITE_OK ){
          ^
/sqlite/src/btree.c:4627:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]
    if( rc==SQLITE_OK ){
          ^
/sqlite/src/btree.c:4628:21: warning: Survived: Replaced < with >= [cxx_lt_to_ge]
      if( iSavepoint<0 && (pBt->btsFlags & BTS_INITIALLY_EMPTY)!=0 ){
                    ^
/sqlite/src/btree.c:4628:21: warning: Survived: Replaced < with <= [cxx_lt_to_le]
      if( iSavepoint<0 && (pBt->btsFlags & BTS_INITIALLY_EMPTY)!=0 ){
                    ^
/sqlite/src/btree.c:4632:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]
      btreeSetNPage(pBt, pBt->pPage1);
      ^
/sqlite/src/btree.c:4638:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    sqlite3BtreeLeave(p);
    ^
/sqlite/src/btree.c:11342:20: warning: Survived: Replaced != with == [cxx_ne_to_eq]
  return p->nBackup!=0;
                   ^
/sqlite/src/btree.c:11368:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeEnter(p);
  ^
/sqlite/src/btree.c:11373:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
  sqlite3BtreeLeave(p);
  ^
[info] Mutation score: 33%
[info] Total execution time: 7091ms
[info] Surviving mutants: 208