SuccessConsole Output

Skipping 531 KB.. Full Log
.cpp

File 'souffleNEs0zA.cpp'
Lines executed:84.53% of 278
Branches executed:73.10% of 394
Taken at least once:41.37% of 394
Calls executed:64.03% of 506
Creating 'souffleNEs0zA.cpp.gcov'
Cannot open source file souffleNEs0zA.cpp

File 'souffleZvgaU7.cpp'
Lines executed:78.70% of 385
Branches executed:65.38% of 520
Taken at least once:38.08% of 520
Calls executed:59.29% of 759
Creating 'souffleZvgaU7.cpp.gcov'
Cannot open source file souffleZvgaU7.cpp

File 'soufflelpsCH0.cpp'
Lines executed:78.43% of 357
Branches executed:68.83% of 494
Taken at least once:36.64% of 494
Calls executed:61.70% of 684
Creating 'soufflelpsCH0.cpp.gcov'
Cannot open source file soufflelpsCH0.cpp

File 'soufflebx2AWC.cpp'
Lines executed:55.82% of 851
Branches executed:40.54% of 2166
Taken at least once:20.36% of 2166
Calls executed:33.29% of 2881
Creating 'soufflebx2AWC.cpp.gcov'
Cannot open source file soufflebx2AWC.cpp

File '/souffle/src/include/souffle/utility/EvaluatorUtil.h'
Lines executed:77.78% of 18
Branches executed:50.00% of 4
Taken at least once:25.00% of 4
Calls executed:16.67% of 6
Creating '#souffle#src#include#souffle#utility#EvaluatorUtil.h.gcov'

File 'souffle4pMnE4.cpp'
Lines executed:53.03% of 132
Branches executed:42.11% of 266
Taken at least once:21.43% of 266
Calls executed:35.23% of 386
Creating 'souffle4pMnE4.cpp.gcov'
Cannot open source file souffle4pMnE4.cpp

File 'soufflejZ62YJ.cpp'
Lines executed:67.59% of 253
Branches executed:59.24% of 314
Taken at least once:31.85% of 314
Calls executed:55.12% of 508
Creating 'soufflejZ62YJ.cpp.gcov'
Cannot open source file soufflejZ62YJ.cpp

File 'souffle9Gy3M2.cpp'
Lines executed:66.46% of 319
Branches executed:51.31% of 534
Taken at least once:27.72% of 534
Calls executed:47.74% of 796
Creating 'souffle9Gy3M2.cpp.gcov'
Cannot open source file souffle9Gy3M2.cpp

File 'souffle8KYY2k.cpp'
Lines executed:67.59% of 253
Branches executed:51.10% of 364
Taken at least once:27.75% of 364
Calls executed:46.05% of 608
Creating 'souffle8KYY2k.cpp.gcov'
Cannot open source file souffle8KYY2k.cpp

File 'soufflewzdCRu.cpp'
Lines executed:67.59% of 253
Branches executed:51.10% of 364
Taken at least once:27.20% of 364
Calls executed:46.05% of 608
Creating 'soufflewzdCRu.cpp.gcov'
Cannot open source file soufflewzdCRu.cpp

File 'soufflet8ZrZC.cpp'
Lines executed:78.14% of 215
Branches executed:64.93% of 268
Taken at least once:32.84% of 268
Calls executed:57.88% of 425
Creating 'soufflet8ZrZC.cpp.gcov'
Cannot open source file soufflet8ZrZC.cpp

File 'souffleo84RkQ.cpp'
Lines executed:40.85% of 142
Branches executed:35.40% of 226
Taken at least once:17.70% of 226
Calls executed:28.36% of 342
Creating 'souffleo84RkQ.cpp.gcov'
Cannot open source file souffleo84RkQ.cpp

File 'souffleGz6LoT.cpp'
Lines executed:68.38% of 136
Branches executed:55.00% of 200
Taken at least once:28.00% of 200
Calls executed:50.16% of 309
Creating 'souffleGz6LoT.cpp.gcov'
Cannot open source file souffleGz6LoT.cpp

File 'souffle1bEKOj.cpp'
Lines executed:70.19% of 208
Branches executed:58.96% of 268
Taken at least once:30.60% of 268
Calls executed:54.31% of 418
Creating 'souffle1bEKOj.cpp.gcov'
Cannot open source file souffle1bEKOj.cpp

File 'soufflegOqYaR.cpp'
Lines executed:58.77% of 114
Branches executed:48.31% of 178
Taken at least once:24.72% of 178
Calls executed:44.84% of 281
Creating 'soufflegOqYaR.cpp.gcov'
Cannot open source file soufflegOqYaR.cpp

File 'soufflePmZCDp.cpp'
Lines executed:45.49% of 244
Branches executed:38.95% of 570
Taken at least once:19.47% of 570
Calls executed:30.91% of 757
Creating 'soufflePmZCDp.cpp.gcov'
Cannot open source file soufflePmZCDp.cpp

File 'souffleBQCajL.cpp'
Lines executed:60.27% of 292
Branches executed:41.01% of 756
Taken at least once:20.77% of 756
Calls executed:34.08% of 1027
Creating 'souffleBQCajL.cpp.gcov'
Cannot open source file souffleBQCajL.cpp

File 'souffleJo2hVH.cpp'
Lines executed:61.86% of 721
Branches executed:40.53% of 1880
Taken at least once:20.53% of 1880
Calls executed:34.71% of 2570
Creating 'souffleJo2hVH.cpp.gcov'
Cannot open source file souffleJo2hVH.cpp

File 'souffleeVn5k8.cpp'
Lines executed:48.69% of 306
Branches executed:33.33% of 918
Taken at least once:16.67% of 918
Calls executed:26.87% of 1176
Creating 'souffleeVn5k8.cpp.gcov'
Cannot open source file souffleeVn5k8.cpp

File 'soufflecX5iRy.cpp'
Lines executed:56.21% of 153
Branches executed:42.16% of 408
Taken at least once:22.55% of 408
Calls executed:36.26% of 535
Creating 'soufflecX5iRy.cpp.gcov'
Cannot open source file soufflecX5iRy.cpp

File 'soufflebzN4FZ.cpp'
Lines executed:45.13% of 113
Branches executed:36.92% of 260
Taken at least once:18.46% of 260
Calls executed:28.57% of 357
Creating 'soufflebzN4FZ.cpp.gcov'
Cannot open source file soufflebzN4FZ.cpp

File 'soufflexr4oZE.cpp'
Lines executed:45.95% of 148
Branches executed:34.76% of 466
Taken at least once:17.38% of 466
Calls executed:26.79% of 586
Creating 'soufflexr4oZE.cpp.gcov'
Cannot open source file soufflexr4oZE.cpp

File 'souffleXLImIk.cpp'
Lines executed:45.61% of 114
Branches executed:35.66% of 286
Taken at least once:17.83% of 286
Calls executed:27.60% of 384
Creating 'souffleXLImIk.cpp.gcov'
Cannot open source file souffleXLImIk.cpp

File 'souffleewbOx5.cpp'
Lines executed:48.48% of 99
Branches executed:38.20% of 178
Taken at least once:19.10% of 178
Calls executed:31.09% of 267
Creating 'souffleewbOx5.cpp.gcov'
Cannot open source file souffleewbOx5.cpp

File 'soufflevEqHoh.cpp'
Lines executed:67.19% of 256
Branches executed:51.24% of 484
Taken at least once:27.69% of 484
Calls executed:45.75% of 671
Creating 'soufflevEqHoh.cpp.gcov'
Cannot open source file soufflevEqHoh.cpp

File 'souffleSFOIMB.cpp'
Lines executed:71.02% of 176
Branches executed:55.97% of 268
Taken at least once:30.22% of 268
Calls executed:48.97% of 388
Creating 'souffleSFOIMB.cpp.gcov'
Cannot open source file souffleSFOIMB.cpp

File 'souffle9ne6o1.cpp'
Lines executed:74.01% of 277
Branches executed:59.55% of 440
Taken at least once:32.05% of 440
Calls executed:56.89% of 624
Creating 'souffle9ne6o1.cpp.gcov'
Cannot open source file souffle9ne6o1.cpp

File 'souffleOq55qe.cpp'
Lines executed:74.24% of 229
Branches executed:65.43% of 324
Taken at least once:36.11% of 324
Calls executed:60.68% of 440
Creating 'souffleOq55qe.cpp.gcov'
Cannot open source file souffleOq55qe.cpp

File 'souffleJeHTOM.cpp'
Lines executed:76.06% of 355
Branches executed:60.24% of 498
Taken at least once:33.53% of 498
Calls executed:53.41% of 719
Creating 'souffleJeHTOM.cpp.gcov'
Cannot open source file souffleJeHTOM.cpp

File 'souffleLjSlec.cpp'
Lines executed:63.28% of 128
Branches executed:51.06% of 188
Taken at least once:26.06% of 188
Calls executed:46.18% of 288
Creating 'souffleLjSlec.cpp.gcov'
Cannot open source file souffleLjSlec.cpp

File 'souffle6fqMXp.cpp'
Lines executed:61.15% of 157
Branches executed:49.37% of 316
Taken at least once:25.32% of 316
Calls executed:41.04% of 441
Creating 'souffle6fqMXp.cpp.gcov'
Cannot open source file souffle6fqMXp.cpp

File 'souffleShrElc.cpp'
Lines executed:63.16% of 171
Branches executed:52.85% of 246
Taken at least once:27.24% of 246
Calls executed:46.67% of 375
Creating 'souffleShrElc.cpp.gcov'
Cannot open source file souffleShrElc.cpp

File 'soufflexQPn0Z.cpp'
Lines executed:66.85% of 184
Branches executed:59.43% of 424
Taken at least once:31.60% of 424
Calls executed:47.32% of 522
Creating 'soufflexQPn0Z.cpp.gcov'
Cannot open source file soufflexQPn0Z.cpp

File 'soufflepgONKw.cpp'
Lines executed:72.00% of 250
Branches executed:54.59% of 370
Taken at least once:30.54% of 370
Calls executed:51.05% of 570
Creating 'soufflepgONKw.cpp.gcov'
Cannot open source file soufflepgONKw.cpp

File 'souffleU0pA7r.cpp'
Lines executed:72.32% of 224
Branches executed:58.79% of 398
Taken at least once:30.40% of 398
Calls executed:51.05% of 572
Creating 'souffleU0pA7r.cpp.gcov'
Cannot open source file souffleU0pA7r.cpp

File 'souffleQmRNkR.cpp'
Lines executed:40.15% of 137
Branches executed:35.91% of 362
Taken at least once:17.96% of 362
Calls executed:28.37% of 504
Creating 'souffleQmRNkR.cpp.gcov'
Cannot open source file souffleQmRNkR.cpp

File 'souffleWtgh9m.cpp'
Lines executed:69.20% of 263
Branches executed:55.34% of 524
Taken at least once:28.63% of 524
Calls executed:47.32% of 727
Creating 'souffleWtgh9m.cpp.gcov'
Cannot open source file souffleWtgh9m.cpp

File 'souffler5nxJO.cpp'
Lines executed:49.50% of 101
Branches executed:38.20% of 178
Taken at least once:19.10% of 178
Calls executed:31.60% of 269
Creating 'souffler5nxJO.cpp.gcov'
Cannot open source file souffler5nxJO.cpp

File 'souffleqDvG51.cpp'
Lines executed:66.87% of 326
Branches executed:50.20% of 506
Taken at least once:26.48% of 506
Calls executed:45.13% of 718
Creating 'souffleqDvG51.cpp.gcov'
Cannot open source file souffleqDvG51.cpp

File 'soufflefvyoDK.cpp'
Lines executed:60.55% of 218
Branches executed:44.78% of 536
Taken at least once:22.95% of 536
Calls executed:37.12% of 722
Creating 'soufflefvyoDK.cpp.gcov'
Cannot open source file soufflefvyoDK.cpp

File 'soufflegaShkV.cpp'
Lines executed:54.63% of 108
Branches executed:41.11% of 180
Taken at least once:20.56% of 180
Calls executed:34.55% of 275
Creating 'soufflegaShkV.cpp.gcov'
Cannot open source file soufflegaShkV.cpp

File 'souffleCKRfze.cpp'
Lines executed:74.18% of 306
Branches executed:61.84% of 456
Taken at least once:32.24% of 456
Calls executed:55.39% of 659
Creating 'souffleCKRfze.cpp.gcov'
Cannot open source file souffleCKRfze.cpp

File 'souffleW1JZMw.cpp'
Lines executed:63.24% of 506
Branches executed:48.09% of 732
Taken at least once:24.59% of 732
Calls executed:43.43% of 1004
Creating 'souffleW1JZMw.cpp.gcov'
Cannot open source file souffleW1JZMw.cpp

File 'souffleHXD8Qd.cpp'
Lines executed:39.33% of 89
Branches executed:37.66% of 154
Taken at least once:18.83% of 154
Calls executed:30.34% of 234
Creating 'souffleHXD8Qd.cpp.gcov'
Cannot open source file souffleHXD8Qd.cpp

File 'soufflekLAxTC.cpp'
Lines executed:64.91% of 171
Branches executed:56.45% of 248
Taken at least once:30.65% of 248
Calls executed:52.36% of 382
Creating 'soufflekLAxTC.cpp.gcov'
Cannot open source file soufflekLAxTC.cpp

File 'souffleWVW5ED.cpp'
Lines executed:65.97% of 191
Branches executed:57.36% of 258
Taken at least once:30.23% of 258
Calls executed:52.55% of 411
Creating 'souffleWVW5ED.cpp.gcov'
Cannot open source file souffleWVW5ED.cpp

File 'souffleGjLlS6.cpp'
Lines executed:58.54% of 123
Branches executed:47.25% of 182
Taken at least once:23.63% of 182
Calls executed:40.42% of 287
Creating 'souffleGjLlS6.cpp.gcov'
Cannot open source file souffleGjLlS6.cpp

File 'souffleMaDqm8.cpp'
Lines executed:61.02% of 354
Branches executed:47.11% of 934
Taken at least once:28.91% of 934
Calls executed:43.76% of 1209
Creating 'souffleMaDqm8.cpp.gcov'
Cannot open source file souffleMaDqm8.cpp

File 'souffleJ8zMBT.cpp'
Lines executed:66.84% of 573
Branches executed:54.69% of 1386
Taken at least once:35.28% of 1386
Calls executed:54.44% of 1815
Creating 'souffleJ8zMBT.cpp.gcov'
Cannot open source file souffleJ8zMBT.cpp

File '/souffle/src/include/souffle/datastructure/Table.h'
Lines executed:93.33% of 30
No branches
No calls
Creating '#souffle#src#include#souffle#datastructure#Table.h.gcov'

File 'souffleoZjNEi.cpp'
Lines executed:68.12% of 574
Branches executed:56.77% of 1374
Taken at least once:36.75% of 1374
Calls executed:56.68% of 1803
Creating 'souffleoZjNEi.cpp.gcov'
Cannot open source file souffleoZjNEi.cpp

File 'soufflelXqP14.cpp'
Lines executed:62.91% of 151
Branches executed:48.96% of 192
Taken at least once:25.00% of 192
Calls executed:49.54% of 327
Creating 'soufflelXqP14.cpp.gcov'
Cannot open source file soufflelXqP14.cpp

File 'souffleQQohkK.cpp'
Lines executed:77.83% of 591
Branches executed:62.61% of 904
Taken at least once:36.17% of 904
Calls executed:59.20% of 1348
Creating 'souffleQQohkK.cpp.gcov'
Cannot open source file souffleQQohkK.cpp

File 'souffledZKifB.cpp'
Lines executed:58.93% of 392
Branches executed:44.35% of 920
Taken at least once:24.46% of 920
Calls executed:39.25% of 1228
Creating 'souffledZKifB.cpp.gcov'
Cannot open source file souffledZKifB.cpp

File 'souffle5M6W3D.cpp'
Lines executed:58.24% of 182
Branches executed:51.22% of 246
Taken at least once:26.02% of 246
Calls executed:44.36% of 381
Creating 'souffle5M6W3D.cpp.gcov'
Cannot open source file souffle5M6W3D.cpp

File 'souffleccH3H6.cpp'
Lines executed:68.34% of 199
Branches executed:55.83% of 240
Taken at least once:29.58% of 240
Calls executed:51.38% of 362
Creating 'souffleccH3H6.cpp.gcov'
Cannot open source file souffleccH3H6.cpp

File 'soufflen5bhHg.cpp'
Lines executed:77.05% of 183
Branches executed:57.41% of 216
Taken at least once:30.09% of 216
Calls executed:52.49% of 341
Creating 'soufflen5bhHg.cpp.gcov'
Cannot open source file soufflen5bhHg.cpp

File 'souffleMrgEgJ.cpp'
Lines executed:59.52% of 168
Branches executed:45.75% of 306
Taken at least once:22.88% of 306
Calls executed:38.73% of 457
Creating 'souffleMrgEgJ.cpp.gcov'
Cannot open source file souffleMrgEgJ.cpp

File 'souffleuohmxj.cpp'
Lines executed:62.92% of 178
Branches executed:52.89% of 242
Taken at least once:27.69% of 242
Calls executed:47.66% of 363
Creating 'souffleuohmxj.cpp.gcov'
Cannot open source file souffleuohmxj.cpp

File 'souffle9NUG92.cpp'
Lines executed:76.42% of 1319
Branches executed:61.50% of 2026
Taken at least once:33.71% of 2026
Calls executed:57.28% of 2982
Creating 'souffle9NUG92.cpp.gcov'
Cannot open source file souffle9NUG92.cpp

File 'souffle01iT2i.cpp'
Lines executed:76.21% of 248
Branches executed:61.11% of 324
Taken at least once:32.72% of 324
Calls executed:55.35% of 477
Creating 'souffle01iT2i.cpp.gcov'
Cannot open source file souffle01iT2i.cpp

File 'souffle8VHr5P.cpp'
Lines executed:73.79% of 870
Branches executed:56.37% of 1444
Taken at least once:29.71% of 1444
Calls executed:50.30% of 2012
Creating 'souffle8VHr5P.cpp.gcov'
Cannot open source file souffle8VHr5P.cpp

File 'souffleSnPxYe.cpp'
Lines executed:71.15% of 260
Branches executed:54.12% of 388
Taken at least once:27.58% of 388
Calls executed:48.97% of 580
Creating 'souffleSnPxYe.cpp.gcov'
Cannot open source file souffleSnPxYe.cpp

File 'souffle3MxaG6.cpp'
Lines executed:87.21% of 391
Branches executed:70.21% of 376
Taken at least once:36.17% of 376
Calls executed:66.62% of 683
Creating 'souffle3MxaG6.cpp.gcov'
Cannot open source file souffle3MxaG6.cpp

File 'soufflellIJE1.cpp'
Lines executed:67.42% of 221
Branches executed:46.73% of 428
Taken at least once:23.83% of 428
Calls executed:40.46% of 608
Creating 'soufflellIJE1.cpp.gcov'
Cannot open source file soufflellIJE1.cpp

File 'souffleiTOGDn.cpp'
Lines executed:62.41% of 407
Branches executed:42.14% of 992
Taken at least once:21.77% of 992
Calls executed:36.32% of 1352
Creating 'souffleiTOGDn.cpp.gcov'
Cannot open source file souffleiTOGDn.cpp

File 'souffleEoCrqA.cpp'
Lines executed:64.53% of 172
Branches executed:52.86% of 280
Taken at least once:27.50% of 280
Calls executed:46.01% of 426
Creating 'souffleEoCrqA.cpp.gcov'
Cannot open source file souffleEoCrqA.cpp

File 'souffleuo0u2t.cpp'
Lines executed:57.30% of 274
Branches executed:40.44% of 722
Taken at least once:20.22% of 722
Calls executed:33.50% of 982
Creating 'souffleuo0u2t.cpp.gcov'
Cannot open source file souffleuo0u2t.cpp

File 'souffleqs87is.cpp'
Lines executed:58.22% of 146
Branches executed:43.97% of 282
Taken at least once:22.34% of 282
Calls executed:37.68% of 406
Creating 'souffleqs87is.cpp.gcov'
Cannot open source file souffleqs87is.cpp

File 'souffledw5LhB.cpp'
Lines executed:60.62% of 226
Branches executed:42.80% of 514
Taken at least once:21.40% of 514
Calls executed:36.10% of 712
Creating 'souffledw5LhB.cpp.gcov'
Cannot open source file souffledw5LhB.cpp

File 'souffle74HIpH.cpp'
Lines executed:58.87% of 124
Branches executed:50.52% of 194
Taken at least once:25.77% of 194
Calls executed:41.44% of 292
Creating 'souffle74HIpH.cpp.gcov'
Cannot open source file souffle74HIpH.cpp

File 'souffleIiVnJZ.cpp'
Lines executed:58.87% of 124
Branches executed:50.52% of 194
Taken at least once:25.77% of 194
Calls executed:41.44% of 292
Creating 'souffleIiVnJZ.cpp.gcov'
Cannot open source file souffleIiVnJZ.cpp

File 'souffleWRIrqC.cpp'
Lines executed:75.22% of 226
Branches executed:57.07% of 396
Taken at least once:31.82% of 396
Calls executed:51.64% of 550
Creating 'souffleWRIrqC.cpp.gcov'
Cannot open source file souffleWRIrqC.cpp

File 'souffleNMuQcl.cpp'
Lines executed:84.32% of 931
Branches executed:82.79% of 1104
Taken at least once:45.20% of 1104
Calls executed:74.49% of 1533
Creating 'souffleNMuQcl.cpp.gcov'
Cannot open source file souffleNMuQcl.cpp

File 'souffleCbxlL7.cpp'
Lines executed:85.10% of 557
Branches executed:81.34% of 686
Taken at least once:45.63% of 686
Calls executed:73.89% of 988
Creating 'souffleCbxlL7.cpp.gcov'
Cannot open source file souffleCbxlL7.cpp

File 'soufflePSOTXb.cpp'
Lines executed:69.52% of 210
Branches executed:62.86% of 280
Taken at least once:33.21% of 280
Calls executed:57.47% of 442
Creating 'soufflePSOTXb.cpp.gcov'
Cannot open source file soufflePSOTXb.cpp

File 'souffleVuqrU4.cpp'
Lines executed:77.28% of 405
Branches executed:61.44% of 638
Taken at least once:31.35% of 638
Calls executed:54.72% of 965
Creating 'souffleVuqrU4.cpp.gcov'
Cannot open source file souffleVuqrU4.cpp

File 'souffleepre56.cpp'
Lines executed:74.70% of 419
Branches executed:64.94% of 616
Taken at least once:37.82% of 616
Calls executed:61.07% of 858
Creating 'souffleepre56.cpp.gcov'
Cannot open source file souffleepre56.cpp

File 'souffleLmW8Ym.cpp'
Lines executed:66.67% of 279
Branches executed:60.77% of 362
Taken at least once:33.98% of 362
Calls executed:54.58% of 524
Creating 'souffleLmW8Ym.cpp.gcov'
Cannot open source file souffleLmW8Ym.cpp

File 'souffleV4x9KH.cpp'
Lines executed:83.33% of 336
Branches executed:73.57% of 454
Taken at least once:42.29% of 454
Calls executed:71.71% of 700
Creating 'souffleV4x9KH.cpp.gcov'
Cannot open source file souffleV4x9KH.cpp

File 'souffleet658i.cpp'
Lines executed:81.90% of 337
Branches executed:70.53% of 414
Taken at least once:38.16% of 414
Calls executed:67.43% of 657
Creating 'souffleet658i.cpp.gcov'
Cannot open source file souffleet658i.cpp

File 'souffleEgRBCB.cpp'
Lines executed:80.76% of 317
Branches executed:62.56% of 438
Taken at least once:33.56% of 438
Calls executed:57.78% of 675
Creating 'souffleEgRBCB.cpp.gcov'
Cannot open source file souffleEgRBCB.cpp

File 'souffle6w0tzU.cpp'
Lines executed:82.52% of 326
Branches executed:74.36% of 390
Taken at least once:42.56% of 390
Calls executed:72.29% of 646
Creating 'souffle6w0tzU.cpp.gcov'
Cannot open source file souffle6w0tzU.cpp

File 'souffleYfRKkw.cpp'
Lines executed:81.85% of 314
Branches executed:71.20% of 382
Taken at least once:39.01% of 382
Calls executed:68.47% of 628
Creating 'souffleYfRKkw.cpp.gcov'
Cannot open source file souffleYfRKkw.cpp

File 'soufflefbTBbX.cpp'
Lines executed:65.22% of 207
Branches executed:53.85% of 364
Taken at least once:28.85% of 364
Calls executed:48.45% of 516
Creating 'soufflefbTBbX.cpp.gcov'
Cannot open source file soufflefbTBbX.cpp

File 'souffle8t1VZB.cpp'
Lines executed:39.33% of 89
Branches executed:37.66% of 154
Taken at least once:18.83% of 154
Calls executed:30.34% of 234
Creating 'souffle8t1VZB.cpp.gcov'
Cannot open source file souffle8t1VZB.cpp

File 'soufflehtLe1Z.cpp'
Lines executed:84.58% of 681
Branches executed:79.23% of 780
Taken at least once:43.59% of 780
Calls executed:70.95% of 1160
Creating 'soufflehtLe1Z.cpp.gcov'
Cannot open source file soufflehtLe1Z.cpp

File 'soufflepOaJRP.cpp'
Lines executed:55.66% of 106
Branches executed:47.13% of 174
Taken at least once:24.14% of 174
Calls executed:41.06% of 263
Creating 'soufflepOaJRP.cpp.gcov'
Cannot open source file soufflepOaJRP.cpp

File 'souffleaYgaJO.cpp'
Lines executed:60.17% of 118
Branches executed:53.06% of 196
Taken at least once:27.04% of 196
Calls executed:44.41% of 286
Creating 'souffleaYgaJO.cpp.gcov'
Cannot open source file souffleaYgaJO.cpp

File 'souffle20mTEc.cpp'
Lines executed:71.11% of 450
Branches executed:44.42% of 896
Taken at least once:22.54% of 896
Calls executed:40.58% of 1284
Creating 'souffle20mTEc.cpp.gcov'
Cannot open source file souffle20mTEc.cpp

File 'soufflehd8Rmk.cpp'
Lines executed:62.63% of 198
Branches executed:53.46% of 434
Taken at least once:27.19% of 434
Calls executed:43.27% of 587
Creating 'soufflehd8Rmk.cpp.gcov'
Cannot open source file soufflehd8Rmk.cpp

File 'souffleTHViNc.cpp'
Lines executed:76.41% of 284
Branches executed:60.43% of 470
Taken at least once:34.04% of 470
Calls executed:56.30% of 659
Creating 'souffleTHViNc.cpp.gcov'
Cannot open source file souffleTHViNc.cpp

File 'soufflebnOrtB.cpp'
Lines executed:68.10% of 279
Branches executed:47.35% of 566
Taken at least once:24.20% of 566
Calls executed:40.91% of 792
Creating 'soufflebnOrtB.cpp.gcov'
Cannot open source file soufflebnOrtB.cpp

File 'souffle4mQuyT.cpp'
Lines executed:58.94% of 207
Branches executed:40.30% of 536
Taken at least once:20.52% of 536
Calls executed:34.97% of 712
Creating 'souffle4mQuyT.cpp.gcov'
Cannot open source file souffle4mQuyT.cpp

File 'souffletlzGUc.cpp'
Lines executed:77.55% of 637
Branches executed:63.01% of 1022
Taken at least once:32.97% of 1022
Calls executed:55.49% of 1366
Creating 'souffletlzGUc.cpp.gcov'
Cannot open source file souffletlzGUc.cpp

File 'souffleUhYRmg.cpp'
Lines executed:76.17% of 235
Branches executed:57.71% of 402
Taken at least once:32.09% of 402
Calls executed:52.32% of 560
Creating 'souffleUhYRmg.cpp.gcov'
Cannot open source file souffleUhYRmg.cpp

File 'souffle0tWnIr.cpp'
Lines executed:74.15% of 588
Branches executed:56.75% of 1008
Taken at least once:31.05% of 1008
Calls executed:51.77% of 1410
Creating 'souffle0tWnIr.cpp.gcov'
Cannot open source file souffle0tWnIr.cpp

File 'souffleDsfSeE.cpp'
Lines executed:63.61% of 338
Branches executed:44.02% of 836
Taken at least once:23.44% of 836
Calls executed:38.61% of 1093
Creating 'souffleDsfSeE.cpp.gcov'
Cannot open source file souffleDsfSeE.cpp

File 'soufflePogXQZ.cpp'
Lines executed:71.02% of 452
Branches executed:61.25% of 578
Taken at least once:30.62% of 578
Calls executed:54.79% of 845
Creating 'soufflePogXQZ.cpp.gcov'
Cannot open source file soufflePogXQZ.cpp

File 'souffleKw7x1G.cpp'
Lines executed:60.62% of 160
Branches executed:51.40% of 214
Taken at least once:25.70% of 214
Calls executed:43.67% of 300
Creating 'souffleKw7x1G.cpp.gcov'
Cannot open source file souffleKw7x1G.cpp

File 'souffleDIViPX.cpp'
Lines executed:69.13% of 149
Branches executed:53.77% of 212
Taken at least once:28.77% of 212
Calls executed:48.80% of 332
Creating 'souffleDIViPX.cpp.gcov'
Cannot open source file souffleDIViPX.cpp

File 'souffle2SiJaX.cpp'
Lines executed:78.41% of 315
Branches executed:61.92% of 478
Taken at least once:34.52% of 478
Calls executed:56.66% of 653
Creating 'souffle2SiJaX.cpp.gcov'
Cannot open source file souffle2SiJaX.cpp

File 'soufflebdIfGm.cpp'
Lines executed:56.81% of 382
Branches executed:48.78% of 328
Taken at least once:24.70% of 328
Calls executed:54.37% of 721
Creating 'soufflebdIfGm.cpp.gcov'
Cannot open source file soufflebdIfGm.cpp

File 'souffle14JIZy.cpp'
Lines executed:52.80% of 161
Branches executed:39.61% of 308
Taken at least once:20.45% of 308
Calls executed:35.47% of 437
Creating 'souffle14JIZy.cpp.gcov'
Cannot open source file souffle14JIZy.cpp

File 'soufflemsKmQn.cpp'
Lines executed:68.49% of 238
Branches executed:58.78% of 296
Taken at least once:32.43% of 296
Calls executed:53.20% of 438
Creating 'soufflemsKmQn.cpp.gcov'
Cannot open source file soufflemsKmQn.cpp

File 'souffleg3qlLF.cpp'
Lines executed:77.21% of 373
Branches executed:69.03% of 452
Taken at least once:38.94% of 452
Calls executed:65.01% of 683
Creating 'souffleg3qlLF.cpp.gcov'
Cannot open source file souffleg3qlLF.cpp

File 'souffleBxtSes.cpp'
Lines executed:87.45% of 2184
Branches executed:85.18% of 2524
Taken at least once:54.08% of 2524
Calls executed:79.53% of 3385
Creating 'souffleBxtSes.cpp.gcov'
Cannot open source file souffleBxtSes.cpp

File 'souffle0Syk3a.cpp'
Lines executed:82.20% of 674
Branches executed:64.92% of 952
Taken at least once:37.39% of 952
Calls executed:61.35% of 1405
Creating 'souffle0Syk3a.cpp.gcov'
Cannot open source file souffle0Syk3a.cpp

File 'souffleKr0E3o.cpp'
Lines executed:74.27% of 342
Branches executed:57.14% of 602
Taken at least once:30.73% of 602
Calls executed:49.31% of 793
Creating 'souffleKr0E3o.cpp.gcov'
Cannot open source file souffleKr0E3o.cpp

File 'souffleEpr5PX.cpp'
Lines executed:84.16% of 884
Branches executed:77.04% of 1054
Taken at least once:45.26% of 1054
Calls executed:72.94% of 1515
Creating 'souffleEpr5PX.cpp.gcov'
Cannot open source file souffleEpr5PX.cpp

File 'souffleGbf5hj.cpp'
Lines executed:84.16% of 2026
Branches executed:73.59% of 2666
Taken at least once:44.26% of 2666
Calls executed:66.38% of 3391
Creating 'souffleGbf5hj.cpp.gcov'
Cannot open source file souffleGbf5hj.cpp

File 'souffleqgE6At.cpp'
Lines executed:88.49% of 2719
Branches executed:88.53% of 3016
Taken at least once:53.35% of 3016
Calls executed:78.67% of 3817
Creating 'souffleqgE6At.cpp.gcov'
Cannot open source file souffleqgE6At.cpp

File 'soufflezwf7E2.cpp'
Lines executed:81.34% of 1072
Branches executed:78.07% of 1286
Taken at least once:47.90% of 1286
Calls executed:73.81% of 1653
Creating 'soufflezwf7E2.cpp.gcov'
Cannot open source file soufflezwf7E2.cpp

File 'souffle4ZBmco.cpp'
Lines executed:81.29% of 1176
Branches executed:66.70% of 1850
Taken at least once:36.86% of 1850
Calls executed:60.17% of 2410
Creating 'souffle4ZBmco.cpp.gcov'
Cannot open source file souffle4ZBmco.cpp

File 'soufflecjFh2G.cpp'
Lines executed:84.20% of 1677
Branches executed:82.24% of 1926
Taken at least once:47.98% of 1926
Calls executed:74.04% of 2581
Creating 'soufflecjFh2G.cpp.gcov'
Cannot open source file soufflecjFh2G.cpp

File 'souffleBvpWAL.cpp'
Lines executed:76.15% of 478
Branches executed:71.89% of 498
Taken at least once:42.17% of 498
Calls executed:65.27% of 740
Creating 'souffleBvpWAL.cpp.gcov'
Cannot open source file souffleBvpWAL.cpp

File 'souffledW1gAT.cpp'
Lines executed:55.31% of 414
Branches executed:52.90% of 518
Taken at least once:26.64% of 518
Calls executed:47.57% of 742
Creating 'souffledW1gAT.cpp.gcov'
Cannot open source file souffledW1gAT.cpp

File 'souffleNsGm2b.cpp'
Lines executed:73.55% of 310
Branches executed:54.87% of 554
Taken at least once:28.52% of 554
Calls executed:47.79% of 745
Creating 'souffleNsGm2b.cpp.gcov'
Cannot open source file souffleNsGm2b.cpp

File 'souffleJ3Y2mJ.cpp'
Lines executed:72.59% of 259
Branches executed:63.98% of 322
Taken at least once:36.96% of 322
Calls executed:59.96% of 472
Creating 'souffleJ3Y2mJ.cpp.gcov'
Cannot open source file souffleJ3Y2mJ.cpp

File 'souffleOMl6mX.cpp'
Lines executed:73.12% of 491
Branches executed:58.61% of 720
Taken at least once:32.08% of 720
Calls executed:54.95% of 1061
Creating 'souffleOMl6mX.cpp.gcov'
Cannot open source file souffleOMl6mX.cpp

File 'soufflewT8ZEb.cpp'
Lines executed:81.18% of 425
Branches executed:74.13% of 518
Taken at least once:42.86% of 518
Calls executed:68.68% of 744
Creating 'soufflewT8ZEb.cpp.gcov'
Cannot open source file soufflewT8ZEb.cpp

File 'soufflewXu7Vo.cpp'
Lines executed:70.92% of 423
Branches executed:61.51% of 634
Taken at least once:32.65% of 634
Calls executed:53.61% of 830
Creating 'soufflewXu7Vo.cpp.gcov'
Cannot open source file soufflewXu7Vo.cpp

File 'souffled6l2tV.cpp'
Lines executed:78.44% of 1164
Branches executed:75.52% of 1258
Taken at least once:47.06% of 1258
Calls executed:66.99% of 1651
Creating 'souffled6l2tV.cpp.gcov'
Cannot open source file souffled6l2tV.cpp

File 'souffleB38oDM.cpp'
Lines executed:77.43% of 319
Branches executed:71.36% of 398
Taken at least once:40.20% of 398
Calls executed:64.13% of 591
Creating 'souffleB38oDM.cpp.gcov'
Cannot open source file souffleB38oDM.cpp

File 'souffleczcoR5.cpp'
Lines executed:84.10% of 981
Branches executed:76.73% of 1384
Taken at least once:43.93% of 1384
Calls executed:65.58% of 1659
Creating 'souffleczcoR5.cpp.gcov'
Cannot open source file souffleczcoR5.cpp

File 'souffleqFjNyX.cpp'
Lines executed:69.43% of 265
Branches executed:57.22% of 374
Taken at least once:31.82% of 374
Calls executed:52.67% of 619
Creating 'souffleqFjNyX.cpp.gcov'
Cannot open source file souffleqFjNyX.cpp

File 'souffledjluC1.cpp'
Lines executed:74.58% of 472
Branches executed:59.62% of 738
Taken at least once:33.60% of 738
Calls executed:56.17% of 981
Creating 'souffledjluC1.cpp.gcov'
Cannot open source file souffledjluC1.cpp

File 'soufflenugfXa.cpp'
Lines executed:83.86% of 818
Branches executed:73.18% of 1074
Taken at least once:42.36% of 1074
Calls executed:65.95% of 1398
Creating 'soufflenugfXa.cpp.gcov'
Cannot open source file soufflenugfXa.cpp

File 'soufflekOPTsY.cpp'
Lines executed:72.32% of 224
Branches executed:58.79% of 398
Taken at least once:30.40% of 398
Calls executed:51.05% of 572
Creating 'soufflekOPTsY.cpp.gcov'
Cannot open source file soufflekOPTsY.cpp

File 'soufflenq152G.cpp'
Lines executed:83.45% of 1891
Branches executed:77.08% of 2068
Taken at least once:49.66% of 2068
Calls executed:70.82% of 2663
Creating 'soufflenq152G.cpp.gcov'
Cannot open source file soufflenq152G.cpp

File 'souffleMjifQH.cpp'
Lines executed:76.35% of 203
Branches executed:65.96% of 282
Taken at least once:33.69% of 282
Calls executed:57.74% of 433
Creating 'souffleMjifQH.cpp.gcov'
Cannot open source file souffleMjifQH.cpp

File 'souffleTKSTq0.cpp'
Lines executed:73.87% of 199
Branches executed:60.58% of 274
Taken at least once:30.66% of 274
Calls executed:55.22% of 431
Creating 'souffleTKSTq0.cpp.gcov'
Cannot open source file souffleTKSTq0.cpp

File 'souffletobTDb.cpp'
Lines executed:68.00% of 150
Branches executed:53.98% of 226
Taken at least once:27.88% of 226
Calls executed:48.40% of 343
Creating 'souffletobTDb.cpp.gcov'
Cannot open source file souffletobTDb.cpp

File 'soufflebjSfH9.cpp'
Lines executed:68.67% of 150
Branches executed:54.46% of 202
Taken at least once:27.23% of 202
Calls executed:48.25% of 315
Creating 'soufflebjSfH9.cpp.gcov'
Cannot open source file soufflebjSfH9.cpp

File 'soufflesyE45i.cpp'
Lines executed:82.32% of 690
Branches executed:64.79% of 960
Taken at least once:34.58% of 960
Calls executed:59.18% of 1411
Creating 'soufflesyE45i.cpp.gcov'
Cannot open source file soufflesyE45i.cpp

File 'soufflevU7emV.cpp'
Lines executed:63.10% of 271
Branches executed:43.33% of 600
Taken at least once:22.50% of 600
Calls executed:37.91% of 831
Creating 'soufflevU7emV.cpp.gcov'
Cannot open source file soufflevU7emV.cpp

File 'soufflequZgbC.cpp'
Lines executed:76.76% of 525
Branches executed:56.92% of 1040
Taken at least once:30.67% of 1040
Calls executed:50.11% of 1379
Creating 'soufflequZgbC.cpp.gcov'
Cannot open source file soufflequZgbC.cpp

File 'soufflejgrfLP.cpp'
Lines executed:83.80% of 537
Branches executed:71.43% of 616
Taken at least once:38.96% of 616
Calls executed:65.32% of 989
Creating 'soufflejgrfLP.cpp.gcov'
Cannot open source file soufflejgrfLP.cpp

File 'souffletVeVWM.cpp'
Lines executed:66.85% of 178
Branches executed:51.52% of 330
Taken at least once:26.67% of 330
Calls executed:44.73% of 465
Creating 'souffletVeVWM.cpp.gcov'
Cannot open source file souffletVeVWM.cpp

File 'souffleLAYwgI.cpp'
Lines executed:76.61% of 218
Branches executed:59.28% of 388
Taken at least once:31.96% of 388
Calls executed:51.14% of 528
Creating 'souffleLAYwgI.cpp.gcov'
Cannot open source file souffleLAYwgI.cpp

File 'soufflexsom2e.cpp'
Lines executed:72.97% of 259
Branches executed:53.49% of 516
Taken at least once:29.84% of 516
Calls executed:47.74% of 708
Creating 'soufflexsom2e.cpp.gcov'
Cannot open source file soufflexsom2e.cpp

File 'souffle5ySORl.cpp'
Lines executed:74.17% of 271
Branches executed:54.92% of 528
Taken at least once:30.68% of 528
Calls executed:49.17% of 724
Creating 'souffle5ySORl.cpp.gcov'
Cannot open source file souffle5ySORl.cpp

File 'souffle69pa1u.cpp'
Lines executed:73.88% of 268
Branches executed:54.58% of 524
Taken at least once:30.53% of 524
Calls executed:49.03% of 722
Creating 'souffle69pa1u.cpp.gcov'
Cannot open source file souffle69pa1u.cpp

File 'souffle4EcIyn.cpp'
Lines executed:72.50% of 280
Branches executed:53.68% of 544
Taken at least once:29.78% of 544
Calls executed:48.18% of 741
Creating 'souffle4EcIyn.cpp.gcov'
Cannot open source file souffle4EcIyn.cpp

File 'souffleeXmEac.cpp'
Lines executed:75.00% of 280
Branches executed:56.57% of 548
Taken at least once:31.39% of 548
Calls executed:50.60% of 749
Creating 'souffleeXmEac.cpp.gcov'
Cannot open source file souffleeXmEac.cpp

File 'souffleuTC75w.cpp'
Lines executed:68.40% of 250
Branches executed:53.30% of 394
Taken at least once:29.44% of 394
Calls executed:51.04% of 578
Creating 'souffleuTC75w.cpp.gcov'
Cannot open source file souffleuTC75w.cpp

File 'souffleEPjfk5.cpp'
Lines executed:63.85% of 130
Branches executed:51.09% of 184
Taken at least once:26.09% of 184
Calls executed:44.64% of 280
Creating 'souffleEPjfk5.cpp.gcov'
Cannot open source file souffleEPjfk5.cpp

File 'souffleA5WUKF.cpp'
Lines executed:59.00% of 461
Branches executed:44.67% of 676
Taken at least once:22.49% of 676
Calls executed:40.96% of 940
Creating 'souffleA5WUKF.cpp.gcov'
Cannot open source file souffleA5WUKF.cpp

File 'soufflePy2asI.cpp'
Lines executed:68.09% of 398
Branches executed:51.31% of 686
Taken at least once:27.41% of 686
Calls executed:46.62% of 946
Creating 'soufflePy2asI.cpp.gcov'
Cannot open source file soufflePy2asI.cpp

File 'souffleuoLfFA.cpp'
Lines executed:74.52% of 208
Branches executed:64.49% of 276
Taken at least once:32.61% of 276
Calls executed:56.18% of 429
Creating 'souffleuoLfFA.cpp.gcov'
Cannot open source file souffleuoLfFA.cpp

File 'souffleGTJLBk.cpp'
Lines executed:65.73% of 178
Branches executed:49.61% of 258
Taken at least once:25.58% of 258
Calls executed:44.96% of 407
Creating 'souffleGTJLBk.cpp.gcov'
Cannot open source file souffleGTJLBk.cpp

File 'souffleUszSjr.cpp'
Lines executed:75.59% of 467
Branches executed:57.45% of 926
Taken at least once:30.78% of 926
Calls executed:48.59% of 1169
Creating 'souffleUszSjr.cpp.gcov'
Cannot open source file souffleUszSjr.cpp

File 'soufflegxTjX4.cpp'
Lines executed:65.69% of 137
Branches executed:52.58% of 194
Taken at least once:26.29% of 194
Calls executed:48.55% of 311
Creating 'soufflegxTjX4.cpp.gcov'
Cannot open source file soufflegxTjX4.cpp

File 'soufflesJ8Kwr.cpp'
Lines executed:82.61% of 322
Branches executed:72.73% of 418
Taken at least once:42.82% of 418
Calls executed:66.08% of 572
Creating 'soufflesJ8Kwr.cpp.gcov'
Cannot open source file soufflesJ8Kwr.cpp

File 'souffley6BdXq.cpp'
Lines executed:50.66% of 152
Branches executed:42.59% of 216
Taken at least once:21.76% of 216
Calls executed:36.07% of 341
Creating 'souffley6BdXq.cpp.gcov'
Cannot open source file souffley6BdXq.cpp

File 'soufflefEcBuU.cpp'
Lines executed:55.66% of 106
Branches executed:47.13% of 174
Taken at least once:24.14% of 174
Calls executed:41.06% of 263
Creating 'soufflefEcBuU.cpp.gcov'
Cannot open source file soufflefEcBuU.cpp

File 'souffleshxUME.cpp'
Lines executed:66.67% of 360
Branches executed:46.08% of 816
Taken at least once:24.51% of 816
Calls executed:40.48% of 1114
Creating 'souffleshxUME.cpp.gcov'
Cannot open source file souffleshxUME.cpp

File 'soufflev62saY.cpp'
Lines executed:68.93% of 309
Branches executed:47.55% of 694
Taken at least once:24.35% of 694
Calls executed:40.34% of 937
Creating 'soufflev62saY.cpp.gcov'
Cannot open source file soufflev62saY.cpp

File 'souffleM5IXRM.cpp'
Lines executed:65.34% of 277
Branches executed:45.02% of 662
Taken at least once:23.11% of 662
Calls executed:37.74% of 885
Creating 'souffleM5IXRM.cpp.gcov'
Cannot open source file souffleM5IXRM.cpp

File 'souffled3zXAS.cpp'
Lines executed:72.78% of 970
Branches executed:72.85% of 1186
Taken at least once:37.27% of 1186
Calls executed:65.93% of 1726
Creating 'souffled3zXAS.cpp.gcov'
Cannot open source file souffled3zXAS.cpp

File 'soufflehcaDqw.cpp'
Lines executed:69.09% of 372
Branches executed:49.87% of 746
Taken at least once:26.54% of 746
Calls executed:43.98% of 1030
Creating 'soufflehcaDqw.cpp.gcov'
Cannot open source file soufflehcaDqw.cpp

File 'souffleCLj7oP.cpp'
Lines executed:65.17% of 178
Branches executed:50.00% of 344
Taken at least once:25.58% of 344
Calls executed:43.45% of 481
Creating 'souffleCLj7oP.cpp.gcov'
Cannot open source file souffleCLj7oP.cpp

File 'souffleIvOrx1.cpp'
Lines executed:66.89% of 151
Branches executed:55.66% of 212
Taken at least once:28.30% of 212
Calls executed:49.40% of 332
Creating 'souffleIvOrx1.cpp.gcov'
Cannot open source file souffleIvOrx1.cpp

File 'souffleymQjgZ.cpp'
Lines executed:79.36% of 654
Branches executed:74.34% of 756
Taken at least once:42.72% of 756
Calls executed:70.45% of 1110
Creating 'souffleymQjgZ.cpp.gcov'
Cannot open source file souffleymQjgZ.cpp

File 'soufflezbp9nO.cpp'
Lines executed:91.59% of 725
Branches executed:87.89% of 892
Taken at least once:47.98% of 892
Calls executed:76.39% of 1152
Creating 'soufflezbp9nO.cpp.gcov'
Cannot open source file soufflezbp9nO.cpp

File 'soufflekRwPBc.cpp'
Lines executed:50.00% of 150
Branches executed:42.06% of 214
Taken at least once:21.50% of 214
Calls executed:35.12% of 336
Creating 'soufflekRwPBc.cpp.gcov'
Cannot open source file soufflekRwPBc.cpp

File 'soufflevmsLd1.cpp'
Lines executed:55.47% of 274
Branches executed:39.16% of 664
Taken at least once:20.78% of 664
Calls executed:33.19% of 910
Creating 'soufflevmsLd1.cpp.gcov'
Cannot open source file soufflevmsLd1.cpp

File 'souffleIifSiO.cpp'
Lines executed:63.35% of 191
Branches executed:54.17% of 240
Taken at least once:27.50% of 240
Calls executed:47.49% of 358
Creating 'souffleIifSiO.cpp.gcov'
Cannot open source file souffleIifSiO.cpp

File 'souffleqneNT7.cpp'
Lines executed:77.44% of 634
Branches executed:67.61% of 920
Taken at least once:40.98% of 920
Calls executed:63.51% of 1288
Creating 'souffleqneNT7.cpp.gcov'
Cannot open source file souffleqneNT7.cpp

File 'souffleQ1qX0x.cpp'
Lines executed:72.65% of 234
Branches executed:62.34% of 308
Taken at least once:34.74% of 308
Calls executed:57.79% of 462
Creating 'souffleQ1qX0x.cpp.gcov'
Cannot open source file souffleQ1qX0x.cpp

File 'souffleiC5hxE.cpp'
Lines executed:70.07% of 765
Branches executed:44.04% of 1744
Taken at least once:22.08% of 1744
Calls executed:38.57% of 2398
Creating 'souffleiC5hxE.cpp.gcov'
Cannot open source file souffleiC5hxE.cpp

File 'souffleY3rW8G.cpp'
Lines executed:52.00% of 200
Branches executed:39.62% of 424
Taken at least once:20.05% of 424
Calls executed:31.82% of 594
Creating 'souffleY3rW8G.cpp.gcov'
Cannot open source file souffleY3rW8G.cpp

File 'souffleZ3Y6Ns.cpp'
Lines executed:74.44% of 266
Branches executed:59.09% of 440
Taken at least once:33.41% of 440
Calls executed:53.86% of 609
Creating 'souffleZ3Y6Ns.cpp.gcov'
Cannot open source file souffleZ3Y6Ns.cpp

File 'insert_print.cpp'
Lines executed:64.50% of 200
Branches executed:52.61% of 422
Taken at least once:31.52% of 422
Calls executed:51.07% of 560
Creating 'insert_print.cpp.gcov'
Cannot open source file insert_print.cpp

File '/souffle/tests/interface/insert_print/driver.cpp'
Lines executed:70.59% of 17
Branches executed:87.88% of 66
Taken at least once:45.45% of 66
Calls executed:70.30% of 101
Creating '#souffle#tests#interface#insert_print#driver.cpp.gcov'

File 'insert_for.cpp'
Lines executed:62.00% of 200
Branches executed:46.92% of 422
Taken at least once:28.67% of 422
Calls executed:47.68% of 560
Creating 'insert_for.cpp.gcov'
Cannot open source file insert_for.cpp

File '/souffle/tests/interface/insert_for/driver.cpp'
Lines executed:73.91% of 23
Branches executed:87.50% of 96
Taken at least once:45.83% of 96
Calls executed:68.22% of 129
Creating '#souffle#tests#interface#insert_for#driver.cpp.gcov'

File 'repeat_analysis.cpp'
Lines executed:62.78% of 309
Branches executed:50.14% of 726
Taken at least once:29.48% of 726
Calls executed:47.20% of 947
Creating 'repeat_analysis.cpp.gcov'
Cannot open source file repeat_analysis.cpp

File '/souffle/tests/interface/repeat_analysis/driver.cpp'
Lines executed:91.30% of 46
Branches executed:96.72% of 122
Taken at least once:49.18% of 122
Calls executed:73.55% of 155
Creating '#souffle#tests#interface#repeat_analysis#driver.cpp.gcov'

File 'load_print.cpp'
Lines executed:68.00% of 200
Branches executed:60.19% of 422
Taken at least once:35.31% of 422
Calls executed:55.71% of 560
Creating 'load_print.cpp.gcov'
Cannot open source file load_print.cpp

File '/souffle/tests/interface/load_print/driver.cpp'
Lines executed:61.54% of 13
Branches executed:69.23% of 26
Taken at least once:34.62% of 26
Calls executed:38.64% of 44
Creating '#souffle#tests#interface#load_print#driver.cpp.gcov'

File '/souffle/tests/interface/signal_error/driver.cpp'
Lines executed:75.00% of 12
Branches executed:100.00% of 8
Taken at least once:50.00% of 8
Calls executed:73.33% of 15
Creating '#souffle#tests#interface#signal_error#driver.cpp.gcov'

File 'signal_error.cpp'
Lines executed:64.90% of 151
Branches executed:52.94% of 238
Taken at least once:30.25% of 238
Calls executed:50.44% of 339
Creating 'signal_error.cpp.gcov'
Cannot open source file signal_error.cpp

File 'souffleZeDMcy.cpp'
Lines executed:65.21% of 434
Branches executed:47.82% of 1008
Taken at least once:24.40% of 1008
Calls executed:40.18% of 1334
Creating 'souffleZeDMcy.cpp.gcov'
Cannot open source file souffleZeDMcy.cpp

File 'soufflecDynR5.cpp'
Lines executed:74.39% of 285
Branches executed:71.54% of 534
Taken at least once:37.83% of 534
Calls executed:62.19% of 759
Creating 'soufflecDynR5.cpp.gcov'
Cannot open source file soufflecDynR5.cpp

File '/souffle/src/include/souffle/profile/Logger.h'
Lines executed:100.00% of 15
No branches
No calls
Creating '#souffle#src#include#souffle#profile#Logger.h.gcov'

File '/souffle/src/include/souffle/profile/ProfileEvent.h'
Lines executed:91.95% of 87
No branches
No calls
Creating '#souffle#src#include#souffle#profile#ProfileEvent.h.gcov'

File 'soufflecsUwjD.cpp'
Lines executed:74.39% of 285
Branches executed:71.54% of 534
Taken at least once:37.83% of 534
Calls executed:62.19% of 759
Creating 'soufflecsUwjD.cpp.gcov'
Cannot open source file soufflecsUwjD.cpp

File 'souffleE3U8y3.cpp'
Lines executed:74.39% of 285
Branches executed:71.54% of 534
Taken at least once:37.83% of 534
Calls executed:62.19% of 759
Creating 'souffleE3U8y3.cpp.gcov'
Cannot open source file souffleE3U8y3.cpp

File 'souffleu7iz5x.cpp'
Lines executed:74.39% of 285
Branches executed:71.54% of 534
Taken at least once:37.83% of 534
Calls executed:62.19% of 759
Creating 'souffleu7iz5x.cpp.gcov'
Cannot open source file souffleu7iz5x.cpp

File 'souffletoler0.cpp'
Lines executed:74.39% of 285
Branches executed:71.54% of 534
Taken at least once:37.83% of 534
Calls executed:62.19% of 759
Creating 'souffletoler0.cpp.gcov'
Cannot open source file souffletoler0.cpp

File 'souffleKYCmOt.cpp'
Lines executed:74.39% of 285
Branches executed:71.54% of 534
Taken at least once:37.83% of 534
Calls executed:62.19% of 759
Creating 'souffleKYCmOt.cpp.gcov'
Cannot open source file souffleKYCmOt.cpp

File 'souffleboFUnW.cpp'
Lines executed:74.39% of 285
Branches executed:71.54% of 534
Taken at least once:37.83% of 534
Calls executed:62.19% of 759
Creating 'souffleboFUnW.cpp.gcov'
Cannot open source file souffleboFUnW.cpp

File 'souffleR1OAsr.cpp'
Lines executed:74.39% of 285
Branches executed:71.54% of 534
Taken at least once:37.83% of 534
Calls executed:62.19% of 759
Creating 'souffleR1OAsr.cpp.gcov'
Cannot open source file souffleR1OAsr.cpp

File 'souffleg8YwIQ.cpp'
Lines executed:74.39% of 285
Branches executed:71.54% of 534
Taken at least once:37.83% of 534
Calls executed:62.19% of 759
Creating 'souffleg8YwIQ.cpp.gcov'
Cannot open source file souffleg8YwIQ.cpp

File 'soufflekSalXj.cpp'
Lines executed:74.39% of 285
Branches executed:71.54% of 534
Taken at least once:37.83% of 534
Calls executed:62.19% of 759
Creating 'soufflekSalXj.cpp.gcov'
Cannot open source file soufflekSalXj.cpp

File 'soufflehHjZiU.cpp'
Lines executed:77.65% of 349
Branches executed:76.44% of 662
Taken at least once:39.73% of 662
Calls executed:66.38% of 922
Creating 'soufflehHjZiU.cpp.gcov'
Cannot open source file soufflehHjZiU.cpp

File 'soufflevXW3T1.cpp'
Lines executed:77.65% of 349
Branches executed:76.44% of 662
Taken at least once:39.73% of 662
Calls executed:66.38% of 922
Creating 'soufflevXW3T1.cpp.gcov'
Cannot open source file soufflevXW3T1.cpp

File 'souffleZtFqR7.cpp'
Lines executed:77.65% of 349
Branches executed:76.44% of 662
Taken at least once:39.73% of 662
Calls executed:66.38% of 922
Creating 'souffleZtFqR7.cpp.gcov'
Cannot open source file souffleZtFqR7.cpp

File 'soufflenjtu6h.cpp'
Lines executed:77.65% of 349
Branches executed:76.44% of 662
Taken at least once:39.73% of 662
Calls executed:66.38% of 922
Creating 'soufflenjtu6h.cpp.gcov'
Cannot open source file soufflenjtu6h.cpp

File 'souffleAYaRAl.cpp'
Lines executed:77.65% of 349
Branches executed:76.44% of 662
Taken at least once:39.73% of 662
Calls executed:66.38% of 922
Creating 'souffleAYaRAl.cpp.gcov'
Cannot open source file souffleAYaRAl.cpp

File 'souffleexb3Ov.cpp'
Lines executed:77.65% of 349
Branches executed:76.44% of 662
Taken at least once:39.73% of 662
Calls executed:66.38% of 922
Creating 'souffleexb3Ov.cpp.gcov'
Cannot open source file souffleexb3Ov.cpp

File 'souffleabHgPz.cpp'
Lines executed:77.65% of 349
Branches executed:76.44% of 662
Taken at least once:39.73% of 662
Calls executed:66.38% of 922
Creating 'souffleabHgPz.cpp.gcov'
Cannot open source file souffleabHgPz.cpp

File 'soufflemQgFYE.cpp'
Lines executed:77.65% of 349
Branches executed:76.44% of 662
Taken at least once:39.73% of 662
Calls executed:66.38% of 922
Creating 'soufflemQgFYE.cpp.gcov'
Cannot open source file soufflemQgFYE.cpp

File 'soufflewmCleM.cpp'
Lines executed:77.65% of 349
Branches executed:76.44% of 662
Taken at least once:39.73% of 662
Calls executed:66.38% of 922
Creating 'soufflewmCleM.cpp.gcov'
Cannot open source file soufflewmCleM.cpp

File 'souffleypFywS.cpp'
Lines executed:77.65% of 349
Branches executed:76.44% of 662
Taken at least once:39.73% of 662
Calls executed:66.38% of 922
Creating 'souffleypFywS.cpp.gcov'
Cannot open source file souffleypFywS.cpp

File 'souffleiOqDcp.cpp'
Lines executed:52.44% of 471
Branches executed:42.89% of 816
Taken at least once:22.18% of 816
Calls executed:36.36% of 1188
Creating 'souffleiOqDcp.cpp.gcov'
Cannot open source file souffleiOqDcp.cpp

File '/souffle/src/include/souffle/provenance/ExplainProvenanceImpl.h'
Lines executed:74.55% of 448
No branches
No calls
Creating '#souffle#src#include#souffle#provenance#ExplainProvenanceImpl.h.gcov'

File '/souffle/src/include/souffle/provenance/ExplainProvenance.h'
Lines executed:91.14% of 79
No branches
No calls
Creating '#souffle#src#include#souffle#provenance#ExplainProvenance.h.gcov'

File '/souffle/src/include/souffle/provenance/ExplainTree.h'
Lines executed:98.94% of 94
No branches
No calls
Creating '#souffle#src#include#souffle#provenance#ExplainTree.h.gcov'

File '/souffle/src/include/souffle/provenance/Explain.h'
Lines executed:46.60% of 294
No branches
No calls
Creating '#souffle#src#include#souffle#provenance#Explain.h.gcov'

File '/souffle/src/include/souffle/BinaryConstraintOps.h'
Lines executed:52.63% of 19
No branches
No calls
Creating '#souffle#src#include#souffle#BinaryConstraintOps.h.gcov'

File 'souffleb9tRxV.cpp'
Lines executed:64.95% of 428
Branches executed:55.71% of 736
Taken at least once:29.76% of 736
Calls executed:50.68% of 1111
Creating 'souffleb9tRxV.cpp.gcov'
Cannot open source file souffleb9tRxV.cpp

File 'souffleM1amXL.cpp'
Lines executed:49.84% of 1244
Branches executed:51.09% of 1558
Taken at least once:30.04% of 1558
Calls executed:51.00% of 2790
Creating 'souffleM1amXL.cpp.gcov'
Cannot open source file souffleM1amXL.cpp

File 'soufflewvFBfp.cpp'
Lines executed:65.28% of 795
Branches executed:55.69% of 1002
Taken at least once:33.63% of 1002
Calls executed:53.65% of 1642
Creating 'soufflewvFBfp.cpp.gcov'
Cannot open source file soufflewvFBfp.cpp

File 'souffle6hBdqD.cpp'
Lines executed:64.33% of 1029
Branches executed:56.14% of 1336
Taken at least once:32.78% of 1336
Calls executed:52.97% of 2154
Creating 'souffle6hBdqD.cpp.gcov'
Cannot open source file souffle6hBdqD.cpp

File 'souffleufwU1W.cpp'
Lines executed:69.70% of 637
Branches executed:47.64% of 1104
Taken at least once:27.54% of 1104
Calls executed:44.49% of 2041
Creating 'souffleufwU1W.cpp.gcov'
Cannot open source file souffleufwU1W.cpp

File 'souffleCHA1GL.cpp'
Lines executed:56.07% of 387
Branches executed:48.39% of 496
Taken at least once:25.40% of 496
Calls executed:45.38% of 800
Creating 'souffleCHA1GL.cpp.gcov'
Cannot open source file souffleCHA1GL.cpp

File 'souffleBw0oVL.cpp'
Lines executed:65.00% of 480
Branches executed:54.07% of 688
Taken at least once:30.67% of 688
Calls executed:48.41% of 1099
Creating 'souffleBw0oVL.cpp.gcov'
Cannot open source file souffleBw0oVL.cpp

File 'souffletNlVey.cpp'
Lines executed:63.12% of 480
Branches executed:53.49% of 688
Taken at least once:29.65% of 688
Calls executed:49.95% of 1099
Creating 'souffletNlVey.cpp.gcov'
Cannot open source file souffletNlVey.cpp

File 'souffleOstQ5z.cpp'
Lines executed:64.58% of 480
Branches executed:53.49% of 688
Taken at least once:30.23% of 688
Calls executed:47.68% of 1099
Creating 'souffleOstQ5z.cpp.gcov'
Cannot open source file souffleOstQ5z.cpp

File 'souffleJW4wuF.cpp'
Lines executed:57.53% of 478
Branches executed:47.03% of 808
Taken at least once:27.48% of 808
Calls executed:43.35% of 1234
Creating 'souffleJW4wuF.cpp.gcov'
Cannot open source file souffleJW4wuF.cpp

File 'souffleqGr4eH.cpp'
Lines executed:62.85% of 568
Branches executed:53.08% of 746
Taken at least once:31.77% of 746
Calls executed:52.67% of 1215
Creating 'souffleqGr4eH.cpp.gcov'
Cannot open source file souffleqGr4eH.cpp

File 'souffleTWQW7F.cpp'
Lines executed:58.87% of 513
Branches executed:46.99% of 698
Taken at least once:27.79% of 698
Calls executed:46.29% of 1119
Creating 'souffleTWQW7F.cpp.gcov'
Cannot open source file souffleTWQW7F.cpp

File 'souffleM8FQ8r.cpp'
Lines executed:53.22% of 776
Branches executed:46.10% of 1076
Taken at least once:27.51% of 1076
Calls executed:46.90% of 1710
Creating 'souffleM8FQ8r.cpp.gcov'
Cannot open source file souffleM8FQ8r.cpp

File 'soufflerdvlaP.cpp'
Lines executed:63.88% of 263
Branches executed:43.08% of 390
Taken at least once:21.79% of 390
Calls executed:37.90% of 628
Creating 'soufflerdvlaP.cpp.gcov'
Cannot open source file soufflerdvlaP.cpp

==> Python coveragepy not found
==> Searching for coverage reports in:
    + .
    -> Found 1657 reports
==> Detecting git/mercurial file structure
==> Reading reports
    + ./src/tests/brie_test.cpp.gcov bytes=826303
    + ./src/tests/binary_relation_test.cpp.gcov bytes=206371
    + ./src/tests/^#^#src#include#souffle#datastructure#BTree.h.gcov bytes=1130817
    + ./src/tests/#usr#include#c++#9#bits#stl_iterator.h.gcov bytes=307094
    + ./src/tests/#usr#include#c++#9#bits#predefined_ops.h.gcov bytes=37397
    + ./src/tests/#usr#include#c++#9#bits#stl_uninitialized.h.gcov bytes=151153
    + ./src/tests/#usr#include#c++#9#bits#stl_algobase.h.gcov bytes=173648
    + ./src/tests/#usr#include#c++#9#ext#new_allocator.h.gcov bytes=308727
    + ./src/tests/#usr#include#c++#9#bits#alloc_traits.h.gcov bytes=191243
    + ./src/tests/^#^#src#tests#test.h.gcov bytes=59404
    + ./src/tests/#usr#include#c++#9#bits#stl_algo.h.gcov bytes=413753
    + ./src/tests/#usr#include#c++#9#bits#stl_iterator_base_types.h.gcov bytes=33921
    + ./src/tests/#usr#include#c++#9#bits#stl_vector.h.gcov bytes=557554
    + ./src/tests/#usr#include#c++#9#bits#stl_construct.h.gcov bytes=81743
    + ./src/tests/#usr#include#c++#9#bits#move.h.gcov bytes=174395
    + ./src/tests/#usr#include#c++#9#ext#aligned_buffer.h.gcov bytes=51980
    + ./src/tests/^#^#src#include#souffle#utility#CacheUtil.h.gcov bytes=84364
    + ./src/tests/^#^#src#include#souffle#utility#ContainerUtil.h.gcov bytes=46271
    + ./src/tests/#usr#include#c++#9#bits#vector.tcc.gcov bytes=220182
    + ./src/tests/#usr#include#c++#9#bits#allocator.h.gcov bytes=61324
    + ./src/tests/^#^#src#include#souffle#datastructure#UnionFind.h.gcov bytes=48613
    + ./src/tests/#usr#include#c++#9#bits#std_function.h.gcov bytes=125232
    + ./src/tests/#usr#include#c++#9#bits#atomic_base.h.gcov bytes=58277
    + ./src/tests/#usr#include#c++#9#bits#stl_pair.h.gcov bytes=95364
    + ./src/tests/#usr#include#c++#9#tuple.gcov bytes=158201
    + ./src/tests/#usr#include#c++#9#bits#stl_tree.h.gcov bytes=924450
    + ./src/tests/#usr#include#c++#9#atomic.gcov bytes=84109
    + ./src/tests/#usr#include#c++#9#array.gcov bytes=30704
    + ./src/tests/^#^#src#include#souffle#datastructure#EquivalenceRelation.h.gcov bytes=66476
    + ./src/tests/#usr#include#c++#9#bits#stl_function.h.gcov bytes=85182
    + ./src/tests/^#^#src#include#souffle#datastructure#LambdaBTree.h.gcov bytes=148596
    + ./src/tests/^#^#src#include#souffle#datastructure#PiggyList.h.gcov bytes=59071
    + ./src/tests/#usr#include#c++#9#bits#basic_string.h.gcov bytes=423796
    + ./src/tests/#usr#include#c++#9#bits#stl_iterator_base_funcs.h.gcov bytes=55166
    + ./src/tests/#usr#include#c++#9#ext#type_traits.h.gcov bytes=16034
    + ./src/tests/#usr#include#c++#9#initializer_list.gcov bytes=7564
    + ./src/tests/#usr#include#c++#9#ext#alloc_traits.h.gcov bytes=18724
    + ./src/tests/#usr#include#c++#9#bits#random.tcc.gcov bytes=173214
    + ./src/tests/#usr#include#c++#9#bits#random.h.gcov bytes=288792
    + ./src/tests/^#^#src#include#souffle#utility#ParallelUtil.h.gcov bytes=57082
    + ./src/tests/#usr#include#c++#9#bits#basic_string.tcc.gcov bytes=143037
    + ./src/tests/^#^#src#include#souffle#CompiledTuple.h.gcov bytes=18986
    + ./src/tests/#usr#include#c++#9#bits#uniform_int_dist.h.gcov bytes=28841
    + ./src/tests/#usr#include#c++#9#bits#stl_set.h.gcov bytes=122034
    + ./src/tests/^#^#src#include#souffle#utility#StringUtil.h.gcov bytes=104773
    + ./src/tests/#usr#include#c++#9#shared_mutex.gcov bytes=36237
    + ./src/tests/#usr#include#c++#9#bits#char_traits.h.gcov bytes=80775
    + ./src/tests/#usr#include#c++#9#limits.gcov bytes=103637
    + ./src/tests/#usr#include#x86_64-linux-gnu#c++#9#bits#gthr-default.h.gcov bytes=39769
    + ./src/tests/#usr#include#c++#9#new.gcov bytes=17001
    + ./src/tests/#usr#include#c++#9#typeinfo.gcov bytes=15149
    + ./src/tests/^#^#src#include#souffle#datastructure#Brie.h.gcov bytes=700023
    + ./src/tests/^#^#src#include#souffle#utility#StreamUtil.h.gcov bytes=96244
    + ./src/tests/#usr#include#c++#9#bitset.gcov bytes=75575
    + ./src/tests/#usr#include#c++#9#bits#locale_facets.h.gcov bytes=135069
    + ./src/tests/#usr#include#c++#9#bits#ios_base.h.gcov bytes=53358
    + ./src/tests/btree_multiset_test.cpp.gcov bytes=238602
    + ./src/tests/#usr#include#c++#9#bits#cpp_type_traits.h.gcov bytes=19248
    + ./src/tests/#usr#include#c++#9#chrono.gcov bytes=61950
    + ./src/tests/#usr#include#c++#9#iomanip.gcov bytes=26679
    + ./src/tests/btree_set_test.cpp.gcov bytes=332837
    + ./src/tests/compiled_tuple_test.cpp.gcov bytes=23499
    + ./src/tests/eqrel_datastructure_test.cpp.gcov bytes=246529
    + ./src/tests/#usr#include#c++#9#bits#ptr_traits.h.gcov bytes=13029
    + ./src/tests/#usr#include#c++#9#bits#hashtable_policy.h.gcov bytes=204358
    + ./src/tests/#usr#include#c++#9#utility.gcov bytes=23573
    + ./src/tests/#usr#include#c++#9#bits#hashtable.h.gcov bytes=221394
    + ./src/tests/#usr#include#c++#9#bits#stl_bvector.h.gcov bytes=59878
    + ./src/tests/#usr#include#c++#9#bits#unordered_map.h.gcov bytes=118283
    + ./src/tests/#usr#include#c++#9#bits#functional_hash.h.gcov bytes=13828
    + ./src/tests/graph_utils_test.cpp.gcov bytes=52312
    + ./src/tests/#usr#include#c++#9#bits#stl_map.h.gcov bytes=85010
    + ./src/tests/^#^#src#GraphUtils.h.gcov bytes=15987
    + ./src/tests/parallel_utils_test.cpp.gcov bytes=13257
    + ./src/tests/profile_util_test.cpp.gcov bytes=133354
    + ./src/tests/^#^#src#include#souffle#profile#StringUtils.h.gcov bytes=25851
    + ./src/tests/#usr#include#c++#9#cmath.gcov bytes=80501
    + ./src/tests/#usr#include#c++#9#ext#string_conversions.h.gcov bytes=5632
    + ./src/tests/record_table_test.cpp.gcov bytes=18185
    + ./src/tests/^#^#src#include#souffle#RecordTable.h.gcov bytes=10693
    + ./src/tests/#usr#include#c++#9#bits#invoke.h.gcov bytes=5933
    + ./src/tests/#usr#include#c++#9#functional.gcov bytes=63282
    + ./src/tests/table_test.cpp.gcov bytes=18729
    + ./src/tests/symbol_table_test.cpp.gcov bytes=51255
    + ./src/tests/^#^#src#include#souffle#SymbolTable.h.gcov bytes=15471
    + ./src/tests/^#^#src#include#souffle#utility#tinyformat.h.gcov bytes=76530
    + ./src/tests/#usr#include#c++#9#bits#stl_deque.h.gcov bytes=143298
    + ./src/tests/#usr#include#c++#9#bits#deque.tcc.gcov bytes=62510
    + ./src/tests/^#^#src#include#souffle#utility#MiscUtil.h.gcov bytes=9881
    + ./src/tests/#usr#include#c++#9#bits#std_mutex.h.gcov bytes=8128
    + ./src/tests/^#^#src#include#souffle#datastructure#Table.h.gcov bytes=8174
    + ./src/tests/util_test.cpp.gcov bytes=120856
    + ./src/Global.h.gcov bytes=14064
    + ./src/ram#analysis#Level.h.gcov bytes=3082
    + ./src/main.cpp.gcov bytes=140800
    + ./src/#usr#include#c++#9#bits#stl_pair.h.gcov bytes=123938
    + ./src/#usr#include#c++#9#bits#predefined_ops.h.gcov bytes=70361
    + ./src/#usr#include#c++#9#bits#stl_algobase.h.gcov bytes=371884
    + ./src/#usr#include#c++#9#tuple.gcov bytes=1637622
    + ./src/#usr#include#c++#9#bits#invoke.h.gcov bytes=6306
    + ./src/#usr#include#c++#9#bits#move.h.gcov bytes=548949
    + ./src/#usr#include#c++#9#bits#stl_iterator.h.gcov bytes=376558
    + ./src/#usr#include#c++#9#bits#stl_tree.h.gcov bytes=1229425
    + ./src/#usr#include#c++#9#thread.gcov bytes=30509
    + ./src/#usr#include#c++#9#ext#new_allocator.h.gcov bytes=710716
    + ./src/#usr#include#c++#9#bits#shared_ptr_base.h.gcov bytes=563959
    + ./src/interpreter#InterpreterViewContext.h.gcov bytes=6061
    + ./src/include#souffle#profile#Rule.h.gcov bytes=19562
    + ./src/include#souffle#profile#Iteration.h.gcov bytes=13539
    + ./src/include#souffle#profile#Relation.h.gcov bytes=40663
    + ./src/include#souffle#profile#Reader.h.gcov bytes=111959
    + ./src/#usr#include#c++#9#bits#regex_automaton.h.gcov bytes=25628
    + ./src/#usr#include#c++#9#bits#stl_map.h.gcov bytes=188959
    + ./src/#usr#include#c++#9#bits#stl_vector.h.gcov bytes=889844
    + ./src/#usr#include#c++#9#bits#std_function.h.gcov bytes=258768
    + ./src/#usr#include#c++#9#bits#alloc_traits.h.gcov bytes=400521
    + ./src/include#souffle#utility#json11.h.gcov bytes=155476
    + ./src/ram#Visitor.h.gcov bytes=107441
    + ./src/ast#utility#Visitor.h.gcov bytes=32261
    + ./src/include#souffle#profile#StringUtils.h.gcov bytes=57999
    + ./src/include#souffle#profile#EventProcessor.h.gcov bytes=228484
    + ./src/ast#analysis#TypeSystem.h.gcov bytes=28407
    + ./src/include#souffle#SymbolTable.h.gcov bytes=14128
    + ./src/interpreter#InterpreterGenerator.h.gcov bytes=143898
    + ./src/include#souffle#RecordTable.h.gcov bytes=8366
    + ./src/interpreter#InterpreterProgInterface.h.gcov bytes=26147
    + ./src/include#souffle#profile#Cell.h.gcov bytes=25684
    + ./src/include#souffle#provenance#ExplainProvenanceImpl.h.gcov bytes=113688
    + ./src/#usr#include#c++#9#bits#stl_uninitialized.h.gcov bytes=318572
    + ./src/#usr#include#c++#9#bits#cpp_type_traits.h.gcov bytes=29697
    + ./src/#usr#include#c++#9#bits#stl_iterator_base_funcs.h.gcov bytes=59324
    + ./src/#usr#include#c++#9#bits#stl_iterator_base_types.h.gcov bytes=29865
    + ./src/#usr#include#c++#9#ext#type_traits.h.gcov bytes=12348
    + ./src/#usr#include#c++#9#bits#basic_string.tcc.gcov bytes=106614
    + ./src/#usr#include#c++#9#bits#stl_heap.h.gcov bytes=84891
    + ./src/#usr#include#c++#9#bits#stl_construct.h.gcov bytes=153874
    + ./src/#usr#include#c++#9#bits#basic_string.h.gcov bytes=404231
    + ./src/#usr#include#c++#9#ext#aligned_buffer.h.gcov bytes=109139
    + ./src/#usr#include#c++#9#bits#vector.tcc.gcov bytes=398927
    + ./src/#usr#include#c++#9#bitset.gcov bytes=73316
    + ./src/#usr#include#c++#9#bits#stl_algo.h.gcov bytes=537672
    + ./src/#usr#include#c++#9#bits#allocator.h.gcov bytes=167108
    + ./src/#usr#include#c++#9#bits#regex_compiler.h.gcov bytes=88837
    + ./src/#usr#include#c++#9#ext#alloc_traits.h.gcov bytes=26038
    + ./src/#usr#include#c++#9#bits#regex.h.gcov bytes=158595
    + ./src/#usr#include#c++#9#bits#stl_deque.h.gcov bytes=218872
    + ./src/#usr#include#c++#9#bits#deque.tcc.gcov bytes=87089
    + ./src/#usr#include#c++#9#bits#stl_function.h.gcov bytes=83483
    + ./src/#usr#include#c++#9#bits#regex.tcc.gcov bytes=41000
    + ./src/#usr#include#c++#9#bits#regex_compiler.tcc.gcov bytes=116176
    + ./src/#usr#include#c++#9#bits#ptr_traits.h.gcov bytes=17187
    + ./src/#usr#include#c++#9#bits#allocated_ptr.h.gcov bytes=78561
    + ./src/#usr#include#c++#9#bits#unique_ptr.h.gcov bytes=1022235
    + ./src/#usr#include#c++#9#bits#regex_executor.h.gcov bytes=26748
    + ./src/#usr#include#c++#9#bits#stl_stack.h.gcov bytes=23366
    + ./src/#usr#include#c++#9#bits#regex_automaton.tcc.gcov bytes=15859
    + ./src/#usr#include#c++#9#bits#hashtable.h.gcov bytes=453950
    + ./src/#usr#include#c++#9#bits#shared_ptr.h.gcov bytes=128313
    + ./src/#usr#include#c++#9#bits#regex_executor.tcc.gcov bytes=84013
    + ./src/#usr#include#c++#9#bits#regex_scanner.tcc.gcov bytes=33196
    + ./src/#usr#include#c++#9#bits#hashtable_policy.h.gcov bytes=427800
    + ./src/#usr#include#c++#9#utility.gcov bytes=32943
    + ./src/include#souffle#utility#tinyformat.h.gcov bytes=214399
    + ./src/include#souffle#profile#ProgramRun.h.gcov bytes=20885
    + ./src/#usr#include#c++#9#bits#unordered_map.h.gcov bytes=150329
    + ./src/#usr#include#c++#9#bits#regex_scanner.h.gcov bytes=12958
    + ./src/#usr#include#c++#9#bits#locale_classes.tcc.gcov bytes=13543
    + ./src/include#souffle#provenance#ExplainProvenance.h.gcov bytes=19480
    + ./src/#usr#include#c++#9#initializer_list.gcov bytes=14596
    + ./src/include#souffle#SouffleInterface.h.gcov bytes=59859
    + ./src/#usr#include#c++#9#chrono.gcov bytes=94098
    + ./src/#usr#include#c++#9#bits#functional_hash.h.gcov bytes=14585
    + ./src/include#souffle#utility#StreamUtil.h.gcov bytes=24668
    + ./src/ram#analysis#Complexity.h.gcov bytes=2389
    + ./src/#usr#include#c++#9#bits#stl_list.h.gcov bytes=103190
    + ./src/ast#analysis#AuxArity.h.gcov bytes=3776
    + ./src/reports#ErrorReport.h.gcov bytes=11812
    + ./src/reports#DebugReport.h.gcov bytes=7312
    + ./src/include#souffle#utility#FunctionalUtil.h.gcov bytes=8068
    + ./src/synthesiser#Synthesiser.h.gcov bytes=5278
    + ./src/interpreter#InterpreterEngine.h.gcov bytes=11884
    + ./src/ram#transform#Sequence.h.gcov bytes=10221
    + ./src/ram#transform#ReportIndex.h.gcov bytes=2737
    + ./src/ram#transform#Conditional.h.gcov bytes=3264
    + ./src/ram#transform#Parallel.h.gcov bytes=3104
    + ./src/ram#transform#ReorderFilterBreak.h.gcov bytes=3216
    + ./src/ram#transform#ReorderConditions.h.gcov bytes=3808
    + ./src/ram#transform#EliminateDuplicates.h.gcov bytes=3305
    + ./src/ram#transform#HoistAggregate.h.gcov bytes=3103
    + ./src/ram#transform#TupleId.h.gcov bytes=3272
    + ./src/ram#transform#CollapseFilters.h.gcov bytes=3236
    + ./src/ram#transform#ChoiceConversion.h.gcov bytes=5309
    + ./src/ram#transform#IfConversion.h.gcov bytes=4263
    + ./src/ram#transform#IndexedInequality.h.gcov bytes=4961
    + ./src/ram#transform#Loop.h.gcov bytes=2946
    + ./src/ram#transform#MakeIndex.h.gcov bytes=7356
    + ./src/ram#transform#HoistConditions.h.gcov bytes=4901
    + ./src/ram#transform#ExpandFilter.h.gcov bytes=3180
    + ./src/include#souffle#utility#ContainerUtil.h.gcov bytes=136162
    + ./src/#usr#include#c++#9#bits#streambuf_iterator.h.gcov bytes=23224
    + ./src/ast#transform#Pipeline.h.gcov bytes=26052
    + ./src/ast#transform#IOAttributes.h.gcov bytes=37291
    + ./src/ast#transform#GroundedTermsChecker.h.gcov bytes=2569
    + ./src/ast#transform#MaterializeAggregationQueries.h.gcov bytes=3716
    + ./src/ast#transform#IODefaults.h.gcov bytes=16750
    + ./src/ast#transform#Conditional.h.gcov bytes=7750
    + ./src/ast#transform#MagicSet.h.gcov bytes=18013
    + ./src/ast#transform#RemoveEmptyRelations.h.gcov bytes=3493
    + ./src/ast#transform#RemoveRelationCopies.h.gcov bytes=3134
    + ./src/ast#transform#Fixpoint.h.gcov bytes=6735
    + ./src/include#souffle#provenance#ExplainTree.h.gcov bytes=17283
    + ./src/include#souffle#profile#ProfileDatabase.h.gcov bytes=94483
    + ./src/interpreter#InterpreterNode.h.gcov bytes=136672
    + ./src/ast#transform#Null.h.gcov bytes=3465
    + ./src/include#souffle#utility#MiscUtil.h.gcov bytes=17227
    + ./src/#usr#include#c++#9#bits#stl_set.h.gcov bytes=77222
    + ./src/ast#TranslationUnit.h.gcov bytes=32676
    + ./src/#usr#include#c++#9#string_view.gcov bytes=36977
    + ./src/#usr#include#c++#9#iomanip.gcov bytes=26846
    + ./src/#usr#include#c++#9#bits#postypes.h.gcov bytes=13011
    + ./src/#usr#include#c++#9#cmath.gcov bytes=82421
    + ./src/ram#TranslationUnit.h.gcov bytes=20203
    + ./src/include#souffle#RamTypes.h.gcov bytes=4889
    + ./src/ram#analysis#Index.h.gcov bytes=23930
    + ./src/#usr#include#c++#9#bits#stl_queue.h.gcov bytes=37406
    + ./src/#usr#include#c++#9#bits#std_mutex.h.gcov bytes=11290
    + ./src/#usr#include#c++#9#bits#atomic_base.h.gcov bytes=40755
    + ./src/include#souffle#utility#StringUtil.h.gcov bytes=30861
    + ./src/#usr#include#c++#9#ext#string_conversions.h.gcov bytes=17687
    + ./src/#usr#include#c++#9#bits#char_traits.h.gcov bytes=53017
    + ./src/ast2ram#AstToRamTranslator.h.gcov bytes=23627
    + ./src/include#souffle#provenance#Explain.h.gcov bytes=66036
    + ./src/#usr#include#c++#9#bits#regex_error.h.gcov bytes=8155
    + ./src/#usr#include#c++#9#bits#regex_constants.h.gcov bytes=22081
    + ./src/include#souffle#profile#Tui.h.gcov bytes=388185
    + ./src/include#souffle#profile#Table.h.gcov bytes=7927
    + ./src/include#souffle#profile#UserInputReader.h.gcov bytes=61093
    + ./src/include#souffle#profile#OutputProcessor.h.gcov bytes=111792
    + ./src/include#souffle#profile#ProfileEvent.h.gcov bytes=21472
    + ./src/include#souffle#profile#Row.h.gcov bytes=3805
    + ./src/include#souffle#profile#CellInterface.h.gcov bytes=2269
    + ./src/include#souffle#profile#DataComparator.h.gcov bytes=11047
    + ./src/ram#transform#Transformer.h.gcov bytes=3557
    + ./src/interpreter#InterpreterRelation.h.gcov bytes=20583
    + ./src/interpreter#InterpreterIndex.h.gcov bytes=20686
    + ./src/ram#UnpackRecord.h.gcov bytes=4926
    + ./src/ram#SubroutineReturn.h.gcov bytes=4410
    + ./src/ram#RelationSize.h.gcov bytes=3544
    + ./src/ram#Query.h.gcov bytes=3585
    + ./src/ram#Project.h.gcov bytes=5238
    + ./src/ram#ListStatement.h.gcov bytes=3456
    + ./src/ram#PackRecord.h.gcov bytes=3875
    + ./src/ram#NestedIntrinsicOperator.h.gcov bytes=5074
    + ./src/ram#Negation.h.gcov bytes=3378
    + ./src/ram#Loop.h.gcov bytes=3535
    + ./src/ram#AbstractOperator.h.gcov bytes=3248
    + ./src/ram#IO.h.gcov bytes=3675
    + ./src/ram#BinRelationStatement.h.gcov bytes=4246
    + ./src/ram#Exit.h.gcov bytes=3506
    + ./src/ram#EmptinessCheck.h.gcov bytes=3703
    + ./src/ram#AbstractLog.h.gcov bytes=3151
    + ./src/ram#Constraint.h.gcov bytes=4884
    + ./src/ram#Constant.h.gcov bytes=2112
    + ./src/ram#RelationStatement.h.gcov bytes=2891
    + ./src/ram#AbstractChoice.h.gcov bytes=3008
    + ./src/ram#Call.h.gcov bytes=2664
    + ./src/ram#AbstractConditional.h.gcov bytes=3529
    + ./src/ram#AbstractAggregate.h.gcov bytes=5368
    + ./src/ram#analysis#Analysis.h.gcov bytes=3566
    + ./src/ram#IndexOperation.h.gcov bytes=8960
    + ./src/ram#Utils.h.gcov bytes=4239
    + ./src/ram#Conjunction.h.gcov bytes=4315
    + ./src/ram#RelationOperation.h.gcov bytes=3522
    + ./src/ram#TupleOperation.h.gcov bytes=2902
    + ./src/ram#NestedOperation.h.gcov bytes=4201
    + ./src/ram#AbstractExistenceCheck.h.gcov bytes=5124
    + ./src/ram#TupleElement.h.gcov bytes=3179
    + ./src/include#souffle#utility#ParallelUtil.h.gcov bytes=23113
    + ./src/#usr#include#c++#9#atomic.gcov bytes=68901
    + ./src/ram#Program.h.gcov bytes=8672
    + ./src/ram#Relation.h.gcov bytes=8929
    + ./src/ram#Node.h.gcov bytes=5076
    + ./src/ast#analysis#TypeEnvironment.h.gcov bytes=3684
    + ./src/ast#RecordType.h.gcov bytes=3896
    + ./src/include#souffle#BinaryConstraintOps.h.gcov bytes=24945
    + ./src/ast#transform#DebugReporter.h.gcov bytes=4011
    + ./src/ast#transform#Transformer.h.gcov bytes=2092
    + ./src/ast#analysis#Type.h.gcov bytes=3647
    + ./src/ast#analysis#SCCGraph.h.gcov bytes=12590
    + ./src/ast#analysis#PrecedenceGraph.h.gcov bytes=2879
    + ./src/ast#analysis#Analysis.h.gcov bytes=3326
    + ./src/include#souffle#utility#FileUtil.h.gcov bytes=20563
    + ./src/ast#Program.h.gcov bytes=12406
    + ./src/ast#Type.h.gcov bytes=2164
    + ./src/ast#Relation.h.gcov bytes=7914
    + ./src/ast#Attribute.h.gcov bytes=3345
    + ./src/ast#Directive.h.gcov bytes=6563
    + ./src/ast#QualifiedName.h.gcov bytes=6786
    + ./src/#usr#include#c++#9#type_traits.gcov bytes=140014
    + ./src/ast#Node.h.gcov bytes=4293
    + ./src/#usr#include#x86_64-linux-gnu#c++#9#bits#ctype_inline.h.gcov bytes=3658
    + ./src/#usr#include#c++#9#bits#locale_facets.h.gcov bytes=135598
    + ./src/#usr#include#c++#9#bits#ios_base.h.gcov bytes=62031
    + ./src/#usr#include#c++#9#limits.gcov bytes=102401
    + ./src/#usr#include#c++#9#ext#atomicity.h.gcov bytes=11057
    + ./src/#usr#include#x86_64-linux-gnu#c++#9#bits#gthr-default.h.gcov bytes=40448
    + ./src/#usr#include#c++#9#new.gcov bytes=13350
    + ./src/#usr#include#c++#9#typeinfo.gcov bytes=11418
    + ./src/souffle_prof.cpp.gcov bytes=1503
    + ./src/#usr#include#c++#9#bits#stl_tempbuf.h.gcov bytes=14952
    + ./src/include#souffle#profile#Cli.h.gcov bytes=11380
    + ./src/include#souffle#profile#HtmlGenerator.h.gcov bytes=6500
    + ./src/FunctorOps.cpp.gcov bytes=26319
    + ./src/#usr#include#c++#9#bits#refwrap.h.gcov bytes=19619
    + ./src/Global.cpp.gcov bytes=24780
    + ./tests/testsuite.dir/001/souffleLoBBBG.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_pair.h.gcov bytes=6334857
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#predefined_ops.h.gcov bytes=1718623
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_algobase.h.gcov bytes=15798549
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_iterator.h.gcov bytes=18067447
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_tree.h.gcov bytes=104947101
    + ./tests/testsuite.dir/001/#usr#include#c++#9#ext#new_allocator.h.gcov bytes=62231764
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#shared_ptr_base.h.gcov bytes=55213627
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_map.h.gcov bytes=14445133
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_vector.h.gcov bytes=42097633
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#alloc_traits.h.gcov bytes=28524033
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#json11.h.gcov bytes=24298636
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#profile#EventProcessor.h.gcov bytes=27673614
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#RecordTable.h.gcov bytes=2064792
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#SymbolTable.h.gcov bytes=1045445
    + ./tests/testsuite.dir/001/#usr#include#c++#9#tuple.gcov bytes=64749503
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#StreamUtil.h.gcov bytes=1152139
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#unique_ptr.h.gcov bytes=37556848
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#tinyformat.h.gcov bytes=15026420
    + ./tests/testsuite.dir/001/#usr#include#c++#9#ext#aligned_buffer.h.gcov bytes=10532195
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#move.h.gcov bytes=31048369
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#ptr_traits.h.gcov bytes=629888
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#allocated_ptr.h.gcov bytes=10614998
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_construct.h.gcov bytes=7233984
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#allocator.h.gcov bytes=14714038
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#hashtable_policy.h.gcov bytes=25343955
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_uninitialized.h.gcov bytes=14717886
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_iterator_base_funcs.h.gcov bytes=2238155
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_iterator_base_types.h.gcov bytes=1186381
    + ./tests/testsuite.dir/001/#usr#include#c++#9#ext#type_traits.h.gcov bytes=171636
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_function.h.gcov bytes=1767037
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#hashtable.h.gcov bytes=27188730
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#basic_string.tcc.gcov bytes=2539928
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_deque.h.gcov bytes=13716334
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#shared_ptr.h.gcov bytes=8565527
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#basic_string.h.gcov bytes=4667487
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#deque.tcc.gcov bytes=4814853
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#profile#ProfileDatabase.h.gcov bytes=7739970
    + ./tests/testsuite.dir/001/#usr#include#c++#9#ext#alloc_traits.h.gcov bytes=715611
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#atomic_base.h.gcov bytes=678501
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#MiscUtil.h.gcov bytes=14652
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#ContainerUtil.h.gcov bytes=6418279
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_set.h.gcov bytes=631058
    + ./tests/testsuite.dir/001/#usr#include#c++#9#initializer_list.gcov bytes=779168
    + ./tests/testsuite.dir/001/#usr#include#c++#9#chrono.gcov bytes=663881
    + ./tests/testsuite.dir/001/#usr#include#c++#9#atomic.gcov bytes=414996
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#std_mutex.h.gcov bytes=513898
    + ./tests/testsuite.dir/001/#usr#include#c++#9#ext#string_conversions.h.gcov bytes=2039845
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#char_traits.h.gcov bytes=1451469
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#CompiledOptions.h.gcov bytes=3617229
    + ./tests/testsuite.dir/001/#usr#include#c++#9#cmath.gcov bytes=139577
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#SouffleInterface.h.gcov bytes=2144926
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#unordered_map.h.gcov bytes=1881230
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#ParallelUtil.h.gcov bytes=2156808
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#SignalHandler.h.gcov bytes=2816394
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#ios_base.h.gcov bytes=1589350
    + ./tests/testsuite.dir/001/#usr#include#c++#9#ext#atomicity.h.gcov bytes=798753
    + ./tests/testsuite.dir/001/#usr#include#x86_64-linux-gnu#c++#9#bits#gthr-default.h.gcov bytes=463159
    + ./tests/testsuite.dir/001/#usr#include#c++#9#new.gcov bytes=130283
    + ./tests/testsuite.dir/001/#usr#include#c++#9#typeinfo.gcov bytes=254468
    + ./tests/testsuite.dir/001/souffleNUhRjm.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleuQKNdg.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#CompiledSouffle.h.gcov bytes=13410354
    + ./tests/testsuite.dir/001/#usr#include#c++#9#array.gcov bytes=273815
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#datastructure#BTree.h.gcov bytes=55154689
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#gzfstream.h.gcov bytes=3462820
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#ReadStreamCSV.h.gcov bytes=9278168
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#ReadStreamJSON.h.gcov bytes=11890895
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#WriteStreamCSV.h.gcov bytes=8370781
    + ./tests/testsuite.dir/001/#usr#include#c++#9#variant.gcov bytes=31017526
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#WriteStreamJSON.h.gcov bytes=10148498
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#ReadStreamSQLite.h.gcov bytes=6042058
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#WriteStreamSQLite.h.gcov bytes=10493111
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#invoke.h.gcov bytes=2050309
    + ./tests/testsuite.dir/001/#usr#include#c++#9#utility.gcov bytes=1277887
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#WriteStream.h.gcov bytes=4773824
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#ReadStream.h.gcov bytes=7366642
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#cpp_type_traits.h.gcov bytes=440038
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#streambuf_iterator.h.gcov bytes=1302369
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_algo.h.gcov bytes=4193294
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#CacheUtil.h.gcov bytes=3218132
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#vector.tcc.gcov bytes=13333762
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#CompiledTuple.h.gcov bytes=231839
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#enable_special_members.h.gcov bytes=151623
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#SerialisationStream.h.gcov bytes=3159968
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_stack.h.gcov bytes=733881
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#RamTypes.h.gcov bytes=4902
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#IOSystem.h.gcov bytes=2598811
    + ./tests/testsuite.dir/001/#usr#include#c++#9#iomanip.gcov bytes=79196
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#FileUtil.h.gcov bytes=12755
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#StringUtil.h.gcov bytes=3555228
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#functional_hash.h.gcov bytes=212057
    + ./tests/testsuite.dir/001/#usr#include#c++#9#limits.gcov bytes=221647
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#exception.h.gcov bytes=49751
    + ./tests/testsuite.dir/001/souffleRoEltR.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflezWV69Z.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleym09gf.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleLreQNJ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflet57iut.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleXbtGCr.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflemWSEmr.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleSXe4co.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleglemwq.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleHOEhmD.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleowk8vp.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle3X05sx.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleY7i1Vu.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle7ZgC0Q.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflej9hc2Q.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflejS0o5x.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#datastructure#UnionFind.h.gcov bytes=92896
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#std_function.h.gcov bytes=5569082
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#datastructure#Brie.h.gcov bytes=350318
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#datastructure#PiggyList.h.gcov bytes=88068
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#datastructure#LambdaBTree.h.gcov bytes=322794
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#datastructure#EquivalenceRelation.h.gcov bytes=155616
    + ./tests/testsuite.dir/001/#usr#include#c++#9#shared_mutex.gcov bytes=58258
    + ./tests/testsuite.dir/001/souffle2ppL1h.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleDi7DIk.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle0HOg20.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleayBMM8.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleGO2qzI.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflehOCxJu.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleLGNjyO.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleFf8fG7.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleuRSJC7.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflev5mQYB.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflerCAAbT.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle61Ojc4.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleVAE4nP.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflecTqzVL.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleAyk6PH.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle2f1obC.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleGteIZ3.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflezesj87.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleBJ1QNW.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflele9m0S.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleOcb1PX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflekZ5NPW.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflexPSBiz.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle6WWSxv.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleIciNnH.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleKK3uUJ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleJE4g68.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffles9AWDZ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleIcgwyW.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflesCgGm4.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleQtfzrq.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleeSoOIu.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleCWQJyX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleVpPidl.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle6tI0vK.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle942R8v.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleFl58pQ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleTUXrpP.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleqRXhbS.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle9W0QXd.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflegh8r8U.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleBqj3Wi.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleuwSgJi.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleBhyilD.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleYsE5YG.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleM53Nsm.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle39ODNn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffletOa3Nm.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflez3CEUi.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleOKuCM1.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflehD3xlo.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleCYnyDe.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleO0PCoz.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflev5DdFc.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflerQG0uS.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflezW4p9T.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleEi58p3.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflelwmSuR.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflep3oeMC.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleNEs0zA.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleZvgaU7.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflelpsCH0.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflebx2AWC.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#EvaluatorUtil.h.gcov bytes=52268
    + ./tests/testsuite.dir/001/souffle4pMnE4.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflejZ62YJ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle9Gy3M2.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle8KYY2k.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflewzdCRu.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflet8ZrZC.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleo84RkQ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleGz6LoT.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle1bEKOj.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflegOqYaR.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflePmZCDp.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleBQCajL.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleJo2hVH.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleeVn5k8.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflecX5iRy.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflebzN4FZ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflexr4oZE.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleXLImIk.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleewbOx5.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflevEqHoh.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleSFOIMB.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle9ne6o1.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleOq55qe.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleJeHTOM.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleLjSlec.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle6fqMXp.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleShrElc.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflexQPn0Z.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflepgONKw.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleU0pA7r.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleQmRNkR.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleWtgh9m.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffler5nxJO.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleqDvG51.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflefvyoDK.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflegaShkV.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleCKRfze.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleW1JZMw.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleHXD8Qd.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflekLAxTC.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleWVW5ED.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleGjLlS6.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleMaDqm8.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleJ8zMBT.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#datastructure#Table.h.gcov bytes=12831
    + ./tests/testsuite.dir/001/souffleoZjNEi.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflelXqP14.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleQQohkK.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffledZKifB.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle5M6W3D.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleccH3H6.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflen5bhHg.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleMrgEgJ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleuohmxj.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle9NUG92.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle01iT2i.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle8VHr5P.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleSnPxYe.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle3MxaG6.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflellIJE1.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleiTOGDn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleEoCrqA.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleuo0u2t.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleqs87is.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffledw5LhB.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle74HIpH.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleIiVnJZ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleWRIrqC.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleNMuQcl.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleCbxlL7.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflePSOTXb.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleVuqrU4.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleepre56.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleLmW8Ym.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleV4x9KH.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleet658i.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleEgRBCB.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle6w0tzU.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleYfRKkw.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflefbTBbX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle8t1VZB.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflehtLe1Z.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflepOaJRP.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleaYgaJO.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle20mTEc.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflehd8Rmk.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleTHViNc.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflebnOrtB.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle4mQuyT.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffletlzGUc.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleUhYRmg.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle0tWnIr.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleDsfSeE.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflePogXQZ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleKw7x1G.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleDIViPX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle2SiJaX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflebdIfGm.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle14JIZy.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflemsKmQn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleg3qlLF.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleBxtSes.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle0Syk3a.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleKr0E3o.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleEpr5PX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleGbf5hj.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleqgE6At.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflezwf7E2.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle4ZBmco.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflecjFh2G.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleBvpWAL.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffledW1gAT.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleNsGm2b.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleJ3Y2mJ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleOMl6mX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_automaton.h.gcov bytes=355186
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_heap.h.gcov bytes=171493
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bitset.gcov bytes=155746
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_compiler.h.gcov bytes=1290387
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex.h.gcov bytes=606295
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex.tcc.gcov bytes=388373
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_compiler.tcc.gcov bytes=1967003
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_executor.h.gcov bytes=340033
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_executor.tcc.gcov bytes=1140590
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_automaton.tcc.gcov bytes=93483
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_scanner.tcc.gcov bytes=508687
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_scanner.h.gcov bytes=82384
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#locale_classes.tcc.gcov bytes=13209
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_error.h.gcov bytes=24993
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_constants.h.gcov bytes=63951
    + ./tests/testsuite.dir/001/#usr#include#x86_64-linux-gnu#c++#9#bits#ctype_inline.h.gcov bytes=8836
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#locale_facets.h.gcov bytes=159749
    + ./tests/testsuite.dir/001/#usr#include#c++#9#type_traits.gcov bytes=144354
    + ./tests/testsuite.dir/001/soufflewT8ZEb.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflewXu7Vo.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffled6l2tV.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleB38oDM.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleczcoR5.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleqFjNyX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffledjluC1.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflenugfXa.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflekOPTsY.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflenq152G.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleMjifQH.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleTKSTq0.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffletobTDb.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflebjSfH9.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflesyE45i.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflevU7emV.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflequZgbC.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflejgrfLP.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffletVeVWM.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleLAYwgI.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflexsom2e.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle5ySORl.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle69pa1u.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle4EcIyn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleeXmEac.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleuTC75w.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleEPjfk5.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleA5WUKF.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflePy2asI.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleuoLfFA.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleGTJLBk.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleUszSjr.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflegxTjX4.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflesJ8Kwr.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffley6BdXq.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflefEcBuU.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleshxUME.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflev62saY.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleM5IXRM.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffled3zXAS.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflehcaDqw.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleCLj7oP.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleIvOrx1.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleymQjgZ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflezbp9nO.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflekRwPBc.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflevmsLd1.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleIifSiO.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleqneNT7.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleQ1qX0x.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleiC5hxE.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleY3rW8G.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleZ3Y6Ns.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/insert_print.cpp.gcov bytes=40
    + ./tests/testsuite.dir/001/#souffle#tests#interface#insert_print#driver.cpp.gcov bytes=7457
    + ./tests/testsuite.dir/001/insert_for.cpp.gcov bytes=38
    + ./tests/testsuite.dir/001/#souffle#tests#interface#insert_for#driver.cpp.gcov bytes=9957
    + ./tests/testsuite.dir/001/repeat_analysis.cpp.gcov bytes=43
    + ./tests/testsuite.dir/001/#souffle#tests#interface#repeat_analysis#driver.cpp.gcov bytes=11876
    + ./tests/testsuite.dir/001/load_print.cpp.gcov bytes=38
    + ./tests/testsuite.dir/001/#souffle#tests#interface#load_print#driver.cpp.gcov bytes=4365
    + ./tests/testsuite.dir/001/signal_error.cpp.gcov bytes=40
    + ./tests/testsuite.dir/001/#souffle#tests#interface#signal_error#driver.cpp.gcov bytes=3115
    + ./tests/testsuite.dir/001/functors.cpp.gcov bytes=36
    + ./tests/testsuite.dir/001/^#^#^#src#include#souffle#utility#tinyformat.h.gcov bytes=76533
    + ./tests/testsuite.dir/001/^#^#^#src#include#souffle#RecordTable.h.gcov bytes=9984
    + ./tests/testsuite.dir/001/^#^#^#src#include#souffle#utility#MiscUtil.h.gcov bytes=9476
    + ./tests/testsuite.dir/001/^#^#^#src#include#souffle#SymbolTable.h.gcov bytes=12961
    + ./tests/testsuite.dir/001/^#^#^#src#include#souffle#utility#ParallelUtil.h.gcov bytes=23114
    + ./tests/testsuite.dir/001/souffleZeDMcy.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflecDynR5.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#usr#include#c++#9#thread.gcov bytes=149875
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#unique_lock.h.gcov bytes=59337
    + ./tests/testsuite.dir/001/#usr#include#c++#9#condition_variable.gcov bytes=79044
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#profile#Logger.h.gcov bytes=82342
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#profile#ProfileEvent.h.gcov bytes=318590
    + ./tests/testsuite.dir/001/soufflecsUwjD.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleE3U8y3.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleu7iz5x.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffletoler0.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleKYCmOt.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleboFUnW.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleR1OAsr.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleg8YwIQ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflekSalXj.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflehHjZiU.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflevXW3T1.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleZtFqR7.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflenjtu6h.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleAYaRAl.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleexb3Ov.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleabHgPz.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflemQgFYE.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflewmCleM.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleypFywS.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleiOqDcp.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#provenance#ExplainProvenanceImpl.h.gcov bytes=1657528
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#provenance#ExplainProvenance.h.gcov bytes=199702
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#provenance#ExplainTree.h.gcov bytes=222436
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#provenance#Explain.h.gcov bytes=951728
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#BinaryConstraintOps.h.gcov bytes=53726
    + ./tests/testsuite.dir/001/souffleb9tRxV.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleM1amXL.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflewvFBfp.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle6hBdqD.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleufwU1W.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleCHA1GL.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleBw0oVL.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffletNlVey.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleOstQ5z.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleJW4wuF.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleqGr4eH.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleTWQW7F.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleM8FQ8r.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflerdvlaP.cpp.gcov bytes=41
    + ./ast#TypeCast.h.gcov bytes=38
    + ./ast#analysis#AuxArity.cpp.gcov bytes=49
    + ./#usr#include#c++#9#ext#new_allocator.h.gcov bytes=72314483
    + ./#usr#include#c++#9#bits#stl_pair.h.gcov bytes=7124149
    + ./#usr#include#c++#9#ext#aligned_buffer.h.gcov bytes=11743012
    + ./#usr#include#c++#9#bits#alloc_traits.h.gcov bytes=34162342
    + ./#usr#include#c++#9#ext#type_traits.h.gcov bytes=257270
    + ./#usr#include#c++#9#bits#stl_tree.h.gcov bytes=122333945
    + ./#usr#include#c++#9#bits#stl_function.h.gcov bytes=2175300
    + ./#usr#include#c++#9#bits#basic_string.tcc.gcov bytes=3373703
    + ./#usr#include#c++#9#bits#stl_iterator_base_funcs.h.gcov bytes=3016678
    + ./#usr#include#c++#9#bits#stl_iterator_base_types.h.gcov bytes=1654127
    + ./#usr#include#c++#9#bits#basic_string.h.gcov bytes=5626143
    + ./#usr#include#c++#9#bits#allocator.h.gcov bytes=16733752
    + ./#usr#include#c++#9#bits#move.h.gcov bytes=38769671
    + ./Global.h.gcov bytes=32
    + ./#usr#include#c++#9#bits#stl_map.h.gcov bytes=15895982
    + ./#usr#include#c++#9#bits#char_traits.h.gcov bytes=1956558
    + ./ast#analysis#ClauseNormalisation.cpp.gcov bytes=60
    + ./ast#analysis#ClauseNormalisation.h.gcov bytes=58
    + ./#usr#include#c++#9#tuple.gcov bytes=79979581
    + ./#usr#include#c++#9#bits#stl_uninitialized.h.gcov bytes=19360959
    + ./#usr#include#c++#9#bits#stl_algobase.h.gcov bytes=19067581
    + ./#usr#include#c++#9#bits#stl_vector.h.gcov bytes=63488434
    + ./#usr#include#c++#9#bits#stl_construct.h.gcov bytes=10750746
    + ./#usr#include#c++#9#bits#stl_iterator.h.gcov bytes=28373072
    + ./#usr#include#c++#9#bits#cpp_type_traits.h.gcov bytes=539885
    + ./#usr#include#c++#9#bits#vector.tcc.gcov bytes=21353805
    + ./include#souffle#utility#tinyformat.h.gcov bytes=4949308
    + ./include#souffle#utility#StreamUtil.h.gcov bytes=1372463
    + ./#usr#include#c++#9#initializer_list.gcov bytes=942433
    + ./#usr#include#c++#9#bits#unique_ptr.h.gcov bytes=48281369
    + ./#usr#include#c++#9#ext#alloc_traits.h.gcov bytes=1066702
    + ./#usr#include#c++#9#utility.gcov bytes=1352721
    + ./include#souffle#utility#ContainerUtil.h.gcov bytes=2676989
    + ./include#souffle#utility#MiscUtil.h.gcov bytes=645956
    + ./#usr#include#c++#9#bits#stl_set.h.gcov bytes=1157174
    + ./include#souffle#utility#StringUtil.h.gcov bytes=204842
    + ./ast#Variable.h.gcov bytes=38
    + ./ast#TranslationUnit.h.gcov bytes=45
    + ./ast#Program.h.gcov bytes=37
    + ./ast#Negation.h.gcov bytes=38
    + ./ast#BinaryConstraint.h.gcov bytes=46
    + ./include#souffle#BinaryConstraintOps.h.gcov bytes=144381
    + ./ast#Aggregator.h.gcov bytes=40
    + ./AggregateOp.h.gcov bytes=37
    + ./ast#analysis#Analysis.h.gcov bytes=47
    + ./ast#Clause.h.gcov bytes=36
    + ./ast#Atom.h.gcov bytes=34
    + ./ast#QualifiedName.h.gcov bytes=43
    + ./ast#Node.h.gcov bytes=34
    + ./#usr#include#c++#9#bits#ios_base.h.gcov bytes=2181704
    + ./#usr#include#c++#9#new.gcov bytes=198658
    + ./ast#analysis#ComponentLookup.cpp.gcov bytes=56
    + ./#usr#include#c++#9#bits#std_function.h.gcov bytes=11064726
    + ./ast#utility#Visitor.h.gcov bytes=45
    + ./ast#analysis#ComponentLookup.h.gcov bytes=54
    + ./#usr#include#c++#9#bits#predefined_ops.h.gcov bytes=2507412
    + ./ast#Component.h.gcov bytes=39
    + ./ast#ComponentType.h.gcov bytes=43
    + ./#usr#include#c++#9#typeinfo.gcov bytes=344872
    + ./ast#analysis#Functor.cpp.gcov bytes=48
    + ./ast#analysis#Functor.h.gcov bytes=46
    + ./#usr#include#c++#9#bits#stl_deque.h.gcov bytes=14821540
    + ./#usr#include#c++#9#optional.gcov bytes=204828
    + ./reports#DebugReport.h.gcov bytes=45
    + ./#usr#include#c++#9#bits#refwrap.h.gcov bytes=22856
    + ./#usr#include#c++#9#bits#stl_stack.h.gcov bytes=798939
    + ./#usr#include#c++#9#ext#string_conversions.h.gcov bytes=2115928
    + ./ast#analysis#Type.h.gcov bytes=43
    + ./ast#analysis#TypeSystem.h.gcov bytes=49
    + ./ast#UserDefinedFunctor.h.gcov bytes=48
    + ./ast#FunctorDeclaration.h.gcov bytes=48
    + ./ast#IntrinsicFunctor.h.gcov bytes=46
    + ./ast#analysis#Ground.cpp.gcov bytes=47
    + ./#usr#include#c++#9#bits#shared_ptr_base.h.gcov bytes=56454853
    + ./ast#analysis#Constraint.h.gcov bytes=49
    + ./ast#analysis#ConstraintSystem.h.gcov bytes=55
    + ./#usr#include#c++#9#bits#shared_ptr.h.gcov bytes=8754653
    + ./#usr#include#c++#9#bits#ptr_traits.h.gcov bytes=680389
    + ./#usr#include#c++#9#bits#allocated_ptr.h.gcov bytes=10847623
    + ./ast#analysis#RelationDetailCache.h.gcov bytes=58
    + ./ast#Term.h.gcov bytes=34
    + ./ast#Relation.h.gcov bytes=38
    + ./#usr#include#c++#9#ext#atomicity.h.gcov bytes=837056
    + ./#usr#include#x86_64-linux-gnu#c++#9#bits#gthr-default.h.gcov bytes=486568
    + ./ast#analysis#IOType.cpp.gcov bytes=47
    + ./ast#analysis#IOType.h.gcov bytes=45
    + ./ast#Directive.h.gcov bytes=39
    + ./ast#analysis#PrecedenceGraph.cpp.gcov bytes=56
    + ./ast#analysis#PrecedenceGraph.h.gcov bytes=54
    + ./GraphUtils.h.gcov bytes=36
    + ./include#souffle#utility#FileUtil.h.gcov bytes=71399
    + ./ast#analysis#ProfileUse.cpp.gcov bytes=51
    + ./include#souffle#profile#Rule.h.gcov bytes=17179
    + ./include#souffle#profile#Iteration.h.gcov bytes=12179
    + ./include#souffle#profile#Relation.h.gcov bytes=31330
    + ./include#souffle#utility#json11.h.gcov bytes=462657
    + ./include#souffle#profile#Reader.h.gcov bytes=112214
    + ./include#souffle#profile#EventProcessor.h.gcov bytes=438951
    + ./ast#analysis#ProfileUse.h.gcov bytes=49
    + ./#usr#include#c++#9#bits#streambuf_iterator.h.gcov bytes=1320533
    + ./#usr#include#c++#9#bits#hashtable_policy.h.gcov bytes=27094848
    + ./#usr#include#c++#9#bits#hashtable.h.gcov bytes=28940565
    + ./include#souffle#profile#ProfileDatabase.h.gcov bytes=157823
    + ./#usr#include#c++#9#chrono.gcov bytes=763861
    + ./#usr#include#c++#9#bits#unordered_map.h.gcov bytes=1982232
    + ./#usr#include#c++#9#bits#postypes.h.gcov bytes=13006
    + ./#usr#include#c++#9#bits#atomic_base.h.gcov bytes=711325
    + ./#usr#include#c++#9#bits#std_mutex.h.gcov bytes=531189
    + ./include#souffle#profile#ProfileEvent.h.gcov bytes=52799
    + ./#usr#include#c++#9#thread.gcov bytes=164973
    + ./#usr#include#c++#9#atomic.gcov bytes=433124
    + ./include#souffle#profile#ProgramRun.h.gcov bytes=10636
    + ./#usr#include#c++#9#cmath.gcov bytes=146075
    + ./#usr#include#c++#9#bits#functional_hash.h.gcov bytes=222014
    + ./#usr#include#c++#9#limits.gcov bytes=228358
    + ./ast#analysis#RecursiveClauses.cpp.gcov bytes=57
    + ./ast#analysis#RecursiveClauses.h.gcov bytes=55
    + ./ast#utility#Utils.h.gcov bytes=43
    + ./ast#analysis#RedundantRelations.cpp.gcov bytes=59
    + ./ast#analysis#RedundantRelations.h.gcov bytes=57
    + ./ast#analysis#RelationDetailCache.cpp.gcov bytes=60
    + ./ast#analysis#RelationSchedule.cpp.gcov bytes=57
    + ./ast#analysis#RelationSchedule.h.gcov bytes=55
    + ./#usr#include#c++#9#bits#stl_algo.h.gcov bytes=6090331
    + ./ast#analysis#TopologicallySortedSCCGraph.h.gcov bytes=66
    + ./ast#analysis#SCCGraph.h.gcov bytes=47
    + ./ast#analysis#SCCGraph.cpp.gcov bytes=49
    + ./#usr#include#c++#9#bits#deque.tcc.gcov bytes=5108145
    + ./ast#analysis#SumTypeBranches.cpp.gcov bytes=56
    + ./ast#analysis#SumTypeBranches.h.gcov bytes=54
    + ./include#souffle#utility#FunctionalUtil.h.gcov bytes=32485
    + ./ast#analysis#TypeEnvironment.h.gcov bytes=54
    + ./ast#AlgebraicDataType.h.gcov bytes=47
    + ./ast#BranchDeclaration.h.gcov bytes=47
    + ./ast#Type.h.gcov bytes=34
    + ./ast#analysis#TopologicallySortedSCCGraph.cpp.gcov bytes=68
    + ./#usr#include#c++#9#bits#stl_bvector.h.gcov bytes=103378
    + ./ast#Constant.h.gcov bytes=38
    + ./ast#analysis#Type.cpp.gcov bytes=45
    + ./ast#utility#NodeMapper.h.gcov bytes=48
    + ./ast#NumericConstant.h.gcov bytes=45
    + ./ast#BranchInit.h.gcov bytes=40
    + ./ast#Attribute.h.gcov bytes=39
    + ./parser#SrcLocation.h.gcov bytes=44
    + ./#usr#include#c++#9#bits#exception.h.gcov bytes=51047
    + ./ast#analysis#TypeSystem.cpp.gcov bytes=51
    + ./ast#analysis#TypeEnvironment.cpp.gcov bytes=56
    + ./#usr#include#c++#9#bits#stl_heap.h.gcov bytes=242837
    + ./ast#UnionType.h.gcov bytes=39
    + ./ast#SubsetType.h.gcov bytes=40
    + ./ast#RecordType.h.gcov bytes=40
    + ./ast_print_test.cpp.gcov bytes=42
    + ./^#^#^#src#include#souffle#utility#ContainerUtil.h.gcov bytes=76
    + ./^#^#^#src#include#souffle#utility#StreamUtil.h.gcov bytes=73
    + ./^#^#^#src#include#souffle#utility#tinyformat.h.gcov bytes=73
    + ./^#^#^#src#ast#Aggregator.h.gcov bytes=53
    + ./^#^#^#src#ast#Counter.h.gcov bytes=50
    + ./^#^#^#src#ast#UnnamedVariable.h.gcov bytes=58
    + ./^#^#^#src#ast#Variable.h.gcov bytes=51
    + ./^#^#^#src#ast#StringConstant.h.gcov bytes=57
    + ./^#^#^#src#ast#NumericConstant.h.gcov bytes=58
    + ./^#^#^#src#ast#NilConstant.h.gcov bytes=54
    + ./^#^#^#src#ast#Clause.h.gcov bytes=49
    + ./^#^#^#src#include#souffle#utility#MiscUtil.h.gcov bytes=71
    + ./^#^#^#src#ast#Atom.h.gcov bytes=47
    + ./^#^#^#src#include#souffle#utility#StringUtil.h.gcov bytes=73
    + ./^#^#^#src#ast#utility#NodeMapper.h.gcov bytes=61
    + ./^#^#^#src#tests#test.h.gcov bytes=49
    + ./^#^#^#src#reports#ErrorReport.h.gcov bytes=58
    + ./^#^#^#src#ast#TranslationUnit.h.gcov bytes=58
    + ./^#^#^#src#ast#Constant.h.gcov bytes=51
    + ./^#^#^#src#ast#QualifiedName.h.gcov bytes=56
    + ./^#^#^#src#ast#Node.h.gcov bytes=47
    + ./^#^#^#src#AggregateOp.h.gcov bytes=50
    + ./ast_program_test.cpp.gcov bytes=44
    + ./^#^#^#src#ast#Relation.h.gcov bytes=51
    + ./^#^#^#src#ast#Attribute.h.gcov bytes=52
    + ./^#^#^#src#ast#Program.h.gcov bytes=50
    + ./^#^#^#src#RelationTag.h.gcov bytes=50
    + ./ast_transformers_test.cpp.gcov bytes=49
    + ./#usr#include#c++#9#bits#stl_multiset.h.gcov bytes=55255
    + ./^#^#^#src#ast#transform#RemoveRelationCopies.h.gcov bytes=73
    + ./^#^#^#src#ast#transform#Transformer.h.gcov bytes=64
    + ./ast_utils_test.cpp.gcov bytes=42
    + ./^#^#^#src#ast#BinaryConstraint.h.gcov bytes=59
    + ./^#^#^#src#ast#Negation.h.gcov bytes=51
    + ./^#^#^#src#include#souffle#BinaryConstraintOps.h.gcov bytes=74
    + ./ast_parser_utils_test.cpp.gcov bytes=49
    + ./^#^#^#src#parser#ParserUtils.h.gcov bytes=57
    + ./type_system_test.cpp.gcov bytes=44
    + ./^#^#^#src#ast#analysis#TypeSystem.h.gcov bytes=62
    + ./^#^#^#src#include#souffle#utility#FunctionalUtil.h.gcov bytes=77
    + ./constraints_test.cpp.gcov bytes=44
    + ./^#^#^#src#ast#analysis#ConstraintSystem.h.gcov bytes=68
    + ./ast#transform#ADTtoRecords.cpp.gcov bytes=54
    + ./ast#transform#ADTtoRecords.h.gcov bytes=52
    + ./ast#RecordInit.h.gcov bytes=40
    + ./#usr#include#c++#9#bits#range_access.h.gcov bytes=19503
    + ./ast#transform#Transformer.h.gcov bytes=51
    + ./ast#transform#AddNullariesToAtomlessAggregates.cpp.gcov bytes=74
    + ./ast#transform#AddNullariesToAtomlessAggregates.h.gcov bytes=72
    + ./RelationTag.h.gcov bytes=37
    + ./ast#transform#ComponentChecker.cpp.gcov bytes=58
    + ./ast#transform#ComponentChecker.h.gcov bytes=56
    + ./reports#ErrorReport.h.gcov bytes=45
    + ./ast#ComponentInit.h.gcov bytes=43
    + ./ast#transform#ComponentInstantiation.cpp.gcov bytes=64
    + ./ast#transform#ComponentInstantiation.h.gcov bytes=62
    + ./ast#transform#DebugReporter.cpp.gcov bytes=55
    + ./ast#transform#DebugReporter.h.gcov bytes=53
    + ./ast#transform#Null.h.gcov bytes=44
    + ./#usr#include#c++#9#string_view.gcov bytes=44147
    + ./ast#transform#ExecutionPlanChecker.cpp.gcov bytes=62
    + ./ast#transform#ExecutionPlanChecker.h.gcov bytes=60
    + ./ast#ExecutionPlan.h.gcov bytes=43
    + ./ast#transform#FoldAnonymousRecords.cpp.gcov bytes=62
    + ./ast#BooleanConstraint.h.gcov bytes=47
    + ./ast#transform#FoldAnonymousRecords.h.gcov bytes=60
    + ./ast#transform#GroundedTermsChecker.cpp.gcov bytes=62
    + ./ast#Pragma.h.gcov bytes=36
    + ./ast#transform#InlineRelations.cpp.gcov bytes=57
    + ./ast#transform#InlineRelations.h.gcov bytes=55
    + ./ast#transform#MagicSet.cpp.gcov bytes=50
    + ./ast#transform#MagicSet.h.gcov bytes=48
    + ./ast#utility#BindingStore.h.gcov bytes=50
    + ./ast#transform#MaterializeAggregationQueries.cpp.gcov bytes=71
    + ./ast#utility#LambdaNodeMapper.h.gcov bytes=54
    + ./ast#UnnamedVariable.h.gcov bytes=45
    + ./ast#transform#MaterializeSingletonAggregation.cpp.gcov bytes=73
    + ./ast#transform#MaterializeSingletonAggregation.h.gcov bytes=71
    + ./ast#transform#Meta.cpp.gcov bytes=46
    + ./ast#transform#MinimiseProgram.cpp.gcov bytes=57
    + ./ast#transform#MinimiseProgram.h.gcov bytes=55
    + ./ast#transform#NameUnnamedVariables.cpp.gcov bytes=62
    + ./ast#transform#NameUnnamedVariables.h.gcov bytes=60
    + ./ast#transform#NormaliseConstraints.cpp.gcov bytes=62
    + ./ast#transform#NormaliseConstraints.h.gcov bytes=60
    + ./ast#transform#PartitionBodyLiterals.cpp.gcov bytes=63
    + ./ast#transform#PartitionBodyLiterals.h.gcov bytes=61
    + ./ast#transform#PolymorphicObjects.cpp.gcov bytes=60
    + ./ast#transform#PolymorphicObjects.h.gcov bytes=58
    + ./include#souffle#TypeAttribute.h.gcov bytes=2364
    + ./ast#transform#PragmaChecker.cpp.gcov bytes=55
    + ./ast#transform#PragmaChecker.h.gcov bytes=53
    + ./ast#transform#Provenance.cpp.gcov bytes=52
    + ./ast#transform#Provenance.h.gcov bytes=50
    + ./ast#StringConstant.h.gcov bytes=44
    + ./ast#transform#ReduceExistentials.cpp.gcov bytes=60
    + ./ast#transform#ReduceExistentials.h.gcov bytes=58
    + ./ast#transform#RemoveBooleanConstraints.cpp.gcov bytes=66
    + ./ast#transform#RemoveBooleanConstraints.h.gcov bytes=64
    + ./ast#transform#RemoveEmptyRelations.cpp.gcov bytes=62
    + ./ast#transform#RemoveRedundantRelations.cpp.gcov bytes=66
    + ./ast#transform#RemoveRedundantRelations.h.gcov bytes=64
    + ./ast#transform#RemoveRedundantSums.cpp.gcov bytes=61
    + ./ast#transform#RemoveRedundantSums.h.gcov bytes=59
    + ./ast#transform#RemoveRelationCopies.cpp.gcov bytes=62
    + ./ast#transform#RemoveTypecasts.cpp.gcov bytes=57
    + ./ast#transform#RemoveTypecasts.h.gcov bytes=55
    + ./ast#transform#ReorderLiterals.cpp.gcov bytes=57
    + ./ast#transform#ReorderLiterals.h.gcov bytes=55
    + ./ast#transform#ReplaceSingletonVariables.cpp.gcov bytes=67
    + ./ast#transform#ReplaceSingletonVariables.h.gcov bytes=65
    + ./ast#transform#ResolveAliases.cpp.gcov bytes=56
    + ./ast#transform#ResolveAliases.h.gcov bytes=54
    + ./ast#transform#ResolveAnonymousRecordAliases.cpp.gcov bytes=71
    + ./ast#transform#ResolveAnonymousRecordAliases.h.gcov bytes=69
    + ./ast#transform#SemanticChecker.cpp.gcov bytes=57
    + ./ast#transform#GroundedTermsChecker.h.gcov bytes=60
    + ./ast#transform#SemanticChecker.h.gcov bytes=55
    + ./ast#ExecutionOrder.h.gcov bytes=44
    + ./ast#transform#Transformer.cpp.gcov bytes=53
    + ./ast#transform#UniqueAggregationVariables.cpp.gcov bytes=68
    + ./ast#transform#UniqueAggregationVariables.h.gcov bytes=66
    + ./ast#utility#BindingStore.cpp.gcov bytes=52
    + ./ast#utility#SipsMetric.cpp.gcov bytes=50
    + ./ast#utility#SipsMetric.h.gcov bytes=48
    + ./ast#utility#Utils.cpp.gcov bytes=45
    + ./ast#Program.cpp.gcov bytes=39
    + ./ast2ram#AstToRamTranslator.cpp.gcov bytes=54
    + ./ram#LambdaNodeMapper.h.gcov bytes=46
    + ./include#souffle#SymbolTable.h.gcov bytes=29964
    + ./ast2ram#AstToRamTranslator.h.gcov bytes=52
    + ./ast#analysis#AuxArity.h.gcov bytes=47
    + ./ram#ListStatement.h.gcov bytes=43
    + ./ram#TranslationUnit.h.gcov bytes=45
    + ./ram#LogTimer.h.gcov bytes=38
    + ./ram#Call.h.gcov bytes=34
    + ./ram#IO.h.gcov bytes=32
    + ./ast#SubroutineArgument.h.gcov bytes=48
    + ./ram#Loop.h.gcov bytes=34
    + ./ram#Sequence.h.gcov bytes=38
    + ./ram#Exit.h.gcov bytes=34
    + ./ram#RelationSize.h.gcov bytes=42
    + ./ram#Parallel.h.gcov bytes=38
    + ./ast#ProvenanceNegation.h.gcov bytes=48
    + ./ram#Clear.h.gcov bytes=35
    + ./ram#Swap.h.gcov bytes=34
    + ./ram#Extend.h.gcov bytes=36
    + ./ram#LogSize.h.gcov bytes=37
    + ./ram#DebugInfo.h.gcov bytes=39
    + ./ram#LogRelationTimer.h.gcov bytes=46
    + ./ram#UnpackRecord.h.gcov bytes=42
    + ./ram#Scan.h.gcov bytes=34
    + ./ram#Break.h.gcov bytes=35
    + ./ram#NestedIntrinsicOperator.h.gcov bytes=53
    + ./ram#Aggregate.h.gcov bytes=39
    + ./ram#True.h.gcov bytes=34
    + ./ram#Query.h.gcov bytes=35
    + ./ram#SubroutineReturn.h.gcov bytes=46
    + ./ram#Filter.h.gcov bytes=36
    + ./ram#Project.h.gcov bytes=37
    + ./ram#ExistenceCheck.h.gcov bytes=44
    + ./ram#EmptinessCheck.h.gcov bytes=44
    + ./ram#Negation.h.gcov bytes=38
    + ./ram#ProvenanceExistenceCheck.h.gcov bytes=54
    + ./ram#Constraint.h.gcov bytes=40
    + ./ram#SubroutineArgument.h.gcov bytes=48
    + ./ram#PackRecord.h.gcov bytes=40
    + ./ram#AutoIncrement.h.gcov bytes=43
    + ./ram#UserDefinedOperator.h.gcov bytes=49
    + ./ram#IntrinsicOperator.h.gcov bytes=47
    + ./ram#FloatConstant.h.gcov bytes=43
    + ./ram#UnsignedConstant.h.gcov bytes=46
    + ./ram#SignedConstant.h.gcov bytes=44
    + ./ram#UndefValue.h.gcov bytes=40
    + ./ram#TupleElement.h.gcov bytes=42
    + ./ram#Conjunction.h.gcov bytes=41
    + ./ram#Program.h.gcov bytes=37
    + ./ram#Relation.h.gcov bytes=38
    + ./ram#NodeMapper.h.gcov bytes=40
    + ./include#souffle#RamTypes.h.gcov bytes=4889
    + ./ram#AbstractOperator.h.gcov bytes=46
    + ./ram#Constant.h.gcov bytes=38
    + ./ram#BinRelationStatement.h.gcov bytes=50
    + ./ram#AbstractExistenceCheck.h.gcov bytes=52
    + ./ram#AbstractLog.h.gcov bytes=41
    + ./ram#RelationStatement.h.gcov bytes=47
    + ./ram#Statement.h.gcov bytes=39
    + ./ram#AbstractConditional.h.gcov bytes=49
    + ./ram#AbstractAggregate.h.gcov bytes=47
    + ./ram#RelationOperation.h.gcov bytes=47
    + ./ram#Utils.h.gcov bytes=35
    + ./ram#TupleOperation.h.gcov bytes=44
    + ./ram#NestedOperation.h.gcov bytes=45
    + ./ram#Operation.h.gcov bytes=39
    + ./LogStatement.h.gcov bytes=38
    + ./include#souffle#utility#ParallelUtil.h.gcov bytes=85782
    + ./ram#Node.h.gcov bytes=34
    + ./interpreter_relation_test.cpp.gcov bytes=53
    + ./^#^#^#src#include#souffle#datastructure#BTree.h.gcov bytes=74
    + ./^#^#^#src#interpreter#InterpreterIndex.h.gcov bytes=67
    + ./^#^#^#src#include#souffle#CompiledTuple.h.gcov bytes=68
    + ./^#^#^#src#interpreter#InterpreterRelation.h.gcov bytes=70
    + ./^#^#^#src#include#souffle#utility#CacheUtil.h.gcov bytes=72
    + ./^#^#^#src#interpreter#InterpreterUtil.h.gcov bytes=66
    + ./^#^#^#src#interpreter#InterpreterProgInterface.h.gcov bytes=75
    + ./^#^#^#src#include#souffle#SymbolTable.h.gcov bytes=66
    + ./^#^#^#src#ram#analysis#Index.h.gcov bytes=57
    + ./^#^#^#src#include#souffle#utility#ParallelUtil.h.gcov bytes=75
    + ./#usr#include#c++#9#bits#stl_list.h.gcov bytes=209879
    + ./#usr#include#c++#9#bits#unordered_set.h.gcov bytes=108416
    + ./#usr#include#c++#9#bits#list.tcc.gcov bytes=34597
    + ./^#^#^#src#include#souffle#RamTypes.h.gcov bytes=63
    + ./^#^#^#src#include#souffle#SouffleInterface.h.gcov bytes=71
    + ./interpreter#InterpreterEngine.cpp.gcov bytes=57
    + ./#usr#include#c++#9#bits#invoke.h.gcov bytes=2067093
    + ./#usr#include#c++#9#bits#regex_automaton.h.gcov bytes=390102
    + ./ram#Visitor.h.gcov bytes=37
    + ./include#souffle#datastructure#BTree.h.gcov bytes=20712708
    + ./interpreter#InterpreterContext.h.gcov bytes=56
    + ./include#souffle#RecordTable.h.gcov bytes=21091
    + ./include#souffle#io#gzfstream.h.gcov bytes=34583
    + ./include#souffle#io#ReadStreamCSV.h.gcov bytes=83133
    + ./include#souffle#io#ReadStreamJSON.h.gcov bytes=104385
    + ./include#souffle#io#WriteStreamCSV.h.gcov bytes=72410
    + ./#usr#include#c++#9#variant.gcov bytes=31236621
    + ./include#souffle#io#WriteStreamJSON.h.gcov bytes=89076
    + ./include#souffle#io#ReadStreamSQLite.h.gcov bytes=53116
    + ./include#souffle#io#WriteStreamSQLite.h.gcov bytes=91064
    + ./interpreter#InterpreterUtil.h.gcov bytes=53
    + ./#usr#include#c++#9#bitset.gcov bytes=164434
    + ./#usr#include#c++#9#bits#regex_compiler.h.gcov bytes=1423163
    + ./#usr#include#c++#9#bits#regex.h.gcov bytes=643682
    + ./#usr#include#c++#9#bits#regex.tcc.gcov bytes=417773
    + ./#usr#include#c++#9#bits#regex_compiler.tcc.gcov bytes=2169296
    + ./#usr#include#c++#9#bits#regex_executor.h.gcov bytes=374483
    + ./include#souffle#io#ReadStream.h.gcov bytes=69396
    + ./#usr#include#c++#9#bits#regex_executor.tcc.gcov bytes=1253126
    + ./#usr#include#c++#9#bits#regex_automaton.tcc.gcov bytes=102065
    + ./#usr#include#c++#9#bits#regex_scanner.tcc.gcov bytes=559309
    + ./include#souffle#utility#CacheUtil.h.gcov bytes=1420580
    + ./include#souffle#io#WriteStream.h.gcov bytes=42450
    + ./#usr#include#c++#9#bits#regex_scanner.h.gcov bytes=89768
    + ./#usr#include#c++#9#bits#locale_classes.tcc.gcov bytes=13209
    + ./include#souffle#datastructure#UnionFind.h.gcov bytes=75842
    + ./include#souffle#datastructure#PiggyList.h.gcov bytes=72119
    + ./include#souffle#datastructure#EquivalenceRelation.h.gcov bytes=154046
    + ./#usr#include#c++#9#array.gcov bytes=286188
    + ./#usr#include#c++#9#functional.gcov bytes=67309
    + ./include#souffle#datastructure#LambdaBTree.h.gcov bytes=259118
    + ./interpreter#InterpreterIndex.h.gcov bytes=54
    + ./include#souffle#CompiledTuple.h.gcov bytes=94708
    + ./#usr#include#c++#9#bits#unique_lock.h.gcov bytes=64227
    + ./#usr#include#c++#9#condition_variable.gcov bytes=85380
    + ./interpreter#InterpreterRelation.h.gcov bytes=57
    + ./include#souffle#utility#EvaluatorUtil.h.gcov bytes=28815
    + ./#usr#include#c++#9#bits#enable_special_members.h.gcov bytes=152577
    + ./include#souffle#io#SerialisationStream.h.gcov bytes=26625
    + ./interpreter#InterpreterGenerator.h.gcov bytes=58
    + ./ram#analysis#Index.h.gcov bytes=44
    + ./#usr#include#c++#9#bits#regex_error.h.gcov bytes=26803
    + ./#usr#include#c++#9#bits#regex_constants.h.gcov bytes=67877
    + ./include#souffle#profile#Logger.h.gcov bytes=11855
    + ./include#souffle#io#IOSystem.h.gcov bytes=26457
    + ./#usr#include#c++#9#iomanip.gcov bytes=80143
    + ./include#souffle#SignalHandler.h.gcov bytes=26311
    + ./interpreter#InterpreterViewContext.h.gcov bytes=60
    + ./interpreter#InterpreterNode.h.gcov bytes=53
    + ./#usr#include#c++#9#shared_mutex.gcov bytes=76341
    + ./#usr#include#c++#9#type_traits.gcov bytes=144818
    + ./#usr#include#x86_64-linux-gnu#c++#9#bits#ctype_inline.h.gcov bytes=9376
    + ./#usr#include#c++#9#bits#locale_facets.h.gcov bytes=162341
    + ./interpreter#InterpreterBrieIndex.cpp.gcov bytes=60
    + ./interpreter#InterpreterBTreeIndex.cpp.gcov bytes=61
    + ./interpreter#InterpreterEqrelIndex.cpp.gcov bytes=61
    + ./interpreter#InterpreterProvenanceIndex.cpp.gcov bytes=66
    + ./parser#ParserDriver.cpp.gcov bytes=47
    + ./parser#ParserDriver.h.gcov bytes=45
    + ./parser#ParserUtils.cpp.gcov bytes=46
    + ./parser#ParserUtils.h.gcov bytes=44
    + ./parser#SrcLocation.cpp.gcov bytes=46
    + ./parser#parser.yy.gcov bytes=40
    + ./ast#NilConstant.h.gcov bytes=41
    + ./ast#Counter.h.gcov bytes=37
    + ./parser#parser.hh.gcov bytes=40
    + ./parser#parser.cc.gcov bytes=40
    + ./parser#scanner.cc.gcov bytes=41
    + ./parser#scanner.ll.gcov bytes=41
    + ./ram#analysis#Complexity.cpp.gcov bytes=51
    + ./ram#analysis#Index.cpp.gcov bytes=46
    + ./#usr#include#c++#9#bits#stl_queue.h.gcov bytes=64159
    + ./ram#analysis#Analysis.h.gcov bytes=47
    + ./ram#IndexOperation.h.gcov bytes=44
    + ./ram#analysis#Level.cpp.gcov bytes=46
    + ./ram#AbstractChoice.h.gcov bytes=44
    + ./ram_condition_equal_clone_test.cpp.gcov bytes=58
    + ./^#^#^#src#ram#LambdaNodeMapper.h.gcov bytes=59
    + ./^#^#^#src#ram#EmptinessCheck.h.gcov bytes=57
    + ./^#^#^#src#ram#ProvenanceExistenceCheck.h.gcov bytes=67
    + ./^#^#^#src#ram#ExistenceCheck.h.gcov bytes=57
    + ./^#^#^#src#ram#False.h.gcov bytes=48
    + ./^#^#^#src#ram#True.h.gcov bytes=47
    + ./^#^#^#src#ram#Relation.h.gcov bytes=51
    + ./^#^#^#src#ram#SignedConstant.h.gcov bytes=57
    + ./^#^#^#src#ram#TupleElement.h.gcov bytes=55
    + ./^#^#^#src#ram#Constraint.h.gcov bytes=53
    + ./^#^#^#src#ram#Negation.h.gcov bytes=51
    + ./^#^#^#src#ram#Conjunction.h.gcov bytes=54
    + ./^#^#^#src#ram#NodeMapper.h.gcov bytes=53
    + ./^#^#^#src#ram#Constant.h.gcov bytes=51
    + ./^#^#^#src#ram#AbstractExistenceCheck.h.gcov bytes=65
    + ./^#^#^#src#ram#Node.h.gcov bytes=47
    + ./ram_statement_equal_clone_test.cpp.gcov bytes=58
    + ./^#^#^#src#ram#LogSize.h.gcov bytes=50
    + ./^#^#^#src#ram#DebugInfo.h.gcov bytes=52
    + ./^#^#^#src#ram#LogTimer.h.gcov bytes=51
    + ./^#^#^#src#ram#LogRelationTimer.h.gcov bytes=59
    + ./^#^#^#src#ram#Exit.h.gcov bytes=47
    + ./^#^#^#src#ram#Loop.h.gcov bytes=47
    + ./^#^#^#src#ram#Parallel.h.gcov bytes=51
    + ./^#^#^#src#ram#Sequence.h.gcov bytes=51
    + ./^#^#^#src#ram#Query.h.gcov bytes=48
    + ./^#^#^#src#ram#Swap.h.gcov bytes=47
    + ./^#^#^#src#ram#Extend.h.gcov bytes=49
    + ./^#^#^#src#ram#Clear.h.gcov bytes=48
    + ./^#^#^#src#ram#IO.h.gcov bytes=45
    + ./^#^#^#src#ram#IntrinsicOperator.h.gcov bytes=60
    + ./^#^#^#src#ram#UndefValue.h.gcov bytes=53
    + ./^#^#^#src#ram#Break.h.gcov bytes=48
    + ./^#^#^#src#ram#Filter.h.gcov bytes=49
    + ./^#^#^#src#ram#ListStatement.h.gcov bytes=56
    + ./^#^#^#src#ram#ParallelChoice.h.gcov bytes=57
    + ./^#^#^#src#ram#SubroutineReturn.h.gcov bytes=59
    + ./^#^#^#src#ram#Scan.h.gcov bytes=47
    + ./^#^#^#src#ram#Project.h.gcov bytes=50
    + ./^#^#^#src#ram#Choice.h.gcov bytes=49
    + ./^#^#^#src#ram#AbstractChoice.h.gcov bytes=57
    + ./^#^#^#src#ram#RelationOperation.h.gcov bytes=60
    + ./^#^#^#src#ram#TupleOperation.h.gcov bytes=57
    + ./^#^#^#src#ram#AbstractOperator.h.gcov bytes=59
    + ./^#^#^#src#ram#BinRelationStatement.h.gcov bytes=63
    + ./^#^#^#src#ram#AbstractLog.h.gcov bytes=54
    + ./^#^#^#src#ram#RelationStatement.h.gcov bytes=60
    + ./^#^#^#src#ram#Statement.h.gcov bytes=52
    + ./^#^#^#src#ram#AbstractConditional.h.gcov bytes=62
    + ./^#^#^#src#ram#NestedOperation.h.gcov bytes=58
    + ./^#^#^#src#ram#Operation.h.gcov bytes=52
    + ./ram_expression_equal_clone_test.cpp.gcov bytes=59
    + ./^#^#^#src#ram#SubroutineArgument.h.gcov bytes=61
    + ./^#^#^#src#ram#PackRecord.h.gcov bytes=53
    + ./^#^#^#src#ram#AutoIncrement.h.gcov bytes=56
    + ./^#^#^#src#ram#UserDefinedOperator.h.gcov bytes=62
    + ./^#^#^#src#include#souffle#TypeAttribute.h.gcov bytes=68
    + ./ram_operation_equal_clone_test.cpp.gcov bytes=58
    + ./^#^#^#src#ram#UnpackRecord.h.gcov bytes=55
    + ./^#^#^#src#ram#IndexAggregate.h.gcov bytes=57
    + ./^#^#^#src#ram#Aggregate.h.gcov bytes=52
    + ./^#^#^#src#ram#ParallelIndexChoice.h.gcov bytes=62
    + ./^#^#^#src#ram#ParallelIndexScan.h.gcov bytes=60
    + ./^#^#^#src#ram#ParallelScan.h.gcov bytes=55
    + ./^#^#^#src#ram#IndexScan.h.gcov bytes=52
    + ./^#^#^#src#ram#IndexChoice.h.gcov bytes=54
    + ./^#^#^#src#ram#IndexOperation.h.gcov bytes=57
    + ./^#^#^#src#ram#AbstractAggregate.h.gcov bytes=60
    + ./^#^#^#src#ram#Utils.h.gcov bytes=48
    + ./ram_relation_equal_clone_test.cpp.gcov bytes=57
    + ./ram_relation_test.cpp.gcov bytes=45
    + ./^#^#^#src#interpreter#InterpreterViewContext.h.gcov bytes=73
    + ./^#^#^#src#include#souffle#utility#json11.h.gcov bytes=69
    + ./^#^#^#src#ram#Visitor.h.gcov bytes=50
    + ./^#^#^#src#ram#TranslationUnit.h.gcov bytes=58
    + ./^#^#^#src#interpreter#InterpreterGenerator.h.gcov bytes=71
    + ./^#^#^#src#include#souffle#RecordTable.h.gcov bytes=66
    + ./#usr#include#c++#9#bits#random.h.gcov bytes=290972
    + ./#usr#include#c++#9#bits#random.tcc.gcov bytes=162035
    + ./#usr#include#c++#9#bits#uniform_int_dist.h.gcov bytes=27106
    + ./^#^#^#src#interpreter#InterpreterEngine.h.gcov bytes=68
    + ./^#^#^#src#interpreter#InterpreterNode.h.gcov bytes=66
    + ./^#^#^#src#ram#Program.h.gcov bytes=50
    + ./^#^#^#src#Global.h.gcov bytes=45
    + ./^#^#^#src#ram#RelationSize.h.gcov bytes=55
    + ./^#^#^#src#ram#NestedIntrinsicOperator.h.gcov bytes=66
    + ./^#^#^#src#ram#Call.h.gcov bytes=47
    + ./^#^#^#src#ram#analysis#Analysis.h.gcov bytes=60
    + ./ram_arithmetic_test.cpp.gcov bytes=47
    + ./ram_type_conversion_test.cpp.gcov bytes=52
    + ./matching_test.cpp.gcov bytes=41
    + ./max_matching_test.cpp.gcov bytes=45
    + ./ram#transform#ChoiceConversion.cpp.gcov bytes=58
    + ./ram#IndexChoice.h.gcov bytes=41
    + ./ram#Choice.h.gcov bytes=36
    + ./ram#transform#CollapseFilters.cpp.gcov bytes=57
    + ./ram#transform#EliminateDuplicates.cpp.gcov bytes=61
    + ./ram#transform#ExpandFilter.cpp.gcov bytes=54
    + ./ram#transform#HoistAggregate.cpp.gcov bytes=56
    + ./ram#transform#HoistConditions.cpp.gcov bytes=57
    + ./ram#transform#IfConversion.cpp.gcov bytes=54
    + ./ram#transform#IndexedInequality.cpp.gcov bytes=59
    + ./ram#ParallelScan.h.gcov bytes=42
    + ./ram#ParallelIndexScan.h.gcov bytes=47
    + ./ram#IndexScan.h.gcov bytes=39
    + ./ram#IndexAggregate.h.gcov bytes=44
    + ./ram#transform#MakeIndex.cpp.gcov bytes=51
    + ./ram#transform#Parallel.cpp.gcov bytes=50
    + ./ram#ParallelIndexAggregate.h.gcov bytes=52
    + ./ram#ParallelAggregate.h.gcov bytes=47
    + ./ram#ParallelIndexChoice.h.gcov bytes=49
    + ./ram#ParallelChoice.h.gcov bytes=44
    + ./ram#transform#ReorderConditions.cpp.gcov bytes=59
    + ./ram#transform#ReorderFilterBreak.cpp.gcov bytes=60
    + ./ram#transform#Transformer.cpp.gcov bytes=53
    + ./ram#transform#TupleId.cpp.gcov bytes=49
    + ./reports#DebugReport.cpp.gcov bytes=47
    + ./#usr#include#c++#9#ostream.gcov bytes=33527
    + ./#usr#include#c++#9#bits#string_view.tcc.gcov bytes=10428
    + ./synthesiser#Synthesiser.cpp.gcov bytes=51
    + ./synthesiser#Synthesiser.h.gcov bytes=49
    + ./synthesiser#Relation.cpp.gcov bytes=48
    + ./synthesiser#Relation.h.gcov bytes=46
    + ./functors.cpp.gcov bytes=36
    + ./souffleLoBBBG.cpp.gcov bytes=41
    + ./#souffle#src#include#souffle#utility#json11.h.gcov bytes=24298636
    + ./#souffle#src#include#souffle#profile#EventProcessor.h.gcov bytes=27673614
    + ./#souffle#src#include#souffle#RecordTable.h.gcov bytes=2064792
    + ./#souffle#src#include#souffle#SymbolTable.h.gcov bytes=1045445
    + ./#souffle#src#include#souffle#utility#StreamUtil.h.gcov bytes=1152139
    + ./#souffle#src#include#souffle#utility#tinyformat.h.gcov bytes=15026420
    + ./#souffle#src#include#souffle#profile#ProfileDatabase.h.gcov bytes=7739970
    + ./#souffle#src#include#souffle#utility#MiscUtil.h.gcov bytes=14652
    + ./#souffle#src#include#souffle#utility#ContainerUtil.h.gcov bytes=6418279
    + ./#souffle#src#include#souffle#CompiledOptions.h.gcov bytes=3617229
    + ./#souffle#src#include#souffle#SouffleInterface.h.gcov bytes=2144926
    + ./#souffle#src#include#souffle#utility#ParallelUtil.h.gcov bytes=2156808
    + ./#souffle#src#include#souffle#SignalHandler.h.gcov bytes=2816394
    + ./souffleNUhRjm.cpp.gcov bytes=41
    + ./souffleuQKNdg.cpp.gcov bytes=41
    + ./#souffle#src#include#souffle#CompiledSouffle.h.gcov bytes=13410354
    + ./#souffle#src#include#souffle#datastructure#BTree.h.gcov bytes=55154689
    + ./#souffle#src#include#souffle#io#gzfstream.h.gcov bytes=3462820
    + ./#souffle#src#include#souffle#io#ReadStreamCSV.h.gcov bytes=9278168
    + ./#souffle#src#include#souffle#io#ReadStreamJSON.h.gcov bytes=11890895
    + ./#souffle#src#include#souffle#io#WriteStreamCSV.h.gcov bytes=8370781
    + ./#souffle#src#include#souffle#io#WriteStreamJSON.h.gcov bytes=10148498
    + ./#souffle#src#include#souffle#io#ReadStreamSQLite.h.gcov bytes=6042058
    + ./#souffle#src#include#souffle#io#WriteStreamSQLite.h.gcov bytes=10493111
    + ./#souffle#src#include#souffle#io#WriteStream.h.gcov bytes=4773824
    + ./#souffle#src#include#souffle#io#ReadStream.h.gcov bytes=7366642
    + ./#souffle#src#include#souffle#utility#CacheUtil.h.gcov bytes=3218132
    + ./#souffle#src#include#souffle#CompiledTuple.h.gcov bytes=231839
    + ./#souffle#src#include#souffle#io#SerialisationStream.h.gcov bytes=3159968
    + ./#souffle#src#include#souffle#RamTypes.h.gcov bytes=4902
    + ./#souffle#src#include#souffle#io#IOSystem.h.gcov bytes=2598811
    + ./#souffle#src#include#souffle#utility#FileUtil.h.gcov bytes=12755
    + ./#souffle#src#include#souffle#utility#StringUtil.h.gcov bytes=3555228
    + ./souffleRoEltR.cpp.gcov bytes=41
    + ./soufflezWV69Z.cpp.gcov bytes=41
    + ./souffleym09gf.cpp.gcov bytes=41
    + ./souffleLreQNJ.cpp.gcov bytes=41
    + ./soufflet57iut.cpp.gcov bytes=41
    + ./souffleXbtGCr.cpp.gcov bytes=41
    + ./soufflemWSEmr.cpp.gcov bytes=41
    + ./souffleSXe4co.cpp.gcov bytes=41
    + ./souffleglemwq.cpp.gcov bytes=41
    + ./souffleHOEhmD.cpp.gcov bytes=41
    + ./souffleowk8vp.cpp.gcov bytes=41
    + ./souffle3X05sx.cpp.gcov bytes=41
    + ./souffleY7i1Vu.cpp.gcov bytes=41
    + ./souffle7ZgC0Q.cpp.gcov bytes=41
    + ./soufflej9hc2Q.cpp.gcov bytes=41
    + ./soufflejS0o5x.cpp.gcov bytes=41
    + ./#souffle#src#include#souffle#datastructure#UnionFind.h.gcov bytes=92896
    + ./souffle2ppL1h.cpp.gcov bytes=41
    + ./#souffle#src#include#souffle#datastructure#Brie.h.gcov bytes=350318
    + ./#souffle#src#include#souffle#datastructure#PiggyList.h.gcov bytes=88068
    + ./#souffle#src#include#souffle#datastructure#LambdaBTree.h.gcov bytes=322794
    + ./#souffle#src#include#souffle#datastructure#EquivalenceRelation.h.gcov bytes=155616
    + ./souffleDi7DIk.cpp.gcov bytes=41
    + ./souffle0HOg20.cpp.gcov bytes=41
    + ./souffleayBMM8.cpp.gcov bytes=41
    + ./souffleGO2qzI.cpp.gcov bytes=41
    + ./soufflehOCxJu.cpp.gcov bytes=41
    + ./souffleLGNjyO.cpp.gcov bytes=41
    + ./souffleFf8fG7.cpp.gcov bytes=41
    + ./souffleuRSJC7.cpp.gcov bytes=41
    + ./soufflev5mQYB.cpp.gcov bytes=41
    + ./soufflerCAAbT.cpp.gcov bytes=41
    + ./souffle61Ojc4.cpp.gcov bytes=41
    + ./souffleVAE4nP.cpp.gcov bytes=41
    + ./soufflecTqzVL.cpp.gcov bytes=41
    + ./souffleAyk6PH.cpp.gcov bytes=41
    + ./souffle2f1obC.cpp.gcov bytes=41
    + ./souffleGteIZ3.cpp.gcov bytes=41
    + ./soufflezesj87.cpp.gcov bytes=41
    + ./souffleBJ1QNW.cpp.gcov bytes=41
    + ./soufflele9m0S.cpp.gcov bytes=41
    + ./souffleOcb1PX.cpp.gcov bytes=41
    + ./soufflekZ5NPW.cpp.gcov bytes=41
    + ./soufflexPSBiz.cpp.gcov bytes=41
    + ./souffle6WWSxv.cpp.gcov bytes=41
    + ./souffleIciNnH.cpp.gcov bytes=41
    + ./souffleKK3uUJ.cpp.gcov bytes=41
    + ./souffleJE4g68.cpp.gcov bytes=41
    + ./souffles9AWDZ.cpp.gcov bytes=41
    + ./souffleIcgwyW.cpp.gcov bytes=41
    + ./soufflesCgGm4.cpp.gcov bytes=41
    + ./souffleQtfzrq.cpp.gcov bytes=41
    + ./souffleeSoOIu.cpp.gcov bytes=41
    + ./souffleCWQJyX.cpp.gcov bytes=41
    + ./souffleVpPidl.cpp.gcov bytes=41
    + ./souffle6tI0vK.cpp.gcov bytes=41
    + ./souffle942R8v.cpp.gcov bytes=41
    + ./souffleFl58pQ.cpp.gcov bytes=41
    + ./souffleTUXrpP.cpp.gcov bytes=41
    + ./souffleqRXhbS.cpp.gcov bytes=41
    + ./souffle9W0QXd.cpp.gcov bytes=41
    + ./soufflegh8r8U.cpp.gcov bytes=41
    + ./souffleBqj3Wi.cpp.gcov bytes=41
    + ./souffleuwSgJi.cpp.gcov bytes=41
    + ./souffleBhyilD.cpp.gcov bytes=41
    + ./souffleYsE5YG.cpp.gcov bytes=41
    + ./souffleM53Nsm.cpp.gcov bytes=41
    + ./souffle39ODNn.cpp.gcov bytes=41
    + ./souffletOa3Nm.cpp.gcov bytes=41
    + ./soufflez3CEUi.cpp.gcov bytes=41
    + ./souffleOKuCM1.cpp.gcov bytes=41
    + ./soufflehD3xlo.cpp.gcov bytes=41
    + ./souffleCYnyDe.cpp.gcov bytes=41
    + ./souffleO0PCoz.cpp.gcov bytes=41
    + ./soufflev5DdFc.cpp.gcov bytes=41
    + ./soufflerQG0uS.cpp.gcov bytes=41
    + ./soufflezW4p9T.cpp.gcov bytes=41
    + ./souffleEi58p3.cpp.gcov bytes=41
    + ./soufflelwmSuR.cpp.gcov bytes=41
    + ./soufflep3oeMC.cpp.gcov bytes=41
    + ./souffleNEs0zA.cpp.gcov bytes=41
    + ./souffleZvgaU7.cpp.gcov bytes=41
    + ./soufflelpsCH0.cpp.gcov bytes=41
    + ./soufflebx2AWC.cpp.gcov bytes=41
    + ./#souffle#src#include#souffle#utility#EvaluatorUtil.h.gcov bytes=52268
    + ./souffle4pMnE4.cpp.gcov bytes=41
    + ./soufflejZ62YJ.cpp.gcov bytes=41
    + ./souffle9Gy3M2.cpp.gcov bytes=41
    + ./souffle8KYY2k.cpp.gcov bytes=41
    + ./soufflewzdCRu.cpp.gcov bytes=41
    + ./soufflet8ZrZC.cpp.gcov bytes=41
    + ./souffleo84RkQ.cpp.gcov bytes=41
    + ./souffleGz6LoT.cpp.gcov bytes=41
    + ./souffle1bEKOj.cpp.gcov bytes=41
    + ./soufflegOqYaR.cpp.gcov bytes=41
    + ./soufflePmZCDp.cpp.gcov bytes=41
    + ./souffleBQCajL.cpp.gcov bytes=41
    + ./souffleJo2hVH.cpp.gcov bytes=41
    + ./souffleeVn5k8.cpp.gcov bytes=41
    + ./soufflecX5iRy.cpp.gcov bytes=41
    + ./soufflebzN4FZ.cpp.gcov bytes=41
    + ./soufflexr4oZE.cpp.gcov bytes=41
    + ./souffleXLImIk.cpp.gcov bytes=41
    + ./souffleewbOx5.cpp.gcov bytes=41
    + ./soufflevEqHoh.cpp.gcov bytes=41
    + ./souffleSFOIMB.cpp.gcov bytes=41
    + ./souffle9ne6o1.cpp.gcov bytes=41
    + ./souffleOq55qe.cpp.gcov bytes=41
    + ./souffleJeHTOM.cpp.gcov bytes=41
    + ./souffleLjSlec.cpp.gcov bytes=41
    + ./souffle6fqMXp.cpp.gcov bytes=41
    + ./souffleShrElc.cpp.gcov bytes=41
    + ./soufflexQPn0Z.cpp.gcov bytes=41
    + ./soufflepgONKw.cpp.gcov bytes=41
    + ./souffleU0pA7r.cpp.gcov bytes=41
    + ./souffleQmRNkR.cpp.gcov bytes=41
    + ./souffleWtgh9m.cpp.gcov bytes=41
    + ./souffler5nxJO.cpp.gcov bytes=41
    + ./souffleqDvG51.cpp.gcov bytes=41
    + ./soufflefvyoDK.cpp.gcov bytes=41
    + ./soufflegaShkV.cpp.gcov bytes=41
    + ./souffleCKRfze.cpp.gcov bytes=41
    + ./souffleW1JZMw.cpp.gcov bytes=41
    + ./souffleHXD8Qd.cpp.gcov bytes=41
    + ./soufflekLAxTC.cpp.gcov bytes=41
    + ./souffleWVW5ED.cpp.gcov bytes=41
    + ./souffleGjLlS6.cpp.gcov bytes=41
    + ./souffleMaDqm8.cpp.gcov bytes=41
    + ./souffleJ8zMBT.cpp.gcov bytes=41
    + ./#souffle#src#include#souffle#datastructure#Table.h.gcov bytes=12831
    + ./souffleoZjNEi.cpp.gcov bytes=41
    + ./soufflelXqP14.cpp.gcov bytes=41
    + ./souffleQQohkK.cpp.gcov bytes=41
    + ./souffledZKifB.cpp.gcov bytes=41
    + ./souffle5M6W3D.cpp.gcov bytes=41
    + ./souffleccH3H6.cpp.gcov bytes=41
    + ./soufflen5bhHg.cpp.gcov bytes=41
    + ./souffleMrgEgJ.cpp.gcov bytes=41
    + ./souffleuohmxj.cpp.gcov bytes=41
    + ./souffle9NUG92.cpp.gcov bytes=41
    + ./souffle01iT2i.cpp.gcov bytes=41
    + ./souffle8VHr5P.cpp.gcov bytes=41
    + ./souffleSnPxYe.cpp.gcov bytes=41
    + ./souffle3MxaG6.cpp.gcov bytes=41
    + ./soufflellIJE1.cpp.gcov bytes=41
    + ./souffleiTOGDn.cpp.gcov bytes=41
    + ./souffleEoCrqA.cpp.gcov bytes=41
    + ./souffleuo0u2t.cpp.gcov bytes=41
    + ./souffleqs87is.cpp.gcov bytes=41
    + ./souffledw5LhB.cpp.gcov bytes=41
    + ./souffle74HIpH.cpp.gcov bytes=41
    + ./souffleIiVnJZ.cpp.gcov bytes=41
    + ./souffleWRIrqC.cpp.gcov bytes=41
    + ./souffleNMuQcl.cpp.gcov bytes=41
    + ./souffleCbxlL7.cpp.gcov bytes=41
    + ./soufflePSOTXb.cpp.gcov bytes=41
    + ./souffleVuqrU4.cpp.gcov bytes=41
    + ./souffleepre56.cpp.gcov bytes=41
    + ./souffleLmW8Ym.cpp.gcov bytes=41
    + ./souffleV4x9KH.cpp.gcov bytes=41
    + ./souffleet658i.cpp.gcov bytes=41
    + ./souffleEgRBCB.cpp.gcov bytes=41
    + ./souffle6w0tzU.cpp.gcov bytes=41
    + ./souffleYfRKkw.cpp.gcov bytes=41
    + ./soufflefbTBbX.cpp.gcov bytes=41
    + ./souffle8t1VZB.cpp.gcov bytes=41
    + ./soufflehtLe1Z.cpp.gcov bytes=41
    + ./soufflepOaJRP.cpp.gcov bytes=41
    + ./souffleaYgaJO.cpp.gcov bytes=41
    + ./souffle20mTEc.cpp.gcov bytes=41
    + ./soufflehd8Rmk.cpp.gcov bytes=41
    + ./souffleTHViNc.cpp.gcov bytes=41
    + ./soufflebnOrtB.cpp.gcov bytes=41
    + ./souffle4mQuyT.cpp.gcov bytes=41
    + ./souffletlzGUc.cpp.gcov bytes=41
    + ./souffleUhYRmg.cpp.gcov bytes=41
    + ./souffle0tWnIr.cpp.gcov bytes=41
    + ./souffleDsfSeE.cpp.gcov bytes=41
    + ./soufflePogXQZ.cpp.gcov bytes=41
    + ./souffleKw7x1G.cpp.gcov bytes=41
    + ./souffleDIViPX.cpp.gcov bytes=41
    + ./souffle2SiJaX.cpp.gcov bytes=41
    + ./soufflebdIfGm.cpp.gcov bytes=41
    + ./souffle14JIZy.cpp.gcov bytes=41
    + ./soufflemsKmQn.cpp.gcov bytes=41
    + ./souffleg3qlLF.cpp.gcov bytes=41
    + ./souffleBxtSes.cpp.gcov bytes=41
    + ./souffle0Syk3a.cpp.gcov bytes=41
    + ./souffleKr0E3o.cpp.gcov bytes=41
    + ./souffleEpr5PX.cpp.gcov bytes=41
    + ./souffleGbf5hj.cpp.gcov bytes=41
    + ./souffleqgE6At.cpp.gcov bytes=41
    + ./soufflezwf7E2.cpp.gcov bytes=41
    + ./souffle4ZBmco.cpp.gcov bytes=41
    + ./soufflecjFh2G.cpp.gcov bytes=41
    + ./souffleBvpWAL.cpp.gcov bytes=41
    + ./souffledW1gAT.cpp.gcov bytes=41
    + ./souffleNsGm2b.cpp.gcov bytes=41
    + ./souffleJ3Y2mJ.cpp.gcov bytes=41
    + ./souffleOMl6mX.cpp.gcov bytes=41
    + ./soufflewT8ZEb.cpp.gcov bytes=41
    + ./soufflewXu7Vo.cpp.gcov bytes=41
    + ./souffled6l2tV.cpp.gcov bytes=41
    + ./souffleB38oDM.cpp.gcov bytes=41
    + ./souffleczcoR5.cpp.gcov bytes=41
    + ./souffleqFjNyX.cpp.gcov bytes=41
    + ./souffledjluC1.cpp.gcov bytes=41
    + ./soufflenugfXa.cpp.gcov bytes=41
    + ./soufflekOPTsY.cpp.gcov bytes=41
    + ./soufflenq152G.cpp.gcov bytes=41
    + ./souffleMjifQH.cpp.gcov bytes=41
    + ./souffleTKSTq0.cpp.gcov bytes=41
    + ./souffletobTDb.cpp.gcov bytes=41
    + ./soufflebjSfH9.cpp.gcov bytes=41
    + ./soufflesyE45i.cpp.gcov bytes=41
    + ./soufflevU7emV.cpp.gcov bytes=41
    + ./soufflequZgbC.cpp.gcov bytes=41
    + ./soufflejgrfLP.cpp.gcov bytes=41
    + ./souffletVeVWM.cpp.gcov bytes=41
    + ./souffleLAYwgI.cpp.gcov bytes=41
    + ./soufflexsom2e.cpp.gcov bytes=41
    + ./souffle5ySORl.cpp.gcov bytes=41
    + ./souffle69pa1u.cpp.gcov bytes=41
    + ./souffle4EcIyn.cpp.gcov bytes=41
    + ./souffleeXmEac.cpp.gcov bytes=41
    + ./souffleuTC75w.cpp.gcov bytes=41
    + ./souffleEPjfk5.cpp.gcov bytes=41
    + ./souffleA5WUKF.cpp.gcov bytes=41
    + ./soufflePy2asI.cpp.gcov bytes=41
    + ./souffleuoLfFA.cpp.gcov bytes=41
    + ./souffleGTJLBk.cpp.gcov bytes=41
    + ./souffleUszSjr.cpp.gcov bytes=41
    + ./soufflegxTjX4.cpp.gcov bytes=41
    + ./soufflesJ8Kwr.cpp.gcov bytes=41
    + ./souffley6BdXq.cpp.gcov bytes=41
    + ./soufflefEcBuU.cpp.gcov bytes=41
    + ./souffleshxUME.cpp.gcov bytes=41
    + ./soufflev62saY.cpp.gcov bytes=41
    + ./souffleM5IXRM.cpp.gcov bytes=41
    + ./souffled3zXAS.cpp.gcov bytes=41
    + ./soufflehcaDqw.cpp.gcov bytes=41
    + ./souffleCLj7oP.cpp.gcov bytes=41
    + ./souffleIvOrx1.cpp.gcov bytes=41
    + ./souffleymQjgZ.cpp.gcov bytes=41
    + ./soufflezbp9nO.cpp.gcov bytes=41
    + ./soufflekRwPBc.cpp.gcov bytes=41
    + ./soufflevmsLd1.cpp.gcov bytes=41
    + ./souffleIifSiO.cpp.gcov bytes=41
    + ./souffleqneNT7.cpp.gcov bytes=41
    + ./souffleQ1qX0x.cpp.gcov bytes=41
    + ./souffleiC5hxE.cpp.gcov bytes=41
    + ./souffleY3rW8G.cpp.gcov bytes=41
    + ./souffleZ3Y6Ns.cpp.gcov bytes=41
    + ./insert_print.cpp.gcov bytes=40
    + ./#souffle#tests#interface#insert_print#driver.cpp.gcov bytes=7457
    + ./insert_for.cpp.gcov bytes=38
    + ./#souffle#tests#interface#insert_for#driver.cpp.gcov bytes=9957
    + ./repeat_analysis.cpp.gcov bytes=43
    + ./#souffle#tests#interface#repeat_analysis#driver.cpp.gcov bytes=11876
    + ./load_print.cpp.gcov bytes=38
    + ./#souffle#tests#interface#load_print#driver.cpp.gcov bytes=4365
    + ./#souffle#tests#interface#signal_error#driver.cpp.gcov bytes=3115
    + ./signal_error.cpp.gcov bytes=40
    + ./souffleZeDMcy.cpp.gcov bytes=41
    + ./soufflecDynR5.cpp.gcov bytes=41
    + ./#souffle#src#include#souffle#profile#Logger.h.gcov bytes=82342
    + ./#souffle#src#include#souffle#profile#ProfileEvent.h.gcov bytes=318590
    + ./soufflecsUwjD.cpp.gcov bytes=41
    + ./souffleE3U8y3.cpp.gcov bytes=41
    + ./souffleu7iz5x.cpp.gcov bytes=41
    + ./souffletoler0.cpp.gcov bytes=41
    + ./souffleKYCmOt.cpp.gcov bytes=41
    + ./souffleboFUnW.cpp.gcov bytes=41
    + ./souffleR1OAsr.cpp.gcov bytes=41
    + ./souffleg8YwIQ.cpp.gcov bytes=41
    + ./soufflekSalXj.cpp.gcov bytes=41
    + ./soufflehHjZiU.cpp.gcov bytes=41
    + ./soufflevXW3T1.cpp.gcov bytes=41
    + ./souffleZtFqR7.cpp.gcov bytes=41
    + ./soufflenjtu6h.cpp.gcov bytes=41
    + ./souffleAYaRAl.cpp.gcov bytes=41
    + ./souffleexb3Ov.cpp.gcov bytes=41
    + ./souffleabHgPz.cpp.gcov bytes=41
    + ./soufflemQgFYE.cpp.gcov bytes=41
    + ./soufflewmCleM.cpp.gcov bytes=41
    + ./souffleypFywS.cpp.gcov bytes=41
    + ./souffleiOqDcp.cpp.gcov bytes=41
    + ./#souffle#src#include#souffle#provenance#ExplainProvenanceImpl.h.gcov bytes=1657528
    + ./#souffle#src#include#souffle#provenance#ExplainProvenance.h.gcov bytes=199702
    + ./#souffle#src#include#souffle#provenance#ExplainTree.h.gcov bytes=222436
    + ./#souffle#src#include#souffle#provenance#Explain.h.gcov bytes=951728
    + ./#souffle#src#include#souffle#BinaryConstraintOps.h.gcov bytes=53726
    + ./souffleb9tRxV.cpp.gcov bytes=41
    + ./souffleM1amXL.cpp.gcov bytes=41
    + ./soufflewvFBfp.cpp.gcov bytes=41
    + ./souffle6hBdqD.cpp.gcov bytes=41
    + ./souffleufwU1W.cpp.gcov bytes=41
    + ./souffleCHA1GL.cpp.gcov bytes=41
    + ./souffleBw0oVL.cpp.gcov bytes=41
    + ./souffletNlVey.cpp.gcov bytes=41
    + ./souffleOstQ5z.cpp.gcov bytes=41
    + ./souffleJW4wuF.cpp.gcov bytes=41
    + ./souffleqGr4eH.cpp.gcov bytes=41
    + ./souffleTWQW7F.cpp.gcov bytes=41
    + ./souffleM8FQ8r.cpp.gcov bytes=41
    + ./soufflerdvlaP.cpp.gcov bytes=41
==> Appending adjustments
    https://docs.codecov.io/docs/fixing-reports
    + Found adjustments
==> Gzipping contents
==> Uploading reports
    url: https://codecov.io
    query: branch=origin%2Fmaster&commit=994288cd7d9abd3be339ab91de7c93e1c713fa93&build=158&build_url=http%3A%2F%2Fplang1.it.usyd.edu.au%2Fjenkins%2Fjob%2FMaster-Coverage-Combined%2F158%2F&name=&tag=&slug=souffle-lang%2Fsouffle&service=jenkins&flags=full&pr=&job=&cmd_args=K,Z,F
->  Pinging Codecov
https://codecov.io/upload/v4?package=bash-20200917-4e8f14b&token=secret&branch=origin%2Fmaster&commit=994288cd7d9abd3be339ab91de7c93e1c713fa93&build=158&build_url=http%3A%2F%2Fplang1.it.usyd.edu.au%2Fjenkins%2Fjob%2FMaster-Coverage-Combined%2F158%2F&name=&tag=&slug=souffle-lang%2Fsouffle&service=jenkins&flags=full&pr=&job=&cmd_args=K,Z,F
->  Uploading to
https://storage.googleapis.com/codecov/v4/raw/2020-09-27/93BCA22FDB78F81B8920F6C5E6E1BC0E/994288cd7d9abd3be339ab91de7c93e1c713fa93/a8fc70bf-308f-4df0-85a9-2dae491aadcf.txt?X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=GOOG1EQX6OZVJGHKK3633AAFGLBUCOOATRACRQRQF6HMSMLYUP6EAD6XSWAAY%2F20200927%2FUS%2Fs3%2Faws4_request&X-Amz-Date=20200927T060736Z&X-Amz-Expires=10&X-Amz-SignedHeaders=host&X-Amz-Signature=7cb358955e98e66047f123a2c2f456fe71be634ae074c327cd6874e041aafe6e
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
 69 12.8M    0     0   69 9184k      0  16.4M --:--:-- --:--:-- --:--:-- 16.4M
100 12.8M    0     0  100 12.8M      0  5837k  0:00:02  0:00:02 --:--:-- 5837k
100 12.8M    0     0  100 12.8M      0  4778k  0:00:02  0:00:02 --:--:-- 4776k
100 12.8M    0     0  100 12.8M      0  4776k  0:00:02  0:00:02 --:--:-- 4776k
    -> View reports at https://codecov.io/github/souffle-lang/souffle/commit/994288cd7d9abd3be339ab91de7c93e1c713fa93
[Checks API] No suitable checks publisher found.
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] done
Finished: SUCCESS