SuccessConsole Output

Skipping 318 KB.. Full Log
/alloc_traits.h'
Lines executed:81.48% of 27
No branches
No calls
Creating '#usr#include#c++#9#bits#alloc_traits.h.gcov'

File '/usr/include/c++/9/bits/stl_function.h'
Lines executed:100.00% of 14
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_function.h.gcov'

File '/usr/include/c++/9/bits/stl_vector.h'
Lines executed:95.97% of 248
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:63.64% of 11
Creating '#usr#include#c++#9#bits#stl_vector.h.gcov'

File '/usr/include/c++/9/bits/stl_construct.h'
Lines executed:100.00% of 15
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_construct.h.gcov'

File '/usr/include/c++/9/bits/stl_iterator_base_funcs.h'
Lines executed:93.55% of 31
No branches
Calls executed:100.00% of 1
Creating '#usr#include#c++#9#bits#stl_iterator_base_funcs.h.gcov'

File '/usr/include/c++/9/bits/stl_iterator_base_types.h'
Lines executed:100.00% of 2
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_iterator_base_types.h.gcov'

File '/usr/include/c++/9/ext/type_traits.h'
Lines executed:100.00% of 4
No branches
No calls
Creating '#usr#include#c++#9#ext#type_traits.h.gcov'

File '/usr/include/c++/9/bits/stl_deque.h'
Lines executed:93.61% of 219
Branches executed:100.00% of 12
Taken at least once:50.00% of 12
Calls executed:87.50% of 40
Creating '#usr#include#c++#9#bits#stl_deque.h.gcov'

File '/usr/include/c++/9/bits/basic_string.tcc'
Lines executed:82.93% of 41
No branches
No calls
Creating '#usr#include#c++#9#bits#basic_string.tcc.gcov'

File '/usr/include/c++/9/bits/predefined_ops.h'
Lines executed:91.55% of 71
No branches
Calls executed:100.00% of 4
Creating '#usr#include#c++#9#bits#predefined_ops.h.gcov'

File 'include/souffle/utility/StreamUtil.h'
Lines executed:95.45% of 44
No branches
Calls executed:27.27% of 11
Creating 'include#souffle#utility#StreamUtil.h.gcov'

File '/usr/include/c++/9/bits/vector.tcc'
Lines executed:78.35% of 231
Branches executed:75.00% of 24
Taken at least once:45.83% of 24
Calls executed:70.00% of 40
Creating '#usr#include#c++#9#bits#vector.tcc.gcov'

File '/usr/include/c++/9/bits/stl_map.h'
Lines executed:91.30% of 69
No branches
Calls executed:100.00% of 1
Creating '#usr#include#c++#9#bits#stl_map.h.gcov'

File '/usr/include/c++/9/bits/stl_iterator.h'
Lines executed:89.52% of 105
No branches
Calls executed:60.00% of 10
Creating '#usr#include#c++#9#bits#stl_iterator.h.gcov'

File 'reports/DebugReport.h'
Lines executed:100.00% of 21
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:92.31% of 13
Creating 'reports#DebugReport.h.gcov'

File '/usr/include/c++/9/bits/basic_string.h'
Lines executed:95.29% of 85
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:75.00% of 4
Creating '#usr#include#c++#9#bits#basic_string.h.gcov'

File '/usr/include/c++/9/bits/stl_algo.h'
Lines executed:43.07% of 476
Branches executed:64.86% of 74
Taken at least once:45.95% of 74
Calls executed:58.82% of 68
Creating '#usr#include#c++#9#bits#stl_algo.h.gcov'

File 'include/souffle/utility/MiscUtil.h'
Lines executed:84.38% of 32
Branches executed:100.00% of 4
Taken at least once:50.00% of 4
Calls executed:81.82% of 11
Creating 'include#souffle#utility#MiscUtil.h.gcov'

File 'include/souffle/utility/ContainerUtil.h'
Lines executed:94.92% of 118
Branches executed:75.00% of 8
Taken at least once:50.00% of 8
Calls executed:72.73% of 11
Creating 'include#souffle#utility#ContainerUtil.h.gcov'

File 'Global.h'
Lines executed:90.48% of 21
No branches
Calls executed:100.00% of 2
Creating 'Global.h.gcov'

File '/usr/include/c++/9/bits/allocator.h'
Lines executed:71.43% of 7
No branches
No calls
Creating '#usr#include#c++#9#bits#allocator.h.gcov'

File '/usr/include/c++/9/ext/alloc_traits.h'
Lines executed:75.00% of 8
No branches
No calls
Creating '#usr#include#c++#9#ext#alloc_traits.h.gcov'

File '/usr/include/c++/9/bits/stl_set.h'
Lines executed:100.00% of 54
No branches
Calls executed:100.00% of 2
Creating '#usr#include#c++#9#bits#stl_set.h.gcov'

File 'ast/TranslationUnit.h'
Lines executed:100.00% of 28
No branches
Calls executed:100.00% of 3
Creating 'ast#TranslationUnit.h.gcov'

File '/usr/include/c++/9/bits/stl_stack.h'
Lines executed:100.00% of 15
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_stack.h.gcov'

File '/usr/include/c++/9/ext/string_conversions.h'
Lines executed:100.00% of 23
No branches
No calls
Creating '#usr#include#c++#9#ext#string_conversions.h.gcov'

File '/usr/include/c++/9/bits/char_traits.h'
Lines executed:47.62% of 42
No branches
No calls
Creating '#usr#include#c++#9#bits#char_traits.h.gcov'

File 'ast/analysis/SCCGraph.h'
Lines executed:100.00% of 30
Branches executed:100.00% of 20
Taken at least once:70.00% of 20
Calls executed:100.00% of 19
Creating 'ast#analysis#SCCGraph.h.gcov'

File 'ast/Relation.h'
Lines executed:94.64% of 56
No branches
Calls executed:100.00% of 2
Creating 'ast#Relation.h.gcov'

File 'ast/QualifiedName.h'
Lines executed:100.00% of 38
Branches executed:100.00% of 4
Taken at least once:50.00% of 4
Calls executed:83.33% of 6
Creating 'ast#QualifiedName.h.gcov'

File 'ast/analysis/Analysis.h'
Lines executed:100.00% of 5
No branches
No calls
Creating 'ast#analysis#Analysis.h.gcov'

File '/usr/include/c++/9/new'
Lines executed:66.67% of 3
No branches
No calls
Creating '#usr#include#c++#9#new.gcov'

File 'ast/analysis/SumTypeBranches.cpp'
Lines executed:100.00% of 9
Branches executed:100.00% of 18
Taken at least once:55.56% of 18
Calls executed:86.36% of 22
Creating 'ast#analysis#SumTypeBranches.cpp.gcov'

File '/usr/include/c++/9/bits/std_function.h'
Lines executed:92.71% of 96
No branches
No calls
Creating '#usr#include#c++#9#bits#std_function.h.gcov'

File 'ast/utility/Visitor.h'
Lines executed:77.12% of 118
Branches executed:100.00% of 18
Taken at least once:61.11% of 18
Calls executed:88.00% of 25
Creating 'ast#utility#Visitor.h.gcov'

File 'ast/analysis/TypeSystem.h'
Lines executed:90.38% of 156
Branches executed:82.35% of 68
Taken at least once:51.47% of 68
Calls executed:78.00% of 100
Creating 'ast#analysis#TypeSystem.h.gcov'

File 'ast/analysis/SumTypeBranches.h'
Lines executed:100.00% of 7
No branches
Calls executed:100.00% of 2
Creating 'ast#analysis#SumTypeBranches.h.gcov'

File 'include/souffle/utility/tinyformat.h'
Lines executed:43.51% of 262
No branches
No calls
Creating 'include#souffle#utility#tinyformat.h.gcov'

File '/usr/include/c++/9/initializer_list'
Lines executed:100.00% of 3
No branches
No calls
Creating '#usr#include#c++#9#initializer_list.gcov'

File 'include/souffle/utility/FunctionalUtil.h'
Lines executed:100.00% of 11
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:85.71% of 7
Creating 'include#souffle#utility#FunctionalUtil.h.gcov'

File 'ast/analysis/TypeEnvironment.h'
Lines executed:100.00% of 7
No branches
Calls executed:100.00% of 1
Creating 'ast#analysis#TypeEnvironment.h.gcov'

File 'ast/Program.h'
Lines executed:70.64% of 109
Branches executed:80.00% of 100
Taken at least once:54.00% of 100
Calls executed:70.73% of 205
Creating 'ast#Program.h.gcov'

File 'ast/AlgebraicDataType.h'
Lines executed:64.29% of 14
Branches executed:45.45% of 22
Taken at least once:22.73% of 22
Calls executed:46.51% of 43
Creating 'ast#AlgebraicDataType.h.gcov'

File 'ast/BranchDeclaration.h'
Lines executed:81.82% of 11
Branches executed:57.14% of 14
Taken at least once:28.57% of 14
Calls executed:51.52% of 33
Creating 'ast#BranchDeclaration.h.gcov'

File 'ast/Type.h'
Lines executed:100.00% of 6
No branches
Calls executed:100.00% of 2
Creating 'ast#Type.h.gcov'

File '/usr/include/c++/9/bits/ios_base.h'
Lines executed:85.96% of 57
No branches
Calls executed:50.00% of 2
Creating '#usr#include#c++#9#bits#ios_base.h.gcov'

File '/usr/include/c++/9/typeinfo'
Lines executed:75.00% of 8
No branches
No calls
Creating '#usr#include#c++#9#typeinfo.gcov'

File 'ast/analysis/RelationSchedule.cpp'
Lines executed:100.00% of 59
Branches executed:100.00% of 90
Taken at least once:62.22% of 90
Calls executed:97.54% of 122
Creating 'ast#analysis#RelationSchedule.cpp.gcov'

File 'ast/analysis/RelationSchedule.h'
Lines executed:100.00% of 15
No branches
Calls executed:100.00% of 5
Creating 'ast#analysis#RelationSchedule.h.gcov'

File 'GraphUtils.h'
Lines executed:95.29% of 85
Branches executed:100.00% of 20
Taken at least once:80.00% of 20
Calls executed:100.00% of 7
Creating 'GraphUtils.h.gcov'

File 'ast/analysis/PrecedenceGraph.h'
Lines executed:100.00% of 3
No branches
No calls
Creating 'ast#analysis#PrecedenceGraph.h.gcov'

File 'ast/analysis/RedundantRelations.cpp'
Lines executed:100.00% of 25
Branches executed:100.00% of 38
Taken at least once:68.42% of 38
Calls executed:93.18% of 44
Creating 'ast#analysis#RedundantRelations.cpp.gcov'

File 'ast/analysis/RedundantRelations.h'
Lines executed:100.00% of 3
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:85.71% of 7
Creating 'ast#analysis#RedundantRelations.h.gcov'

File 'ast/analysis/IOType.h'
Lines executed:93.75% of 16
Branches executed:100.00% of 4
Taken at least once:50.00% of 4
Calls executed:100.00% of 5
Creating 'ast#analysis#IOType.h.gcov'

File 'ast/Node.h'
Lines executed:100.00% of 23
No branches
No calls
Creating 'ast#Node.h.gcov'

File 'ast/analysis/RecursiveClauses.cpp'
Lines executed:100.00% of 35
Branches executed:100.00% of 42
Taken at least once:71.43% of 42
Calls executed:89.13% of 46
Creating 'ast#analysis#RecursiveClauses.cpp.gcov'

File 'ast/analysis/RecursiveClauses.h'
Lines executed:100.00% of 3
No branches
No calls
Creating 'ast#analysis#RecursiveClauses.h.gcov'

File 'ast/utility/Utils.h'
Lines executed:100.00% of 6
No branches
No calls
Creating 'ast#utility#Utils.h.gcov'

File 'ast/analysis/RelationDetailCache.h'
Lines executed:91.67% of 12
No branches
No calls
Creating 'ast#analysis#RelationDetailCache.h.gcov'

File 'ast/Clause.h'
Lines executed:100.00% of 49
No branches
Calls executed:100.00% of 1
Creating 'ast#Clause.h.gcov'

File 'ast/Atom.h'
Lines executed:100.00% of 31
No branches
No calls
Creating 'ast#Atom.h.gcov'

File 'ast/analysis/ProfileUse.cpp'
Lines executed:0.00% of 12
Branches executed:0.00% of 26
Taken at least once:0.00% of 26
Calls executed:0.00% of 39
Creating 'ast#analysis#ProfileUse.cpp.gcov'

File '/usr/include/c++/9/bits/shared_ptr_base.h'
Lines executed:90.68% of 118
No branches
No calls
Creating '#usr#include#c++#9#bits#shared_ptr_base.h.gcov'

File 'include/souffle/profile/Rule.h'
Lines executed:86.36% of 44
No branches
No calls
Creating 'include#souffle#profile#Rule.h.gcov'

File 'include/souffle/profile/Iteration.h'
Lines executed:90.32% of 31
No branches
No calls
Creating 'include#souffle#profile#Iteration.h.gcov'

File 'include/souffle/profile/Relation.h'
Lines executed:91.11% of 90
No branches
No calls
Creating 'include#souffle#profile#Relation.h.gcov'

File 'include/souffle/utility/json11.h'
Lines executed:58.93% of 448
Branches executed:100.00% of 4
Taken at least once:50.00% of 4
Calls executed:84.62% of 26
Creating 'include#souffle#utility#json11.h.gcov'

File 'include/souffle/profile/Reader.h'
Lines executed:92.13% of 178
Branches executed:0.00% of 2
Taken at least once:0.00% of 2
Calls executed:0.00% of 8
Creating 'include#souffle#profile#Reader.h.gcov'

File 'include/souffle/profile/StringUtils.h'
Lines executed:50.00% of 136
Branches executed:0.00% of 16
Taken at least once:0.00% of 16
Calls executed:0.00% of 15
Creating 'include#souffle#profile#StringUtils.h.gcov'

File 'include/souffle/profile/EventProcessor.h'
Lines executed:82.52% of 309
Branches executed:79.03% of 124
Taken at least once:48.39% of 124
Calls executed:77.91% of 86
Creating 'include#souffle#profile#EventProcessor.h.gcov'

File 'ast/analysis/ProfileUse.h'
Lines executed:0.00% of 2
Branches executed:0.00% of 6
Taken at least once:0.00% of 6
Calls executed:0.00% of 12
Creating 'ast#analysis#ProfileUse.h.gcov'

File '/usr/include/c++/9/bits/shared_ptr.h'
Lines executed:80.65% of 31
No branches
Calls executed:0.00% of 3
Creating '#usr#include#c++#9#bits#shared_ptr.h.gcov'

File '/usr/include/c++/9/bits/ptr_traits.h'
Lines executed:100.00% of 4
No branches
No calls
Creating '#usr#include#c++#9#bits#ptr_traits.h.gcov'

File '/usr/include/c++/9/bits/allocated_ptr.h'
Lines executed:100.00% of 13
No branches
No calls
Creating '#usr#include#c++#9#bits#allocated_ptr.h.gcov'

File '/usr/include/c++/9/bits/streambuf_iterator.h'
Lines executed:100.00% of 29
No branches
No calls
Creating '#usr#include#c++#9#bits#streambuf_iterator.h.gcov'

File '/usr/include/c++/9/bits/hashtable_policy.h'
Lines executed:92.95% of 241
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:96.15% of 26
Creating '#usr#include#c++#9#bits#hashtable_policy.h.gcov'

File '/usr/include/c++/9/utility'
Lines executed:100.00% of 12
No branches
No calls
Creating '#usr#include#c++#9#utility.gcov'

File '/usr/include/c++/9/bits/hashtable.h'
Lines executed:84.07% of 339
Branches executed:83.33% of 12
Taken at least once:58.33% of 12
Calls executed:55.22% of 67
Creating '#usr#include#c++#9#bits#hashtable.h.gcov'

File 'include/souffle/profile/ProfileDatabase.h'
Lines executed:84.26% of 197
No branches
No calls
Creating 'include#souffle#profile#ProfileDatabase.h.gcov'

File '/usr/include/c++/9/chrono'
Lines executed:74.58% of 59
Branches executed:50.00% of 4
Taken at least once:25.00% of 4
Calls executed:30.00% of 10
Creating '#usr#include#c++#9#chrono.gcov'

File '/usr/include/c++/9/bits/unordered_map.h'
Lines executed:100.00% of 41
No branches
Calls executed:100.00% of 5
Creating '#usr#include#c++#9#bits#unordered_map.h.gcov'

File '/usr/include/c++/9/bits/postypes.h'
Lines executed:100.00% of 2
No branches
No calls
Creating '#usr#include#c++#9#bits#postypes.h.gcov'

File '/usr/include/c++/9/bits/atomic_base.h'
Lines executed:100.00% of 50
No branches
Calls executed:45.33% of 75
Creating '#usr#include#c++#9#bits#atomic_base.h.gcov'

File '/usr/include/c++/9/bits/std_mutex.h'
Lines executed:93.75% of 16
No branches
No calls
Creating '#usr#include#c++#9#bits#std_mutex.h.gcov'

File 'include/souffle/profile/ProfileEvent.h'
Lines executed:97.83% of 92
Branches executed:100.00% of 34
Taken at least once:55.88% of 34
Calls executed:94.64% of 56
Creating 'include#souffle#profile#ProfileEvent.h.gcov'

File '/usr/include/c++/9/thread'
Lines executed:74.42% of 43
Branches executed:0.00% of 18
Taken at least once:0.00% of 18
Calls executed:0.00% of 8
Creating '#usr#include#c++#9#thread.gcov'

File '/usr/include/c++/9/atomic'
Lines executed:100.00% of 21
No branches
Calls executed:100.00% of 2
Creating '#usr#include#c++#9#atomic.gcov'

File 'include/souffle/profile/ProgramRun.h'
Lines executed:78.43% of 51
Branches executed:0.00% of 10
Taken at least once:0.00% of 10
Calls executed:0.00% of 13
Creating 'include#souffle#profile#ProgramRun.h.gcov'

File '/usr/include/c++/9/cmath'
Lines executed:75.00% of 8
No branches
No calls
Creating '#usr#include#c++#9#cmath.gcov'

File '/usr/include/c++/9/bits/functional_hash.h'
Lines executed:100.00% of 7
No branches
No calls
Creating '#usr#include#c++#9#bits#functional_hash.h.gcov'

File '/usr/include/c++/9/limits'
Lines executed:83.33% of 6
No branches
No calls
Creating '#usr#include#c++#9#limits.gcov'

File '/usr/include/c++/9/ext/atomicity.h'
Lines executed:57.89% of 19
No branches
No calls
Creating '#usr#include#c++#9#ext#atomicity.h.gcov'

File '/usr/include/x86_64-linux-gnu/c++/9/bits/gthr-default.h'
Lines executed:83.33% of 12
No branches
Calls executed:100.00% of 1
Creating '#usr#include#x86_64-linux-gnu#c++#9#bits#gthr-default.h.gcov'

File 'ast/analysis/PolymorphicObjects.cpp'
Lines executed:100.00% of 14
No branches
Calls executed:100.00% of 6
Creating 'ast#analysis#PolymorphicObjects.cpp.gcov'

File 'ast/analysis/PolymorphicObjects.h'
Lines executed:100.00% of 1
No branches
No calls
Creating 'ast#analysis#PolymorphicObjects.h.gcov'

File 'ast/analysis/Type.h'
Lines executed:100.00% of 3
No branches
No calls
Creating 'ast#analysis#Type.h.gcov'

File 'ast/analysis/IOType.cpp'
Lines executed:100.00% of 26
Branches executed:95.06% of 81
Taken at least once:50.62% of 81
Calls executed:72.29% of 83
Creating 'ast#analysis#IOType.cpp.gcov'

File 'ast/Directive.h'
Lines executed:90.48% of 42
No branches
No calls
Creating 'ast#Directive.h.gcov'

File 'ast/analysis/Ground.cpp'
Lines executed:93.55% of 93
Branches executed:92.54% of 134
Taken at least once:57.46% of 134
Calls executed:74.49% of 196
Creating 'ast#analysis#Ground.cpp.gcov'

File 'ast/analysis/Constraint.h'
Lines executed:100.00% of 29
No branches
No calls
Creating 'ast#analysis#Constraint.h.gcov'

File 'ast/analysis/ConstraintSystem.h'
Lines executed:94.74% of 57
No branches
No calls
Creating 'ast#analysis#ConstraintSystem.h.gcov'

File 'ast/Variable.h'
Lines executed:100.00% of 14
No branches
No calls
Creating 'ast#Variable.h.gcov'

File 'ast/TypeCast.h'
Lines executed:87.50% of 24
No branches
Calls executed:0.00% of 1
Creating 'ast#TypeCast.h.gcov'

File 'ast/Negation.h'
Lines executed:100.00% of 17
No branches
No calls
Creating 'ast#Negation.h.gcov'

File 'ast/Term.h'
Lines executed:89.29% of 28
No branches
Calls executed:0.00% of 2
Creating 'ast#Term.h.gcov'

File 'ast/BinaryConstraint.h'
Lines executed:100.00% of 36
No branches
No calls
Creating 'ast#BinaryConstraint.h.gcov'

File 'include/souffle/BinaryConstraintOps.h'
Lines executed:72.67% of 172
Branches executed:86.16% of 159
Taken at least once:59.75% of 159
Calls executed:51.18% of 127
Creating 'include#souffle#BinaryConstraintOps.h.gcov'

File 'ast/analysis/Functor.cpp'
Lines executed:100.00% of 13
No branches
Calls executed:100.00% of 6
Creating 'ast#analysis#Functor.cpp.gcov'

File 'ast/analysis/Functor.h'
Lines executed:100.00% of 2
No branches
No calls
Creating 'ast#analysis#Functor.h.gcov'

File 'ast/analysis/ComponentLookup.cpp'
Lines executed:93.33% of 30
Branches executed:100.00% of 52
Taken at least once:65.38% of 52
Calls executed:91.67% of 60
Creating 'ast#analysis#ComponentLookup.cpp.gcov'

File 'ast/analysis/ComponentLookup.h'
Lines executed:100.00% of 17
No branches
No calls
Creating 'ast#analysis#ComponentLookup.h.gcov'

File 'include/souffle/utility/StringUtil.h'
Lines executed:96.10% of 154
Branches executed:100.00% of 62
Taken at least once:62.90% of 62
Calls executed:80.25% of 81
Creating 'include#souffle#utility#StringUtil.h.gcov'

File 'ast/Component.h'
Lines executed:62.41% of 133
Branches executed:53.85% of 104
Taken at least once:33.65% of 104
Calls executed:41.01% of 217
Creating 'ast#Component.h.gcov'

File 'ast/ComponentType.h'
Lines executed:81.25% of 16
Branches executed:80.00% of 20
Taken at least once:45.00% of 20
Calls executed:77.78% of 36
Creating 'ast#ComponentType.h.gcov'

File 'ast/analysis/ClauseNormalisation.cpp'
Lines executed:100.00% of 99
Branches executed:100.00% of 264
Taken at least once:56.82% of 264
Calls executed:78.17% of 284
Creating 'ast#analysis#ClauseNormalisation.cpp.gcov'

File 'ast/analysis/ClauseNormalisation.h'
Lines executed:100.00% of 10
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:90.00% of 10
Creating 'ast#analysis#ClauseNormalisation.h.gcov'

File 'ast/Aggregator.h'
Lines executed:100.00% of 45
No branches
No calls
Creating 'ast#Aggregator.h.gcov'

File 'AggregateOp.h'
Lines executed:85.00% of 40
Branches executed:100.00% of 28
Taken at least once:78.57% of 28
Calls executed:28.57% of 7
Creating 'AggregateOp.h.gcov'

File 'ast/analysis/Aggregate.cpp'
Lines executed:100.00% of 131
Branches executed:100.00% of 248
Taken at least once:64.52% of 248
Calls executed:85.84% of 346
Creating 'ast#analysis#Aggregate.cpp.gcov'

File 'ast/utility/NodeMapper.h'
Lines executed:100.00% of 5
No branches
No calls
Creating 'ast#utility#NodeMapper.h.gcov'

File 'ast/Literal.h'
No executable lines
No branches
No calls
Removing 'ast#Literal.h.gcov'

File 'parser/SrcLocation.h'
Lines executed:100.00% of 13
Branches executed:100.00% of 6
Taken at least once:100.00% of 6
Calls executed:100.00% of 5
Creating 'parser#SrcLocation.h.gcov'

File 'ast/Argument.h'
No executable lines
No branches
No calls
Removing 'ast#Argument.h.gcov'

File 'ast/analysis/TypeEnvironment.cpp'
Lines executed:97.98% of 99
Branches executed:98.77% of 162
Taken at least once:67.90% of 162
Calls executed:88.00% of 200
Creating 'ast#analysis#TypeEnvironment.cpp.gcov'

File '/usr/include/c++/9/bits/stl_heap.h'
Lines executed:0.00% of 48
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_heap.h.gcov'

File 'ast/UnionType.h'
Lines executed:80.00% of 15
Branches executed:75.00% of 16
Taken at least once:37.50% of 16
Calls executed:76.74% of 43
Creating 'ast#UnionType.h.gcov'

File 'ast/SubsetType.h'
Lines executed:75.00% of 12
No branches
No calls
Creating 'ast#SubsetType.h.gcov'

File 'ast/RecordType.h'
Lines executed:80.00% of 15
Branches executed:70.00% of 20
Taken at least once:35.00% of 20
Calls executed:74.47% of 47
Creating 'ast#RecordType.h.gcov'

File 'ast/Attribute.h'
Lines executed:82.35% of 17
No branches
Calls executed:100.00% of 2
Creating 'ast#Attribute.h.gcov'

File 'ast/analysis/TypeSystem.cpp'
Lines executed:73.45% of 177
Branches executed:75.86% of 232
Taken at least once:50.00% of 232
Calls executed:66.05% of 271
Creating 'ast#analysis#TypeSystem.cpp.gcov'

File '/usr/include/c++/9/optional'
Lines executed:91.30% of 69
Branches executed:100.00% of 2
Taken at least once:100.00% of 2
Calls executed:100.00% of 13
Creating '#usr#include#c++#9#optional.gcov'

File 'ast/analysis/TypeConstraints.cpp'
Lines executed:99.37% of 316
Branches executed:100.00% of 594
Taken at least once:63.30% of 594
Calls executed:85.29% of 612
Creating 'ast#analysis#TypeConstraints.cpp.gcov'

File 'ast/analysis/TypeConstraints.h'
Lines executed:100.00% of 9
Branches executed:100.00% of 14
Taken at least once:57.14% of 14
Calls executed:85.71% of 14
Creating 'ast#analysis#TypeConstraints.h.gcov'

File '/usr/include/c++/9/bits/refwrap.h'
Lines executed:100.00% of 8
No branches
Calls executed:100.00% of 3
Creating '#usr#include#c++#9#bits#refwrap.h.gcov'

File 'ast/NumericConstant.h'
Lines executed:100.00% of 24
No branches
Calls executed:100.00% of 12
Creating 'ast#NumericConstant.h.gcov'

File 'ast/IntrinsicFunctor.h'
Lines executed:100.00% of 36
No branches
No calls
Creating 'ast#IntrinsicFunctor.h.gcov'

File 'ast/Constant.h'
Lines executed:100.00% of 10
No branches
No calls
Creating 'ast#Constant.h.gcov'

File 'ast/BranchInit.h'
Lines executed:100.00% of 12
Branches executed:100.00% of 20
Taken at least once:55.00% of 20
Calls executed:78.38% of 37
Creating 'ast#BranchInit.h.gcov'

File '/usr/include/c++/9/bits/exception.h'
Lines executed:0.00% of 1
No branches
No calls
Creating '#usr#include#c++#9#bits#exception.h.gcov'

File 'ast/analysis/Type.cpp'
Lines executed:95.14% of 247
Branches executed:94.29% of 420
Taken at least once:60.71% of 420
Calls executed:84.25% of 362
Creating 'ast#analysis#Type.cpp.gcov'

File 'ast/UserDefinedFunctor.h'
Lines executed:90.00% of 20
No branches
No calls
Creating 'ast#UserDefinedFunctor.h.gcov'

File 'ast/FunctorDeclaration.h'
Lines executed:74.29% of 35
Branches executed:64.10% of 39
Taken at least once:35.90% of 39
Calls executed:51.22% of 41
Creating 'ast#FunctorDeclaration.h.gcov'

File 'include/souffle/TypeAttribute.h'
Lines executed:66.67% of 9
No branches
No calls
Creating 'include#souffle#TypeAttribute.h.gcov'

File 'ast/analysis/SCCGraph.cpp'
Lines executed:100.00% of 68
Branches executed:100.00% of 158
Taken at least once:60.13% of 158
Calls executed:90.91% of 143
Creating 'ast#analysis#SCCGraph.cpp.gcov'

File '/usr/include/c++/9/bits/deque.tcc'
Lines executed:45.07% of 71
No branches
No calls
Creating '#usr#include#c++#9#bits#deque.tcc.gcov'

File 'include/souffle/utility/FileUtil.h'
Lines executed:88.46% of 104
Branches executed:79.31% of 58
Taken at least once:41.38% of 58
Calls executed:64.71% of 51
Creating 'include#souffle#utility#FileUtil.h.gcov'

File 'ast/analysis/RelationDetailCache.cpp'
Lines executed:100.00% of 19
Branches executed:100.00% of 40
Taken at least once:62.50% of 40
Calls executed:92.59% of 54
Creating 'ast#analysis#RelationDetailCache.cpp.gcov'

File 'ast/analysis/PrecedenceGraph.cpp'
Lines executed:100.00% of 29
Branches executed:100.00% of 68
Taken at least once:60.29% of 68
Calls executed:92.11% of 76
Creating 'ast#analysis#PrecedenceGraph.cpp.gcov'

File 'ast/analysis/AuxArity.cpp'
Lines executed:100.00% of 4
Branches executed:100.00% of 6
Taken at least once:66.67% of 6
Calls executed:75.00% of 8
Creating 'ast#analysis#AuxArity.cpp.gcov'

File 'ast/transform/UniqueAggregationVariables.cpp'
Lines executed:100.00% of 17
Branches executed:100.00% of 22
Taken at least once:63.64% of 22
Calls executed:88.89% of 27
Creating 'ast#transform#UniqueAggregationVariables.cpp.gcov'

File 'ast/transform/UniqueAggregationVariables.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#UniqueAggregationVariables.h.gcov'

File 'ast/transform/Transformer.h'
Lines executed:100.00% of 1
No branches
No calls
Creating 'ast#transform#Transformer.h.gcov'

File 'ast/transform/TypeChecker.cpp'
Lines executed:79.87% of 298
Branches executed:79.54% of 699
Taken at least once:50.36% of 699
Calls executed:59.82% of 886
Creating 'ast#transform#TypeChecker.cpp.gcov'

File 'reports/ErrorReport.h'
Lines executed:100.00% of 82
No branches
Calls executed:100.00% of 2
Creating 'reports#ErrorReport.h.gcov'

File '/usr/include/c++/9/bits/unordered_set.h'
Lines executed:100.00% of 24
No branches
Calls executed:100.00% of 4
Creating '#usr#include#c++#9#bits#unordered_set.h.gcov'

File 'ast/transform/Transformer.cpp'
Lines executed:100.00% of 6
Branches executed:100.00% of 2
Taken at least once:100.00% of 2
Calls executed:100.00% of 4
Creating 'ast#transform#Transformer.cpp.gcov'

File 'ast/transform/SimplifyAggregateTargetExpression.cpp'
Lines executed:42.22% of 45
Branches executed:29.73% of 74
Taken at least once:17.57% of 74
Calls executed:15.84% of 101
Creating 'ast#transform#SimplifyAggregateTargetExpression.cpp.gcov'

File 'ast/transform/SimplifyAggregateTargetExpression.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#SimplifyAggregateTargetExpression.h.gcov'

File 'ast/Constraint.h'
No executable lines
No branches
No calls
Removing 'ast#Constraint.h.gcov'

File 'ast/transform/SemanticChecker.cpp'
Lines executed:97.05% of 440
Branches executed:95.54% of 896
Taken at least once:62.05% of 896
Calls executed:78.18% of 1132
Creating 'ast#transform#SemanticChecker.cpp.gcov'

File 'ast/transform/GroundedTermsChecker.h'
Lines executed:71.43% of 7
No branches
No calls
Creating 'ast#transform#GroundedTermsChecker.h.gcov'

File 'ast/transform/TypeChecker.h'
Lines executed:12.50% of 8
Branches executed:0.00% of 2
Taken at least once:0.00% of 2
Calls executed:0.00% of 7
Creating 'ast#transform#TypeChecker.h.gcov'

File 'ast/transform/SemanticChecker.h'
Lines executed:60.00% of 5
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#SemanticChecker.h.gcov'

File 'ast/ExecutionPlan.h'
Lines executed:71.88% of 32
Branches executed:63.64% of 22
Taken at least once:36.36% of 22
Calls executed:57.89% of 57
Creating 'ast#ExecutionPlan.h.gcov'

File 'ast/ExecutionOrder.h'
Lines executed:100.00% of 13
Branches executed:100.00% of 12
Taken at least once:50.00% of 12
Calls executed:83.87% of 31
Creating 'ast#ExecutionOrder.h.gcov'

File 'ast/transform/ResolveAnonymousRecordAliases.cpp'
Lines executed:97.01% of 67
Branches executed:100.00% of 116
Taken at least once:72.41% of 116
Calls executed:92.47% of 93
Creating 'ast#transform#ResolveAnonymousRecordAliases.cpp.gcov'

File 'ast/transform/ResolveAnonymousRecordAliases.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#ResolveAnonymousRecordAliases.h.gcov'

File 'ast/BooleanConstraint.h'
Lines executed:81.25% of 16
No branches
No calls
Creating 'ast#BooleanConstraint.h.gcov'

File 'ast/transform/ResolveAliases.cpp'
Lines executed:100.00% of 174
Branches executed:100.00% of 296
Taken at least once:66.55% of 296
Calls executed:85.87% of 368
Creating 'ast#transform#ResolveAliases.cpp.gcov'

File 'ast/transform/ResolveAliases.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#ResolveAliases.h.gcov'

File 'ast/transform/ReplaceSingletonVariables.cpp'
Lines executed:100.00% of 38
Branches executed:100.00% of 46
Taken at least once:69.57% of 46
Calls executed:88.46% of 78
Creating 'ast#transform#ReplaceSingletonVariables.cpp.gcov'

File 'ast/transform/ReplaceSingletonVariables.h'
Lines executed:100.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:83.33% of 6
Creating 'ast#transform#ReplaceSingletonVariables.h.gcov'

File 'ast/UnnamedVariable.h'
Lines executed:100.00% of 5
No branches
No calls
Creating 'ast#UnnamedVariable.h.gcov'

File 'ast/transform/ReorderLiterals.cpp'
Lines executed:70.27% of 37
Branches executed:63.16% of 76
Taken at least once:40.79% of 76
Calls executed:47.92% of 96
Creating 'ast#transform#ReorderLiterals.cpp.gcov'

File 'ast/transform/ReorderLiterals.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#ReorderLiterals.h.gcov'

File 'ast/transform/RemoveRelationCopies.cpp'
Lines executed:100.00% of 56
Branches executed:98.44% of 128
Taken at least once:68.75% of 128
Calls executed:87.20% of 125
Creating 'ast#transform#RemoveRelationCopies.cpp.gcov'

File 'ast/transform/RemoveRedundantSums.cpp'
Lines executed:95.24% of 21
Branches executed:100.00% of 26
Taken at least once:65.38% of 26
Calls executed:85.37% of 41
Creating 'ast#transform#RemoveRedundantSums.cpp.gcov'

File 'ast/transform/RemoveRedundantSums.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#RemoveRedundantSums.h.gcov'

File 'ast/Functor.h'
No executable lines
No branches
No calls
Removing 'ast#Functor.h.gcov'

File 'ast/transform/RemoveRedundantRelations.cpp'
Lines executed:100.00% of 9
Branches executed:100.00% of 6
Taken at least once:83.33% of 6
Calls executed:100.00% of 10
Creating 'ast#transform#RemoveRedundantRelations.cpp.gcov'

File 'ast/transform/RemoveRedundantRelations.h'
Lines executed:100.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:83.33% of 6
Creating 'ast#transform#RemoveRedundantRelations.h.gcov'

File 'ast/transform/RemoveEmptyRelations.cpp'
Lines executed:98.18% of 55
Branches executed:94.44% of 108
Taken at least once:66.67% of 108
Calls executed:84.62% of 104
Creating 'ast#transform#RemoveEmptyRelations.cpp.gcov'

File 'ast/transform/RemoveBooleanConstraints.cpp'
Lines executed:98.08% of 52
Branches executed:100.00% of 100
Taken at least once:70.00% of 100
Calls executed:83.76% of 117
Creating 'ast#transform#RemoveBooleanConstraints.cpp.gcov'

File 'ast/transform/RemoveBooleanConstraints.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#RemoveBooleanConstraints.h.gcov'

File 'ast/transform/ReduceExistentials.cpp'
Lines executed:97.26% of 73
Branches executed:97.37% of 152
Taken at least once:63.82% of 152
Calls executed:85.19% of 216
Creating 'ast#transform#ReduceExistentials.cpp.gcov'

File 'ast/transform/ReduceExistentials.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#ReduceExistentials.h.gcov'

File 'RelationTag.h'
Lines executed:73.68% of 57
Branches executed:100.00% of 27
Taken at least once:62.96% of 27
Calls executed:46.15% of 13
Creating 'RelationTag.h.gcov'

File 'ast/transform/Provenance.cpp'
Lines executed:95.57% of 158
Branches executed:96.53% of 404
Taken at least once:54.70% of 404
Calls executed:70.68% of 781
Creating 'ast#transform#Provenance.cpp.gcov'

File 'ast/transform/Provenance.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#Provenance.h.gcov'

File 'ast/StringConstant.h'
Lines executed:100.00% of 10
No branches
No calls
Creating 'ast#StringConstant.h.gcov'

File 'ast/transform/PragmaChecker.cpp'
Lines executed:100.00% of 10
Branches executed:100.00% of 14
Taken at least once:50.00% of 14
Calls executed:88.89% of 9
Creating 'ast#transform#PragmaChecker.cpp.gcov'

File 'ast/transform/PragmaChecker.h'
Lines executed:0.00% of 4
Branches executed:0.00% of 2
Taken at least once:0.00% of 2
Calls executed:0.00% of 6
Creating 'ast#transform#PragmaChecker.h.gcov'

File 'ast/Pragma.h'
Lines executed:58.33% of 12
Branches executed:0.00% of 10
Taken at least once:0.00% of 10
Calls executed:50.00% of 28
Creating 'ast#Pragma.h.gcov'

File 'ast/transform/PartitionBodyLiterals.cpp'
Lines executed:100.00% of 91
Branches executed:100.00% of 132
Taken at least once:63.64% of 132
Calls executed:84.72% of 229
Creating 'ast#transform#PartitionBodyLiterals.cpp.gcov'

File 'ast/transform/PartitionBodyLiterals.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#PartitionBodyLiterals.h.gcov'

File 'ast/transform/NormaliseMultiResultFunctors.cpp'
Lines executed:100.00% of 23
Branches executed:100.00% of 36
Taken at least once:61.11% of 36
Calls executed:83.08% of 65
Creating 'ast#transform#NormaliseMultiResultFunctors.cpp.gcov'

File 'ast/transform/NormaliseMultiResultFunctors.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#NormaliseMultiResultFunctors.h.gcov'

File 'ast/transform/NameUnnamedVariables.cpp'
Lines executed:94.12% of 17
Branches executed:100.00% of 24
Taken at least once:62.50% of 24
Calls executed:86.49% of 37
Creating 'ast#transform#NameUnnamedVariables.cpp.gcov'

File 'ast/transform/NameUnnamedVariables.h'
Lines executed:100.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:83.33% of 6
Creating 'ast#transform#NameUnnamedVariables.h.gcov'

File 'ast/transform/MinimiseProgram.cpp'
Lines executed:100.00% of 205
Branches executed:99.33% of 298
Taken at least once:70.13% of 298
Calls executed:88.41% of 371
Creating 'ast#transform#MinimiseProgram.cpp.gcov'

File 'ast/transform/MinimiseProgram.h'
Lines executed:100.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:83.33% of 6
Creating 'ast#transform#MinimiseProgram.h.gcov'

File 'ast/transform/Meta.cpp'
Lines executed:66.67% of 9
Branches executed:18.75% of 32
Taken at least once:9.38% of 32
Calls executed:14.29% of 21
Creating 'ast#transform#Meta.cpp.gcov'

File 'ast/transform/MaterializeSingletonAggregation.cpp'
Lines executed:100.00% of 55
Branches executed:97.92% of 96
Taken at least once:58.33% of 96
Calls executed:84.85% of 132
Creating 'ast#transform#MaterializeSingletonAggregation.cpp.gcov'

File 'ast/transform/MaterializeSingletonAggregation.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#MaterializeSingletonAggregation.h.gcov'

File 'ast/transform/MaterializeAggregationQueries.cpp'
Lines executed:96.45% of 169
Branches executed:97.95% of 292
Taken at least once:62.33% of 292
Calls executed:83.24% of 358
Creating 'ast#transform#MaterializeAggregationQueries.cpp.gcov'

File 'ast/transform/MagicSet.cpp'
Lines executed:89.88% of 652
Branches executed:86.17% of 1374
Taken at least once:54.88% of 1374
Calls executed:71.78% of 1740
Creating 'ast#transform#MagicSet.cpp.gcov'

File 'ast/transform/MagicSet.h'
Lines executed:63.27% of 49
Branches executed:85.19% of 54
Taken at least once:46.30% of 54
Calls executed:54.44% of 90
Creating 'ast#transform#MagicSet.h.gcov'

File 'ast/utility/BindingStore.h'
Lines executed:100.00% of 14
Branches executed:100.00% of 4
Taken at least once:75.00% of 4
Calls executed:88.89% of 9
Creating 'ast#utility#BindingStore.h.gcov'

File 'ast/transform/InlineRelations.cpp'
Lines executed:65.05% of 455
Branches executed:67.79% of 773
Taken at least once:42.43% of 773
Calls executed:50.60% of 1087
Creating 'ast#transform#InlineRelations.cpp.gcov'

File 'ast/RecordInit.h'
Lines executed:100.00% of 7
No branches
No calls
Creating 'ast#RecordInit.h.gcov'

File 'ast/transform/InlineRelations.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#InlineRelations.h.gcov'

File 'ast/transform/GroundWitnesses.cpp'
Lines executed:97.96% of 49
Branches executed:97.30% of 74
Taken at least once:60.81% of 74
Calls executed:83.93% of 112
Creating 'ast#transform#GroundWitnesses.cpp.gcov'

File 'ast/transform/GroundWitnesses.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#GroundWitnesses.h.gcov'

File 'ast/transform/GroundedTermsChecker.cpp'
Lines executed:89.47% of 19
Branches executed:84.00% of 50
Taken at least once:52.00% of 50
Calls executed:50.82% of 61
Creating 'ast#transform#GroundedTermsChecker.cpp.gcov'

File 'ast/transform/FoldAnonymousRecords.cpp'
Lines executed:100.00% of 75
Branches executed:100.00% of 126
Taken at least once:65.08% of 126
Calls executed:84.62% of 143
Creating 'ast#transform#FoldAnonymousRecords.cpp.gcov'

File 'ast/transform/FoldAnonymousRecords.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#FoldAnonymousRecords.h.gcov'

File '/usr/include/c++/9/bits/range_access.h'
Lines executed:100.00% of 10
No branches
Calls executed:100.00% of 5
Creating '#usr#include#c++#9#bits#range_access.h.gcov'

File 'ast/transform/ExecutionPlanChecker.cpp'
Lines executed:100.00% of 30
Branches executed:96.43% of 56
Taken at least once:66.07% of 56
Calls executed:84.27% of 89
Creating 'ast#transform#ExecutionPlanChecker.cpp.gcov'

File 'ast/transform/ExecutionPlanChecker.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#ExecutionPlanChecker.h.gcov'

File 'ast/transform/DebugReporter.cpp'
Lines executed:100.00% of 16
Branches executed:100.00% of 38
Taken at least once:55.26% of 38
Calls executed:78.33% of 60
Creating 'ast#transform#DebugReporter.cpp.gcov'

File 'ast/transform/DebugReporter.h'
Lines executed:26.32% of 19
Branches executed:20.00% of 20
Taken at least once:10.00% of 20
Calls executed:3.57% of 28
Creating 'ast#transform#DebugReporter.h.gcov'

File 'ast/transform/Null.h'
Lines executed:0.00% of 11
No branches
No calls
Creating 'ast#transform#Null.h.gcov'

File '/usr/include/c++/9/string_view'
Lines executed:91.67% of 48
Branches executed:100.00% of 18
Taken at least once:77.78% of 18
Calls executed:79.17% of 24
Creating '#usr#include#c++#9#string_view.gcov'

File 'ast/transform/Meta.h'
No executable lines
No branches
No calls
Removing 'ast#transform#Meta.h.gcov'

File 'ast/transform/ComponentInstantiation.cpp'
Lines executed:92.20% of 205
Branches executed:90.16% of 366
Taken at least once:58.47% of 366
Calls executed:80.62% of 614
Creating 'ast#transform#ComponentInstantiation.cpp.gcov'

File 'ast/transform/ComponentInstantiation.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#ComponentInstantiation.h.gcov'

File 'ast/ComponentInit.h'
Lines executed:57.89% of 19
Branches executed:14.29% of 14
Taken at least once:7.14% of 14
Calls executed:41.46% of 41
Creating 'ast#ComponentInit.h.gcov'

File 'ast/transform/ComponentChecker.cpp'
Lines executed:100.00% of 89
Branches executed:100.00% of 196
Taken at least once:63.78% of 196
Calls executed:84.93% of 292
Creating 'ast#transform#ComponentChecker.cpp.gcov'

File 'ast/transform/ComponentChecker.h'
Lines executed:60.00% of 5
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#ComponentChecker.h.gcov'

File 'ast/transform/AddNullariesToAtomlessAggregates.cpp'
Lines executed:100.00% of 27
Branches executed:100.00% of 46
Taken at least once:60.87% of 46
Calls executed:84.00% of 75
Creating 'ast#transform#AddNullariesToAtomlessAggregates.cpp.gcov'

File 'ast/transform/AddNullariesToAtomlessAggregates.h'
Lines executed:50.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 6
Creating 'ast#transform#AddNullariesToAtomlessAggregates.h.gcov'

File 'ast/utility/Utils.cpp'
Lines executed:85.21% of 169
Branches executed:86.46% of 192
Taken at least once:57.29% of 192
Calls executed:73.26% of 273
Creating 'ast#utility#Utils.cpp.gcov'

File 'ast/utility/SipsMetric.cpp'
Lines executed:17.11% of 187
Branches executed:18.85% of 244
Taken at least once:11.48% of 244
Calls executed:18.77% of 261
Creating 'ast#utility#SipsMetric.cpp.gcov'

File 'ast/utility/SipsMetric.h'
Lines executed:14.29% of 14
No branches
Calls executed:9.09% of 11
Creating 'ast#utility#SipsMetric.h.gcov'

File 'ast/utility/BindingStore.cpp'
Lines executed:100.00% of 80
Branches executed:98.57% of 140
Taken at least once:67.86% of 140
Calls executed:84.03% of 144
Creating 'ast#utility#BindingStore.cpp.gcov'

File 'ast/Program.cpp'
Lines executed:84.00% of 50
Branches executed:83.33% of 48
Taken at least once:45.83% of 48
Calls executed:74.70% of 83
Creating 'ast#Program.cpp.gcov'

File 'ast2ram/utility/Utils.cpp'
Lines executed:100.00% of 25
Branches executed:100.00% of 34
Taken at least once:55.88% of 34
Calls executed:80.00% of 55
Creating 'ast2ram#utility#Utils.cpp.gcov'

File 'ram/utility/LambdaNodeMapper.h'
Lines executed:100.00% of 7
No branches
No calls
Creating 'ram#utility#LambdaNodeMapper.h.gcov'

File 'ram/TupleElement.h'
Lines executed:100.00% of 13
No branches
No calls
Creating 'ram#TupleElement.h.gcov'

File 'ram/utility/NodeMapper.h'
Lines executed:100.00% of 5
No branches
No calls
Creating 'ram#utility#NodeMapper.h.gcov'

File 'ram/Expression.h'
No executable lines
No branches
No calls
Removing 'ram#Expression.h.gcov'

File 'ram/Node.h'
Lines executed:100.00% of 24
No branches
Calls executed:100.00% of 1
Creating 'ram#Node.h.gcov'

File 'ast2ram/ProvenanceClauseTranslator.cpp'
Lines executed:72.73% of 22
Branches executed:71.88% of 64
Taken at least once:43.75% of 64
Calls executed:61.04% of 77
Creating 'ast2ram#ProvenanceClauseTranslator.cpp.gcov'

File 'ram/SubroutineReturn.h'
Lines executed:90.62% of 32
No branches
No calls
Creating 'ram#SubroutineReturn.h.gcov'

File 'ram/SignedConstant.h'
Lines executed:100.00% of 8
No branches
No calls
Creating 'ram#SignedConstant.h.gcov'

File 'ram/Operation.h'
Lines executed:50.00% of 6
No branches
No calls
Creating 'ram#Operation.h.gcov'

File 'ram/Constant.h'
Lines executed:100.00% of 6
No branches
No calls
Creating 'ram#Constant.h.gcov'

File 'ast2ram/ValueTranslator.cpp'
Lines executed:97.96% of 49
Branches executed:100.00% of 72
Taken at least once:56.94% of 72
Calls executed:87.12% of 132
Creating 'ast2ram#ValueTranslator.cpp.gcov'

File 'ast2ram/ValueTranslator.h'
Lines executed:100.00% of 2
No branches
Calls executed:100.00% of 1
Creating 'ast2ram#ValueTranslator.h.gcov'

File 'ram/SubroutineArgument.h'
Lines executed:100.00% of 11
No branches
Calls executed:100.00% of 6
Creating 'ram#SubroutineArgument.h.gcov'

File 'ram/PackRecord.h'
Lines executed:100.00% of 27
Branches executed:100.00% of 28
Taken at least once:64.29% of 28
Calls executed:88.14% of 59
Creating 'ram#PackRecord.h.gcov'

File 'ram/AutoIncrement.h'
Lines executed:100.00% of 5
No branches
Calls executed:100.00% of 3
Creating 'ram#AutoIncrement.h.gcov'

File 'ram/UserDefinedOperator.h'
Lines executed:100.00% of 31
Branches executed:100.00% of 32
Taken at least once:56.25% of 32
Calls executed:85.45% of 55
Creating 'ram#UserDefinedOperator.h.gcov'

File 'ram/IntrinsicOperator.h'
Lines executed:100.00% of 17
No branches
No calls
Creating 'ram#IntrinsicOperator.h.gcov'

File 'ram/FloatConstant.h'
Lines executed:100.00% of 8
No branches
No calls
Creating 'ram#FloatConstant.h.gcov'

File 'ram/UnsignedConstant.h'
Lines executed:100.00% of 8
No branches
No calls
Creating 'ram#UnsignedConstant.h.gcov'

File 'ram/UndefValue.h'
Lines executed:100.00% of 5
No branches
No calls
Creating 'ram#UndefValue.h.gcov'

File 'include/souffle/RamTypes.h'
Lines executed:100.00% of 3
No branches
No calls
Creating 'include#souffle#RamTypes.h.gcov'

File 'include/souffle/SymbolTable.h'
Lines executed:94.74% of 38
Branches executed:100.00% of 8
Taken at least once:50.00% of 8
Calls executed:85.00% of 20
Creating 'include#souffle#SymbolTable.h.gcov'

File 'include/souffle/utility/ParallelUtil.h'
Lines executed:96.97% of 66
No branches
No calls
Creating 'include#souffle#utility#ParallelUtil.h.gcov'

File 'ram/AbstractOperator.h'
Lines executed:100.00% of 18
No branches
No calls
Creating 'ram#AbstractOperator.h.gcov'

File 'ast2ram/AstToRamTranslator.h'
Lines executed:100.00% of 5
No branches
Calls executed:100.00% of 1
Creating 'ast2ram#AstToRamTranslator.h.gcov'

File 'ast/SubroutineArgument.h'
Lines executed:27.27% of 11
Branches executed:0.00% of 2
Taken at least once:0.00% of 2
Calls executed:30.77% of 13
Creating 'ast#SubroutineArgument.h.gcov'

File 'ast2ram/ValueIndex.cpp'
Lines executed:72.34% of 47
Branches executed:72.00% of 50
Taken at least once:42.00% of 50
Calls executed:54.05% of 74
Creating 'ast2ram#ValueIndex.cpp.gcov'

File 'ast2ram/Location.h'
Lines executed:60.00% of 15
Branches executed:100.00% of 10
Taken at least once:100.00% of 10
Calls executed:14.29% of 7
Creating 'ast2ram#Location.h.gcov'

File 'ast2ram/ValueIndex.h'
Lines executed:100.00% of 3
No branches
No calls
Creating 'ast2ram#ValueIndex.h.gcov'

File 'ast2ram/ProvenanceTranslator.cpp'
Lines executed:94.84% of 155
Branches executed:92.31% of 390
Taken at least once:51.79% of 390
Calls executed:76.17% of 512
Creating 'ast2ram#ProvenanceTranslator.cpp.gcov'

File 'ram/Query.h'
Lines executed:73.68% of 19
No branches
No calls
Creating 'ram#Query.h.gcov'

File 'ram/Filter.h'
Lines executed:100.00% of 9
No branches
No calls
Creating 'ram#Filter.h.gcov'

File 'ram/Negation.h'
Lines executed:100.00% of 18
No branches
No calls
Creating 'ram#Negation.h.gcov'

File 'ram/ExistenceCheck.h'
Lines executed:100.00% of 6
No branches
No calls
Creating 'ram#ExistenceCheck.h.gcov'

File 'ast/ProvenanceNegation.h'
Lines executed:0.00% of 5
Branches executed:0.00% of 4
Taken at least once:0.00% of 4
Calls executed:0.00% of 12
Creating 'ast#ProvenanceNegation.h.gcov'

File 'ram/Sequence.h'
Lines executed:61.54% of 13
No branches
No calls
Creating 'ram#Sequence.h.gcov'

File 'ast2ram/ProvenanceClauseTranslator.h'
Lines executed:100.00% of 1
No branches
Calls executed:100.00% of 1
Creating 'ast2ram#ProvenanceClauseTranslator.h.gcov'

File 'ram/ListStatement.h'
Lines executed:68.18% of 22
No branches
No calls
Creating 'ram#ListStatement.h.gcov'

File 'ram/Statement.h'
Lines executed:57.14% of 7
No branches
No calls
Creating 'ram#Statement.h.gcov'

File 'ram/AbstractConditional.h'
Lines executed:83.33% of 18
No branches
No calls
Creating 'ram#AbstractConditional.h.gcov'

File 'ram/NestedOperation.h'
Lines executed:84.21% of 19
No branches
No calls
Creating 'ram#NestedOperation.h.gcov'

File 'ram/AbstractExistenceCheck.h'
Lines executed:100.00% of 24
No branches
No calls
Creating 'ram#AbstractExistenceCheck.h.gcov'

File 'ram/Condition.h'
No executable lines
No branches
No calls
Removing 'ram#Condition.h.gcov'

File 'ast2ram/ClauseTranslator.h'
Lines executed:100.00% of 1
No branches
No calls
Creating 'ast2ram#ClauseTranslator.h.gcov'

File 'ast/analysis/AuxArity.h'
Lines executed:100.00% of 8
No branches
Calls executed:100.00% of 3
Creating 'ast#analysis#AuxArity.h.gcov'

File 'ast2ram/ConstraintTranslator.cpp'
Lines executed:100.00% of 39
Branches executed:100.00% of 84
Taken at least once:55.95% of 84
Calls executed:76.74% of 129
Creating 'ast2ram#ConstraintTranslator.cpp.gcov'

File 'ast2ram/ConstraintTranslator.h'
Lines executed:100.00% of 2
No branches
Calls executed:100.00% of 1
Creating 'ast2ram#ConstraintTranslator.h.gcov'

File 'ram/EmptinessCheck.h'
Lines executed:100.00% of 11
No branches
No calls
Creating 'ram#EmptinessCheck.h.gcov'

File 'ram/ProvenanceExistenceCheck.h'
Lines executed:100.00% of 11
Branches executed:100.00% of 14
Taken at least once:57.14% of 14
Calls executed:83.33% of 30
Creating 'ram#ProvenanceExistenceCheck.h.gcov'

File 'ram/Constraint.h'
Lines executed:100.00% of 27
No branches
No calls
Creating 'ram#Constraint.h.gcov'

File 'ast2ram/ClauseTranslator.cpp'
Lines executed:97.05% of 237
Branches executed:97.57% of 576
Taken at least once:61.81% of 576
Calls executed:81.40% of 731
Creating 'ast2ram#ClauseTranslator.cpp.gcov'

File 'ram/UnpackRecord.h'
Lines executed:85.71% of 28
Branches executed:75.00% of 24
Taken at least once:37.50% of 24
Calls executed:83.33% of 48
Creating 'ram#UnpackRecord.h.gcov'

File 'ram/Scan.h'
Lines executed:100.00% of 10
No branches
No calls
Creating 'ram#Scan.h.gcov'

File 'ram/Break.h'
Lines executed:100.00% of 9
No branches
No calls
Creating 'ram#Break.h.gcov'

File 'ram/NestedIntrinsicOperator.h'
Lines executed:87.88% of 33
Branches executed:85.71% of 42
Taken at least once:50.00% of 42
Calls executed:82.61% of 69
Creating 'ram#NestedIntrinsicOperator.h.gcov'

File 'ram/Aggregate.h'
Lines executed:89.66% of 29
No branches
No calls
Creating 'ram#Aggregate.h.gcov'

File 'ram/True.h'
Lines executed:100.00% of 5
No branches
No calls
Creating 'ram#True.h.gcov'

File 'ram/Project.h'
Lines executed:87.10% of 31
No branches
No calls
Creating 'ram#Project.h.gcov'

File 'ram/Conjunction.h'
Lines executed:86.36% of 22
No branches
No calls
Creating 'ram#Conjunction.h.gcov'

File 'ram/AbstractAggregate.h'
Lines executed:87.88% of 33
No branches
No calls
Creating 'ram#AbstractAggregate.h.gcov'

File 'ram/RelationOperation.h'
Lines executed:57.14% of 7
No branches
No calls
Creating 'ram#RelationOperation.h.gcov'

File 'ram/utility/Utils.h'
Lines executed:100.00% of 37
Branches executed:100.00% of 22
Taken at least once:59.09% of 22
Calls executed:92.31% of 13
Creating 'ram#utility#Utils.h.gcov'

File 'ram/TupleOperation.h'
Lines executed:75.00% of 12
No branches
No calls
Creating 'ram#TupleOperation.h.gcov'

File 'ram/Relation.h'
Lines executed:82.98% of 47
No branches
No calls
Creating 'ram#Relation.h.gcov'

File 'ast2ram/AstToRamTranslator.cpp'
Lines executed:96.51% of 401
Branches executed:96.29% of 862
Taken at least once:55.10% of 862
Calls executed:79.58% of 1283
Creating 'ast2ram#AstToRamTranslator.cpp.gcov'

File 'ram/TranslationUnit.h'
Lines executed:100.00% of 33
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:87.50% of 8
Creating 'ram#TranslationUnit.h.gcov'

File 'ram/LogTimer.h'
Lines executed:61.54% of 13
Branches executed:81.82% of 22
Taken at least once:40.91% of 22
Calls executed:67.65% of 34
Creating 'ram#LogTimer.h.gcov'

File 'ram/Call.h'
Lines executed:54.55% of 11
Branches executed:80.00% of 10
Taken at least once:40.00% of 10
Calls executed:57.14% of 14
Creating 'ram#Call.h.gcov'

File 'ram/IO.h'
Lines executed:73.68% of 19
Branches executed:54.55% of 22
Taken at least once:27.27% of 22
Calls executed:60.98% of 41
Creating 'ram#IO.h.gcov'

File 'ram/Loop.h'
Lines executed:60.00% of 20
Branches executed:80.00% of 20
Taken at least once:40.00% of 20
Calls executed:52.94% of 34
Creating 'ram#Loop.h.gcov'

File 'ram/Parallel.h'
Lines executed:57.14% of 14
Branches executed:72.73% of 22
Taken at least once:40.91% of 22
Calls executed:56.67% of 30
Creating 'ram#Parallel.h.gcov'

File 'ram/RelationSize.h'
Lines executed:54.55% of 11
Branches executed:0.00% of 2
Taken at least once:0.00% of 2
Calls executed:50.00% of 12
Creating 'ram#RelationSize.h.gcov'

File 'ram/Exit.h'
Lines executed:55.56% of 18
Branches executed:77.78% of 18
Taken at least once:38.89% of 18
Calls executed:48.28% of 29
Creating 'ram#Exit.h.gcov'

File 'ram/Swap.h'
Lines executed:75.00% of 8
Branches executed:40.00% of 10
Taken at least once:20.00% of 10
Calls executed:60.00% of 25
Creating 'ram#Swap.h.gcov'

File 'ram/Extend.h'
Lines executed:76.92% of 13
Branches executed:50.00% of 8
Taken at least once:25.00% of 8
Calls executed:66.67% of 21
Creating 'ram#Extend.h.gcov'

File 'ram/LogSize.h'
Lines executed:0.00% of 13
Branches executed:0.00% of 20
Taken at least once:0.00% of 20
Calls executed:0.00% of 29
Creating 'ram#LogSize.h.gcov'

File 'ram/DebugInfo.h'
Lines executed:61.54% of 13
Branches executed:81.82% of 22
Taken at least once:40.91% of 22
Calls executed:67.65% of 34
Creating 'ram#DebugInfo.h.gcov'

File 'ram/LogRelationTimer.h'
Lines executed:66.67% of 18
Branches executed:82.35% of 34
Taken at least once:41.18% of 34
Calls executed:66.67% of 48
Creating 'ram#LogRelationTimer.h.gcov'

File 'ram/Clear.h'
Lines executed:71.43% of 7
Branches executed:33.33% of 6
Taken at least once:16.67% of 6
Calls executed:57.14% of 14
Creating 'ram#Clear.h.gcov'

File 'ram/Program.h'
Lines executed:66.67% of 60
Branches executed:60.00% of 70
Taken at least once:38.57% of 70
Calls executed:52.86% of 140
Creating 'ram#Program.h.gcov'

File 'ram/BinRelationStatement.h'
Lines executed:62.50% of 8
Branches executed:0.00% of 4
Taken at least once:0.00% of 4
Calls executed:71.43% of 7
Creating 'ram#BinRelationStatement.h.gcov'

File 'ram/AbstractLog.h'
Lines executed:75.00% of 12
Branches executed:66.67% of 6
Taken at least once:33.33% of 6
Calls executed:50.00% of 18
Creating 'ram#AbstractLog.h.gcov'

File 'ram/RelationStatement.h'
Lines executed:50.00% of 6
No branches
Calls executed:75.00% of 4
Creating 'ram#RelationStatement.h.gcov'

File 'LogStatement.h'
Lines executed:91.94% of 62
Branches executed:92.31% of 208
Taken at least once:46.15% of 208
Calls executed:83.59% of 128
Creating 'LogStatement.h.gcov'

File 'interpreter/ProvenanceIndex.cpp'
Lines executed:75.00% of 4
Branches executed:50.00% of 88
Taken at least once:15.91% of 88
Calls executed:20.57% of 175
Creating 'interpreter#ProvenanceIndex.cpp.gcov'

File 'include/souffle/datastructure/BTree.h'
Lines executed:95.28% of 509
Branches executed:9.60% of 1584
Taken at least once:8.27% of 1584
Calls executed:7.07% of 495
Creating 'include#souffle#datastructure#BTree.h.gcov'

File 'interpreter/Relation.h'
Lines executed:92.16% of 102
Branches executed:100.00% of 14
Taken at least once:57.14% of 14
Calls executed:100.00% of 14
Creating 'interpreter#Relation.h.gcov'

File 'interpreter/Util.h'
Lines executed:100.00% of 16
No branches
No calls
Creating 'interpreter#Util.h.gcov'

File 'include/souffle/utility/CacheUtil.h'
Lines executed:100.00% of 10
No branches
No calls
Creating 'include#souffle#utility#CacheUtil.h.gcov'

File '/usr/include/c++/9/array'
Lines executed:68.00% of 25
No branches
No calls
Creating '#usr#include#c++#9#array.gcov'

File 'interpreter/Index.h'
Lines executed:81.15% of 122
Branches executed:60.00% of 10
Taken at least once:40.00% of 10
Calls executed:46.43% of 28
Creating 'interpreter#Index.h.gcov'

File 'ram/analysis/Index.h'
Lines executed:97.47% of 79
Branches executed:96.55% of 58
Taken at least once:63.79% of 58
Calls executed:89.61% of 77
Creating 'ram#analysis#Index.h.gcov'

File 'interpreter/EqrelIndex.cpp'
Lines executed:100.00% of 3
Branches executed:100.00% of 4
Taken at least once:50.00% of 4
Calls executed:85.71% of 7
Creating 'interpreter#EqrelIndex.cpp.gcov'

File 'include/souffle/datastructure/EquivalenceRelation.h'
Lines executed:56.41% of 234
Branches executed:28.97% of 214
Taken at least once:17.29% of 214
Calls executed:26.54% of 162
Creating 'include#souffle#datastructure#EquivalenceRelation.h.gcov'

File 'include/souffle/datastructure/PiggyList.h'
Lines executed:83.84% of 99
Branches executed:0.00% of 4
Taken at least once:0.00% of 4
Calls executed:58.33% of 12
Creating 'include#souffle#datastructure#PiggyList.h.gcov'

File 'include/souffle/datastructure/UnionFind.h'
Lines executed:95.60% of 91
Branches executed:100.00% of 4
Taken at least once:50.00% of 4
Calls executed:66.67% of 12
Creating 'include#souffle#datastructure#UnionFind.h.gcov'

File 'include/souffle/datastructure/LambdaBTree.h'
Lines executed:41.98% of 131
Branches executed:12.50% of 32
Taken at least once:6.25% of 32
Calls executed:0.00% of 12
Creating 'include#souffle#datastructure#LambdaBTree.h.gcov'

File '/usr/include/c++/9/shared_mutex'
Lines executed:88.89% of 27
No branches
Calls executed:100.00% of 1
Creating '#usr#include#c++#9#shared_mutex.gcov'

File 'interpreter/BTreeIndex.cpp'
Lines executed:75.00% of 4
Branches executed:59.38% of 64
Taken at least once:25.00% of 64
Calls executed:32.28% of 127
Creating 'interpreter#BTreeIndex.cpp.gcov'

File 'interpreter/Generator.cpp'
Lines executed:97.46% of 473
Branches executed:99.02% of 814
Taken at least once:55.04% of 814
Calls executed:85.02% of 1048
Creating 'interpreter#Generator.cpp.gcov'

File 'interpreter/ViewContext.h'
Lines executed:100.00% of 20
Branches executed:100.00% of 4
Taken at least once:50.00% of 4
Calls executed:100.00% of 6
Creating 'interpreter#ViewContext.h.gcov'

File 'ram/utility/Visitor.h'
Lines executed:57.14% of 154
No branches
No calls
Creating 'ram#utility#Visitor.h.gcov'

File 'interpreter/Generator.h'
No executable lines
No branches
No calls
Removing 'interpreter#Generator.h.gcov'

File 'interpreter/Node.h'
Lines executed:99.17% of 120
Branches executed:99.69% of 1914
Taken at least once:50.10% of 1914
Calls executed:97.99% of 1147
Creating 'interpreter#Node.h.gcov'

File '/usr/include/c++/9/bits/stl_queue.h'
Lines executed:100.00% of 13
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_queue.h.gcov'

File 'ram/AbstractChoice.h'
Lines executed:78.57% of 14
No branches
No calls
Creating 'ram#AbstractChoice.h.gcov'

File 'ram/IndexOperation.h'
Lines executed:75.81% of 62
No branches
No calls
Creating 'ram#IndexOperation.h.gcov'

File 'interpreter/Engine.cpp'
Lines executed:91.97% of 760
Branches executed:56.23% of 3783
Taken at least once:21.91% of 3783
Calls executed:38.82% of 3241
Creating 'interpreter#Engine.cpp.gcov'

File '/usr/include/c++/9/bits/invoke.h'
Lines executed:100.00% of 7
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:100.00% of 2
Creating '#usr#include#c++#9#bits#invoke.h.gcov'

File '/usr/include/c++/9/bits/regex_automaton.h'
Lines executed:86.92% of 107
No branches
No calls
Creating '#usr#include#c++#9#bits#regex_automaton.h.gcov'

File 'include/souffle/RecordTable.h'
Lines executed:100.00% of 41
Branches executed:100.00% of 16
Taken at least once:68.75% of 16
Calls executed:87.50% of 48
Creating 'include#souffle#RecordTable.h.gcov'

File 'interpreter/Context.h'
Lines executed:96.55% of 29
Branches executed:100.00% of 18
Taken at least once:61.11% of 18
Calls executed:82.76% of 29
Creating 'interpreter#Context.h.gcov'

File 'include/souffle/io/gzfstream.h'
Lines executed:77.63% of 76
Branches executed:85.29% of 68
Taken at least once:54.41% of 68
Calls executed:74.63% of 67
Creating 'include#souffle#io#gzfstream.h.gcov'

File 'include/souffle/io/ReadStreamCSV.h'
Lines executed:87.41% of 143
Branches executed:85.37% of 287
Taken at least once:51.57% of 287
Calls executed:72.06% of 315
Creating 'include#souffle#io#ReadStreamCSV.h.gcov'

File 'include/souffle/io/ReadStreamJSON.h'
Lines executed:66.67% of 189
Branches executed:73.43% of 414
Taken at least once:38.65% of 414
Calls executed:59.82% of 433
Creating 'include#souffle#io#ReadStreamJSON.h.gcov'

File 'include/souffle/io/WriteStreamCSV.h'
Lines executed:88.79% of 107
Branches executed:92.27% of 181
Taken at least once:49.72% of 181
Calls executed:74.55% of 275
Creating 'include#souffle#io#WriteStreamCSV.h.gcov'

File '/usr/include/c++/9/variant'
Lines executed:92.62% of 122
Branches executed:100.00% of 8
Taken at least once:50.00% of 8
Calls executed:77.08% of 48
Creating '#usr#include#c++#9#variant.gcov'

File 'include/souffle/io/WriteStreamJSON.h'
Lines executed:90.97% of 155
Branches executed:94.48% of 326
Taken at least once:52.45% of 326
Calls executed:71.64% of 342
Creating 'include#souffle#io#WriteStreamJSON.h.gcov'

File 'include/souffle/io/ReadStreamSQLite.h'
Lines executed:74.42% of 86
Branches executed:61.14% of 211
Taken at least once:31.28% of 211
Calls executed:47.71% of 218
Creating 'include#souffle#io#ReadStreamSQLite.h.gcov'

File 'include/souffle/io/WriteStreamSQLite.h'
Lines executed:68.26% of 167
Branches executed:58.85% of 384
Taken at least once:29.95% of 384
Calls executed:46.36% of 371
Creating 'include#souffle#io#WriteStreamSQLite.h.gcov'

File '/usr/include/c++/9/bitset'
Lines executed:100.00% of 34
No branches
No calls
Creating '#usr#include#c++#9#bitset.gcov'

File '/usr/include/c++/9/bits/regex_compiler.h'
Lines executed:57.14% of 112
No branches
No calls
Creating '#usr#include#c++#9#bits#regex_compiler.h.gcov'

File '/usr/include/c++/9/bits/regex.h'
Lines executed:84.00% of 100
Branches executed:87.50% of 16
Taken at least once:56.25% of 16
Calls executed:80.49% of 41
Creating '#usr#include#c++#9#bits#regex.h.gcov'

File '/usr/include/c++/9/bits/regex.tcc'
Lines executed:68.00% of 75
No branches
No calls
Creating '#usr#include#c++#9#bits#regex.tcc.gcov'

File '/usr/include/c++/9/bits/regex_compiler.tcc'
Lines executed:61.54% of 299
Branches executed:11.11% of 252
Taken at least once:7.94% of 252
Calls executed:10.16% of 246
Creating '#usr#include#c++#9#bits#regex_compiler.tcc.gcov'

File '/usr/include/c++/9/bits/regex_executor.h'
Lines executed:47.50% of 40
No branches
No calls
Creating '#usr#include#c++#9#bits#regex_executor.h.gcov'

File '/usr/include/c++/9/bits/regex_executor.tcc'
Lines executed:41.67% of 228
No branches
Calls executed:0.00% of 4
Creating '#usr#include#c++#9#bits#regex_executor.tcc.gcov'

File '/usr/include/c++/9/bits/regex_automaton.tcc'
Lines executed:18.37% of 49
No branches
No calls
Creating '#usr#include#c++#9#bits#regex_automaton.tcc.gcov'

File '/usr/include/c++/9/bits/regex_scanner.tcc'
Lines executed:37.85% of 214
No branches
No calls
Creating '#usr#include#c++#9#bits#regex_scanner.tcc.gcov'

File 'include/souffle/io/WriteStream.h'
Lines executed:91.57% of 83
Branches executed:96.67% of 180
Taken at least once:56.67% of 180
Calls executed:75.27% of 186
Creating 'include#souffle#io#WriteStream.h.gcov'

File 'include/souffle/io/ReadStream.h'
Lines executed:82.88% of 146
Branches executed:82.71% of 266
Taken at least once:48.50% of 266
Calls executed:62.90% of 283
Creating 'include#souffle#io#ReadStream.h.gcov'

File '/usr/include/c++/9/bits/regex_scanner.h'
Lines executed:58.82% of 34
No branches
No calls
Creating '#usr#include#c++#9#bits#regex_scanner.h.gcov'

File '/usr/include/c++/9/bits/locale_classes.tcc'
Lines executed:83.33% of 6
No branches
No calls
Creating '#usr#include#c++#9#bits#locale_classes.tcc.gcov'

File '/usr/include/c++/9/functional'
Lines executed:100.00% of 17
Branches executed:100.00% of 4
Taken at least once:50.00% of 4
Calls executed:100.00% of 15
Creating '#usr#include#c++#9#functional.gcov'

File '/usr/include/c++/9/bits/unique_lock.h'
Lines executed:88.46% of 26
Branches executed:100.00% of 10
Taken at least once:50.00% of 10
Calls executed:62.50% of 8
Creating '#usr#include#c++#9#bits#unique_lock.h.gcov'

File '/usr/include/c++/9/condition_variable'
Lines executed:91.67% of 24
Branches executed:100.00% of 34
Taken at least once:55.88% of 34
Calls executed:95.83% of 24
Creating '#usr#include#c++#9#condition_variable.gcov'

File 'include/souffle/utility/EvaluatorUtil.h'
Lines executed:53.85% of 26
No branches
No calls
Creating 'include#souffle#utility#EvaluatorUtil.h.gcov'

File '/usr/include/c++/9/bits/enable_special_members.h'
Lines executed:100.00% of 1
No branches
No calls
Creating '#usr#include#c++#9#bits#enable_special_members.h.gcov'

File 'include/souffle/io/SerialisationStream.h'
Lines executed:100.00% of 20
No branches
No calls
Creating 'include#souffle#io#SerialisationStream.h.gcov'

File '/usr/include/c++/9/bits/regex_error.h'
Lines executed:100.00% of 5
No branches
No calls
Creating '#usr#include#c++#9#bits#regex_error.h.gcov'

File '/usr/include/c++/9/bits/regex_constants.h'
Lines executed:83.33% of 12
No branches
Calls executed:100.00% of 1
Creating '#usr#include#c++#9#bits#regex_constants.h.gcov'

File 'include/souffle/profile/Logger.h'
Lines executed:100.00% of 15
Branches executed:100.00% of 8
Taken at least once:50.00% of 8
Calls executed:88.24% of 17
Creating 'include#souffle#profile#Logger.h.gcov'

File 'include/souffle/io/IOSystem.h'
Lines executed:93.94% of 33
Branches executed:84.78% of 92
Taken at least once:44.57% of 92
Calls executed:66.67% of 138
Creating 'include#souffle#io#IOSystem.h.gcov'

File '/usr/include/c++/9/iomanip'
Lines executed:68.18% of 22
Branches executed:71.43% of 28
Taken at least once:35.71% of 28
Calls executed:50.00% of 24
Creating '#usr#include#c++#9#iomanip.gcov'

File 'include/souffle/SignalHandler.h'
Lines executed:36.07% of 61
Branches executed:30.23% of 86
Taken at least once:16.28% of 86
Calls executed:20.34% of 59
Creating 'include#souffle#SignalHandler.h.gcov'

File 'ram/analysis/Analysis.h'
Lines executed:100.00% of 8
No branches
No calls
Creating 'ram#analysis#Analysis.h.gcov'

File '/usr/include/c++/9/type_traits'
Lines executed:0.00% of 1
No branches
No calls
Creating '#usr#include#c++#9#type_traits.gcov'

File '/usr/include/x86_64-linux-gnu/c++/9/bits/ctype_inline.h'
Lines executed:100.00% of 2
No branches
No calls
Creating '#usr#include#x86_64-linux-gnu#c++#9#bits#ctype_inline.h.gcov'

File '/usr/include/c++/9/bits/locale_facets.h'
Lines executed:61.11% of 18
No branches
No calls
Creating '#usr#include#c++#9#bits#locale_facets.h.gcov'

File 'parser/ParserUtils.cpp'
Lines executed:75.23% of 109
Branches executed:78.08% of 146
Taken at least once:54.11% of 146
Calls executed:75.10% of 241
Creating 'parser#ParserUtils.cpp.gcov'

File 'parser/ParserUtils.h'
Lines executed:100.00% of 6
No branches
Calls executed:100.00% of 6
Creating 'parser#ParserUtils.h.gcov'

File 'parser/scanner.cc'
Lines executed:46.95% of 475
Branches executed:66.01% of 353
Taken at least once:49.01% of 353
Calls executed:46.34% of 82
Creating 'parser#scanner.cc.gcov'

File 'parser/parser.hh'
Lines executed:98.20% of 500
Branches executed:98.45% of 388
Taken at least once:71.91% of 388
Calls executed:78.47% of 511
Creating 'parser#parser.hh.gcov'

File 'parser/scanner.ll'
Lines executed:85.82% of 141
Branches executed:83.82% of 482
Taken at least once:42.12% of 482
Calls executed:64.23% of 1630
Creating 'parser#scanner.ll.gcov'

File 'parser/parser.yy'
Lines executed:94.31% of 281
Branches executed:92.78% of 526
Taken at least once:50.95% of 526
Calls executed:90.21% of 1829
Creating 'parser#parser.yy.gcov'

File 'ast/NilConstant.h'
Lines executed:100.00% of 3
Branches executed:100.00% of 6
Taken at least once:50.00% of 6
Calls executed:76.47% of 17
Creating 'ast#NilConstant.h.gcov'

File 'ast/Counter.h'
Lines executed:100.00% of 5
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:85.71% of 7
Creating 'ast#Counter.h.gcov'

File 'parser/parser.cc'
Lines executed:68.58% of 939
Branches executed:68.56% of 757
Taken at least once:47.16% of 757
Calls executed:55.15% of 524
Creating 'parser#parser.cc.gcov'

File 'parser/SrcLocation.cpp'
Lines executed:90.00% of 70
Branches executed:86.49% of 148
Taken at least once:55.41% of 148
Calls executed:70.27% of 111
Creating 'parser#SrcLocation.cpp.gcov'

File 'parser/ParserDriver.cpp'
Lines executed:80.45% of 133
Branches executed:79.46% of 224
Taken at least once:45.54% of 224
Calls executed:65.76% of 441
Creating 'parser#ParserDriver.cpp.gcov'

File 'parser/ParserDriver.h'
Lines executed:100.00% of 1
No branches
No calls
Creating 'parser#ParserDriver.h.gcov'

File 'ram/analysis/Level.cpp'
Lines executed:60.42% of 96
Branches executed:63.64% of 110
Taken at least once:40.00% of 110
Calls executed:53.45% of 174
Creating 'ram#analysis#Level.cpp.gcov'

File 'ram/analysis/Complexity.cpp'
Lines executed:87.50% of 16
Branches executed:100.00% of 8
Taken at least once:62.50% of 8
Calls executed:64.71% of 17
Creating 'ram#analysis#Complexity.cpp.gcov'

File 'ram/analysis/Relation.cpp'
Lines executed:100.00% of 8
Branches executed:100.00% of 8
Taken at least once:50.00% of 8
Calls executed:88.89% of 9
Creating 'ram#analysis#Relation.cpp.gcov'

File 'ram/analysis/Relation.h'
Lines executed:100.00% of 1
No branches
No calls
Creating 'ram#analysis#Relation.h.gcov'

File 'ram/analysis/Index.cpp'
Lines executed:96.57% of 321
Branches executed:95.07% of 690
Taken at least once:60.87% of 690
Calls executed:83.03% of 660
Creating 'ram#analysis#Index.cpp.gcov'

File 'ram/transform/TupleId.cpp'
Lines executed:95.65% of 23
Branches executed:100.00% of 28
Taken at least once:60.71% of 28
Calls executed:82.35% of 34
Creating 'ram#transform#TupleId.cpp.gcov'

File 'ram/transform/Transformer.cpp'
Lines executed:73.08% of 26
Branches executed:64.15% of 106
Taken at least once:36.79% of 106
Calls executed:57.29% of 96
Creating 'ram#transform#Transformer.cpp.gcov'

File 'ram/transform/ReorderFilterBreak.cpp'
Lines executed:100.00% of 16
Branches executed:100.00% of 30
Taken at least once:56.67% of 30
Calls executed:77.14% of 35
Creating 'ram#transform#ReorderFilterBreak.cpp.gcov'

File 'ram/transform/ReorderConditions.cpp'
Lines executed:100.00% of 23
Branches executed:100.00% of 38
Taken at least once:57.89% of 38
Calls executed:87.04% of 54
Creating 'ram#transform#ReorderConditions.cpp.gcov'

File 'ram/transform/Parallel.cpp'
Lines executed:100.00% of 55
Branches executed:100.00% of 124
Taken at least once:57.26% of 124
Calls executed:85.52% of 145
Creating 'ram#transform#Parallel.cpp.gcov'

File 'ram/ParallelIndexAggregate.h'
Lines executed:63.64% of 22
Branches executed:23.53% of 34
Taken at least once:14.71% of 34
Calls executed:43.75% of 80
Creating 'ram#ParallelIndexAggregate.h.gcov'

File 'ram/ParallelAggregate.h'
Lines executed:80.00% of 15
Branches executed:44.44% of 18
Taken at least once:27.78% of 18
Calls executed:60.78% of 51
Creating 'ram#ParallelAggregate.h.gcov'

File 'ram/ParallelIndexChoice.h'
Lines executed:55.00% of 20
Branches executed:18.75% of 32
Taken at least once:9.38% of 32
Calls executed:36.99% of 73
Creating 'ram#ParallelIndexChoice.h.gcov'

File 'ram/ParallelIndexScan.h'
Lines executed:52.94% of 17
No branches
No calls
Creating 'ram#ParallelIndexScan.h.gcov'

File 'ram/ParallelChoice.h'
Lines executed:76.92% of 13
Branches executed:33.33% of 18
Taken at least once:16.67% of 18
Calls executed:51.11% of 45
Creating 'ram#ParallelChoice.h.gcov'

File 'ram/ParallelScan.h'
Lines executed:80.00% of 10
No branches
No calls
Creating 'ram#ParallelScan.h.gcov'

File 'ram/IndexScan.h'
Lines executed:100.00% of 18
No branches
No calls
Creating 'ram#IndexScan.h.gcov'

File 'ram/IndexChoice.h'
Lines executed:91.89% of 37
No branches
No calls
Creating 'ram#IndexChoice.h.gcov'

File 'ram/IndexAggregate.h'
Lines executed:91.43% of 35
No branches
No calls
Creating 'ram#IndexAggregate.h.gcov'

File 'ram/Choice.h'
Lines executed:86.96% of 23
No branches
No calls
Creating 'ram#Choice.h.gcov'

File 'ram/transform/MakeIndex.cpp'
Lines executed:82.04% of 206
Branches executed:77.30% of 564
Taken at least once:51.60% of 564
Calls executed:65.26% of 570
Creating 'ram#transform#MakeIndex.cpp.gcov'

File 'ram/transform/IndexedInequality.cpp'
Lines executed:86.60% of 97
Branches executed:88.79% of 214
Taken at least once:51.87% of 214
Calls executed:71.93% of 285
Creating 'ram#transform#IndexedInequality.cpp.gcov'

File 'ram/transform/IfConversion.cpp'
Lines executed:100.00% of 37
Branches executed:100.00% of 64
Taken at least once:62.50% of 64
Calls executed:86.57% of 67
Creating 'ram#transform#IfConversion.cpp.gcov'

File 'ram/transform/HoistConditions.cpp'
Lines executed:100.00% of 47
Branches executed:100.00% of 64
Taken at least once:60.94% of 64
Calls executed:79.13% of 115
Creating 'ram#transform#HoistConditions.cpp.gcov'

File 'ram/transform/HoistAggregate.cpp'
Lines executed:100.00% of 52
Branches executed:100.00% of 88
Taken at least once:67.05% of 88
Calls executed:80.95% of 105
Creating 'ram#transform#HoistAggregate.cpp.gcov'

File 'ram/transform/ExpandFilter.cpp'
Lines executed:100.00% of 22
Branches executed:100.00% of 40
Taken at least once:60.00% of 40
Calls executed:80.77% of 52
Creating 'ram#transform#ExpandFilter.cpp.gcov'

File 'ram/transform/EliminateDuplicates.cpp'
Lines executed:100.00% of 25
Branches executed:100.00% of 38
Taken at least once:63.16% of 38
Calls executed:85.00% of 40
Creating 'ram#transform#EliminateDuplicates.cpp.gcov'

File 'ram/transform/CollapseFilters.cpp'
Lines executed:100.00% of 24
Branches executed:100.00% of 42
Taken at least once:57.14% of 42
Calls executed:83.33% of 36
Creating 'ram#transform#CollapseFilters.cpp.gcov'

File 'ram/transform/ChoiceConversion.cpp'
Lines executed:100.00% of 63
Branches executed:100.00% of 114
Taken at least once:60.53% of 114
Calls executed:89.11% of 101
Creating 'ram#transform#ChoiceConversion.cpp.gcov'

File 'reports/DebugReport.cpp'
Lines executed:95.35% of 86
Branches executed:97.06% of 136
Taken at least once:56.62% of 136
Calls executed:79.91% of 224
Creating 'reports#DebugReport.cpp.gcov'

File '/usr/include/c++/9/ostream'
Lines executed:100.00% of 4
No branches
Calls executed:100.00% of 1
Creating '#usr#include#c++#9#ostream.gcov'

File '/usr/include/c++/9/bits/string_view.tcc'
Lines executed:88.89% of 9
Branches executed:85.71% of 14
Taken at least once:64.29% of 14
Calls executed:100.00% of 2
Creating '#usr#include#c++#9#bits#string_view.tcc.gcov'

File 'synthesiser/Relation.cpp'
Lines executed:98.34% of 844
Branches executed:97.80% of 2545
Taken at least once:52.46% of 2545
Calls executed:89.98% of 1836
Creating 'synthesiser#Relation.cpp.gcov'

File 'synthesiser/Relation.h'
Lines executed:100.00% of 21
No branches
Calls executed:100.00% of 11
Creating 'synthesiser#Relation.h.gcov'

File 'synthesiser/Synthesiser.cpp'
Lines executed:90.78% of 1627
Branches executed:78.30% of 8490
Taken at least once:43.19% of 8490
Calls executed:74.34% of 5737
Creating 'synthesiser#Synthesiser.cpp.gcov'

File 'synthesiser/Synthesiser.h'
Lines executed:100.00% of 11
Branches executed:100.00% of 8
Taken at least once:50.00% of 8
Calls executed:66.67% of 21
Creating 'synthesiser#Synthesiser.h.gcov'

File 'FunctorOps.cpp'
Lines executed:82.07% of 145
Branches executed:83.64% of 110
Taken at least once:69.09% of 110
Calls executed:75.00% of 76
Creating 'FunctorOps.cpp.gcov'

File 'FunctorOps.h'
No executable lines
No branches
No calls
Removing 'FunctorOps.h.gcov'

File 'Global.cpp'
Lines executed:90.59% of 85
Branches executed:80.00% of 240
Taken at least once:47.50% of 240
Calls executed:61.95% of 205
Creating 'Global.cpp.gcov'

File 'main.cpp'
Lines executed:71.74% of 322
Branches executed:74.41% of 1766
Taken at least once:39.41% of 1766
Calls executed:67.65% of 1836
Creating 'main.cpp.gcov'

File 'include/souffle/profile/htmlCssChartist.h'
No executable lines
No branches
No calls
Removing 'include#souffle#profile#htmlCssChartist.h.gcov'

File 'include/souffle/profile/htmlCssStyle.h'
No executable lines
No branches
No calls
Removing 'include#souffle#profile#htmlCssStyle.h.gcov'

File 'include/souffle/profile/htmlJsChartistMin.h'
No executable lines
No branches
No calls
Removing 'include#souffle#profile#htmlJsChartistMin.h.gcov'

File 'include/souffle/profile/htmlJsChartistPlugin.h'
No executable lines
No branches
No calls
Removing 'include#souffle#profile#htmlJsChartistPlugin.h.gcov'

File 'include/souffle/profile/htmlJsMain.h'
No executable lines
No branches
No calls
Removing 'include#souffle#profile#htmlJsMain.h.gcov'

File 'include/souffle/profile/htmlJsTableSort.h'
No executable lines
No branches
No calls
Removing 'include#souffle#profile#htmlJsTableSort.h.gcov'

File 'include/souffle/profile/htmlJsUtil.h'
No executable lines
No branches
No calls
Removing 'include#souffle#profile#htmlJsUtil.h.gcov'

File 'include/souffle/profile/htmlMain.h'
No executable lines
No branches
No calls
Removing 'include#souffle#profile#htmlMain.h.gcov'

File 'interpreter/ProgInterface.h'
Lines executed:78.38% of 111
Branches executed:95.74% of 94
Taken at least once:55.32% of 94
Calls executed:78.26% of 138
Creating 'interpreter#ProgInterface.h.gcov'

File 'include/souffle/profile/Cell.h'
Lines executed:36.36% of 55
No branches
No calls
Creating 'include#souffle#profile#Cell.h.gcov'

File 'include/souffle/provenance/ExplainProvenanceImpl.h'
Lines executed:74.94% of 447
Branches executed:74.83% of 1160
Taken at least once:44.05% of 1160
Calls executed:65.58% of 1130
Creating 'include#souffle#provenance#ExplainProvenanceImpl.h.gcov'

File 'include/souffle/provenance/ExplainProvenance.h'
Lines executed:91.14% of 79
Branches executed:100.00% of 82
Taken at least once:59.76% of 82
Calls executed:81.72% of 93
Creating 'include#souffle#provenance#ExplainProvenance.h.gcov'

File 'ram/analysis/Complexity.h'
Lines executed:100.00% of 4
No branches
Calls executed:100.00% of 2
Creating 'ram#analysis#Complexity.h.gcov'

File 'ram/analysis/Level.h'
Lines executed:100.00% of 4
No branches
Calls executed:100.00% of 2
Creating 'ram#analysis#Level.h.gcov'

File 'interpreter/Engine.h'
No executable lines
No branches
No calls
Removing 'interpreter#Engine.h.gcov'

File 'ram/transform/Sequence.h'
Lines executed:100.00% of 15
Branches executed:100.00% of 6
Taken at least once:66.67% of 6
Calls executed:92.31% of 13
Creating 'ram#transform#Sequence.h.gcov'

File 'ram/transform/ReportIndex.h'
Lines executed:100.00% of 5
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:80.00% of 5
Creating 'ram#transform#ReportIndex.h.gcov'

File 'ram/transform/Conditional.h'
Lines executed:100.00% of 8
Branches executed:100.00% of 4
Taken at least once:75.00% of 4
Calls executed:91.67% of 12
Creating 'ram#transform#Conditional.h.gcov'

File 'ram/transform/Parallel.h'
Lines executed:100.00% of 5
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:85.71% of 7
Creating 'ram#transform#Parallel.h.gcov'

File 'ram/transform/ReorderFilterBreak.h'
Lines executed:100.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:83.33% of 6
Creating 'ram#transform#ReorderFilterBreak.h.gcov'

File 'ram/transform/ReorderConditions.h'
Lines executed:100.00% of 5
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:85.71% of 7
Creating 'ram#transform#ReorderConditions.h.gcov'

File 'ram/transform/EliminateDuplicates.h'
Lines executed:100.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:83.33% of 6
Creating 'ram#transform#EliminateDuplicates.h.gcov'

File 'ram/transform/HoistAggregate.h'
Lines executed:100.00% of 5
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:85.71% of 7
Creating 'ram#transform#HoistAggregate.h.gcov'

File 'ram/transform/TupleId.h'
Lines executed:100.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:83.33% of 6
Creating 'ram#transform#TupleId.h.gcov'

File 'ram/transform/CollapseFilters.h'
Lines executed:100.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:83.33% of 6
Creating 'ram#transform#CollapseFilters.h.gcov'

File 'ram/transform/ChoiceConversion.h'
Lines executed:100.00% of 5
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:85.71% of 7
Creating 'ram#transform#ChoiceConversion.h.gcov'

File 'ram/transform/IfConversion.h'
Lines executed:100.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:83.33% of 6
Creating 'ram#transform#IfConversion.h.gcov'

File 'ram/transform/IndexedInequality.h'
Lines executed:100.00% of 6
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:87.50% of 8
Creating 'ram#transform#IndexedInequality.h.gcov'

File 'ram/transform/Loop.h'
Lines executed:100.00% of 8
Branches executed:100.00% of 4
Taken at least once:75.00% of 4
Calls executed:88.89% of 9
Creating 'ram#transform#Loop.h.gcov'

File 'ram/transform/MakeIndex.h'
Lines executed:100.00% of 6
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:87.50% of 8
Creating 'ram#transform#MakeIndex.h.gcov'

File 'ram/transform/HoistConditions.h'
Lines executed:100.00% of 5
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:85.71% of 7
Creating 'ram#transform#HoistConditions.h.gcov'

File 'ram/transform/ExpandFilter.h'
Lines executed:100.00% of 4
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:83.33% of 6
Creating 'ram#transform#ExpandFilter.h.gcov'

File 'ast/transform/Pipeline.h'
Lines executed:71.79% of 39
Branches executed:62.50% of 48
Taken at least once:43.75% of 48
Calls executed:63.24% of 68
Creating 'ast#transform#Pipeline.h.gcov'

File 'ast/transform/IOAttributes.h'
Lines executed:97.78% of 135
Branches executed:99.33% of 298
Taken at least once:58.05% of 298
Calls executed:83.37% of 445
Creating 'ast#transform#IOAttributes.h.gcov'

File 'ast/transform/MaterializeAggregationQueries.h'
Lines executed:66.67% of 6
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:57.14% of 7
Creating 'ast#transform#MaterializeAggregationQueries.h.gcov'

File 'ast/transform/IODefaults.h'
Lines executed:95.00% of 40
Branches executed:100.00% of 136
Taken at least once:55.15% of 136
Calls executed:71.82% of 220
Creating 'ast#transform#IODefaults.h.gcov'

File 'ast/transform/Conditional.h'
Lines executed:46.43% of 28
Branches executed:40.00% of 30
Taken at least once:26.67% of 30
Calls executed:28.00% of 50
Creating 'ast#transform#Conditional.h.gcov'

File 'ast/transform/RemoveEmptyRelations.h'
Lines executed:100.00% of 6
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:85.71% of 7
Creating 'ast#transform#RemoveEmptyRelations.h.gcov'

File 'ast/transform/RemoveRelationCopies.h'
Lines executed:100.00% of 6
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:85.71% of 7
Creating 'ast#transform#RemoveRelationCopies.h.gcov'

File 'ast/transform/Fixpoint.h'
Lines executed:64.29% of 28
Branches executed:46.15% of 26
Taken at least once:34.62% of 26
Calls executed:43.59% of 39
Creating 'ast#transform#Fixpoint.h.gcov'

File 'include/souffle/provenance/ExplainTree.h'
Lines executed:98.94% of 94
Branches executed:100.00% of 96
Taken at least once:57.29% of 96
Calls executed:88.68% of 106
Creating 'include#souffle#provenance#ExplainTree.h.gcov'

File 'ast2ram/ProvenanceTranslator.h'
Lines executed:100.00% of 2
No branches
Calls executed:100.00% of 2
Creating 'ast2ram#ProvenanceTranslator.h.gcov'

File 'include/souffle/provenance/Explain.h'
Lines executed:46.60% of 294
Branches executed:59.07% of 518
Taken at least once:33.59% of 518
Calls executed:44.22% of 631
Creating 'include#souffle#provenance#Explain.h.gcov'

File 'include/souffle/profile/Tui.h'
Lines executed:41.40% of 988
Branches executed:1.04% of 964
Taken at least once:0.52% of 964
Calls executed:1.46% of 1029
Creating 'include#souffle#profile#Tui.h.gcov'

File 'include/souffle/profile/Table.h'
Lines executed:72.22% of 18
No branches
No calls
Creating 'include#souffle#profile#Table.h.gcov'

File 'include/souffle/profile/UserInputReader.h'
Lines executed:6.09% of 197
No branches
No calls
Creating 'include#souffle#profile#UserInputReader.h.gcov'

File 'include/souffle/profile/OutputProcessor.h'
Lines executed:82.63% of 167
No branches
No calls
Creating 'include#souffle#profile#OutputProcessor.h.gcov'

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

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

File 'include/souffle/profile/DataComparator.h'
Lines executed:28.57% of 14
No branches
No calls
Creating 'include#souffle#profile#DataComparator.h.gcov'

File 'ram/transform/Meta.h'
No executable lines
No branches
No calls
Removing 'ram#transform#Meta.h.gcov'

File 'ram/transform/Transformer.h'
Lines executed:100.00% of 1
No branches
No calls
Creating 'ram#transform#Transformer.h.gcov'

File 'include/souffle/SouffleInterface.h'
Lines executed:90.91% of 99
Branches executed:88.89% of 72
Taken at least once:52.78% of 72
Calls executed:73.08% of 104
Creating 'include#souffle#SouffleInterface.h.gcov'

File 'souffle_prof.cpp'
Lines executed:100.00% of 5
Branches executed:100.00% of 6
Taken at least once:50.00% of 6
Calls executed:80.00% of 5
Creating 'souffle_prof.cpp.gcov'

File '/usr/include/c++/9/bits/stl_tempbuf.h'
Lines executed:0.00% of 48
Branches executed:0.00% of 14
Taken at least once:0.00% of 14
Calls executed:0.00% of 23
Creating '#usr#include#c++#9#bits#stl_tempbuf.h.gcov'

File 'include/souffle/profile/Cli.h'
Lines executed:47.50% of 40
Branches executed:47.14% of 140
Taken at least once:25.00% of 140
Calls executed:36.70% of 109
Creating 'include#souffle#profile#Cli.h.gcov'

File 'include/souffle/profile/HtmlGenerator.h'
Lines executed:0.00% of 17
Branches executed:0.00% of 58
Taken at least once:0.00% of 58
Calls executed:0.00% of 60
Creating 'include#souffle#profile#HtmlGenerator.h.gcov'

+ cd /souffle
+ find . -name *gcda -delete
+ find . -name *gcno -delete
+ bash codecov.sh -K -Z -F full

  _____          _
 / ____|        | |
| |     ___   __| | ___  ___ _____   __
| |    / _ \ / _` |/ _ \/ __/ _ \ \ / /
| |___| (_) | (_| |  __/ (_| (_) \ V /
 \_____\___/ \__,_|\___|\___\___/ \_/
                              Bash-20201124-79cbc08


==> Jenkins CI detected.
    project root: .
--> token set from env
    Yaml found at: .codecov.yml
==> Running gcov in . (disable via -X gcov)
==> Python coveragepy not found
==> Searching for coverage reports in:
    + .
    -> Found 926 reports
==> Detecting git/mercurial file structure
==> Reading reports
    + ./src/Global.h.gcov bytes=65457
    + ./src/ast#Program.h.gcov bytes=47930
    + ./src/ast#analysis#TopologicallySortedSCCGraph.cpp.gcov bytes=17440
    + ./src/ast#analysis#TopologicallySortedSCCGraph.h.gcov bytes=5299
    + ./src/#usr#include#c++#9#tuple.gcov bytes=8685796
    + ./src/#usr#include#c++#9#bits#unique_ptr.h.gcov bytes=6032218
    + ./src/#usr#include#c++#9#bits#stl_algobase.h.gcov bytes=1957259
    + ./src/#usr#include#c++#9#ext#new_allocator.h.gcov bytes=5557903
    + ./src/#usr#include#c++#9#ext#aligned_buffer.h.gcov bytes=683028
    + ./src/#usr#include#c++#9#bits#move.h.gcov bytes=4316122
    + ./src/#usr#include#c++#9#bits#stl_uninitialized.h.gcov bytes=2599068
    + ./src/#usr#include#c++#9#bits#cpp_type_traits.h.gcov bytes=77949
    + ./src/#usr#include#c++#9#bits#stl_bvector.h.gcov bytes=62704
    + ./src/#usr#include#c++#9#bits#stl_pair.h.gcov bytes=475574
    + ./src/#usr#include#c++#9#bits#stl_tree.h.gcov bytes=9723758
    + ./src/#usr#include#c++#9#bits#alloc_traits.h.gcov bytes=3112206
    + ./src/#usr#include#c++#9#bits#stl_function.h.gcov bytes=288942
    + ./src/#usr#include#c++#9#bits#stl_vector.h.gcov bytes=11465277
    + ./src/#usr#include#c++#9#bits#stl_construct.h.gcov bytes=1891773
    + ./src/#usr#include#c++#9#bits#stl_iterator_base_funcs.h.gcov bytes=444405
    + ./src/#usr#include#c++#9#bits#stl_iterator_base_types.h.gcov bytes=264021
    + ./src/#usr#include#c++#9#ext#type_traits.h.gcov bytes=55708
    + ./src/#usr#include#c++#9#bits#stl_deque.h.gcov bytes=662889
    + ./src/#usr#include#c++#9#bits#basic_string.tcc.gcov bytes=530172
    + ./src/#usr#include#c++#9#bits#predefined_ops.h.gcov bytes=476632
    + ./src/include#souffle#utility#StreamUtil.h.gcov bytes=783561
    + ./src/#usr#include#c++#9#bits#vector.tcc.gcov bytes=4396008
    + ./src/#usr#include#c++#9#bits#stl_map.h.gcov bytes=916249
    + ./src/#usr#include#c++#9#bits#stl_iterator.h.gcov bytes=5555966
    + ./src/reports#DebugReport.h.gcov bytes=70366
    + ./src/#usr#include#c++#9#bits#basic_string.h.gcov bytes=888352
    + ./src/#usr#include#c++#9#bits#stl_algo.h.gcov bytes=1504631
    + ./src/include#souffle#utility#MiscUtil.h.gcov bytes=351985
    + ./src/include#souffle#utility#ContainerUtil.h.gcov bytes=1549329
    + ./src/#usr#include#c++#9#bits#allocator.h.gcov bytes=1132945
    + ./src/#usr#include#c++#9#ext#alloc_traits.h.gcov bytes=199807
    + ./src/#usr#include#c++#9#bits#stl_set.h.gcov bytes=338427
    + ./src/ast#TranslationUnit.h.gcov bytes=362960
    + ./src/#usr#include#c++#9#bits#stl_stack.h.gcov bytes=55419
    + ./src/#usr#include#c++#9#ext#string_conversions.h.gcov bytes=60411
    + ./src/#usr#include#c++#9#bits#char_traits.h.gcov bytes=308348
    + ./src/ast#analysis#SCCGraph.h.gcov bytes=22550
    + ./src/ast#Relation.h.gcov bytes=74916
    + ./src/ast#QualifiedName.h.gcov bytes=105262
    + ./src/ast#analysis#Analysis.h.gcov bytes=30610
    + ./src/#usr#include#c++#9#new.gcov bytes=47951
    + ./src/ast#analysis#SumTypeBranches.cpp.gcov bytes=3548
    + ./src/ast#utility#Visitor.h.gcov bytes=1140433
    + ./src/#usr#include#c++#9#bits#std_function.h.gcov bytes=3262754
    + ./src/ast#analysis#TypeSystem.h.gcov bytes=100440
    + ./src/ast#analysis#SumTypeBranches.h.gcov bytes=5614
    + ./src/include#souffle#utility#tinyformat.h.gcov bytes=2961895
    + ./src/#usr#include#c++#9#initializer_list.gcov bytes=91385
    + ./src/include#souffle#utility#FunctionalUtil.h.gcov bytes=27132
    + ./src/ast#analysis#TypeEnvironment.h.gcov bytes=9080
    + ./src/ast#AlgebraicDataType.h.gcov bytes=6862
    + ./src/ast#BranchDeclaration.h.gcov bytes=6513
    + ./src/ast#Type.h.gcov bytes=6277
    + ./src/#usr#include#c++#9#bits#ios_base.h.gcov bytes=364563
    + ./src/#usr#include#c++#9#typeinfo.gcov bytes=61624
    + ./src/ast#analysis#RelationSchedule.cpp.gcov bytes=13379
    + ./src/ast#analysis#RelationSchedule.h.gcov bytes=7665
    + ./src/GraphUtils.h.gcov bytes=59565
    + ./src/ast#analysis#PrecedenceGraph.h.gcov bytes=5378
    + ./src/ast#analysis#RedundantRelations.cpp.gcov bytes=6409
    + ./src/ast#analysis#RedundantRelations.h.gcov bytes=2972
    + ./src/ast#analysis#IOType.h.gcov bytes=17684
    + ./src/ast#Node.h.gcov bytes=82331
    + ./src/ast#analysis#RecursiveClauses.cpp.gcov bytes=7806
    + ./src/ast#analysis#RecursiveClauses.h.gcov bytes=4000
    + ./src/ast#utility#Utils.h.gcov bytes=13116
    + ./src/ast#analysis#RelationDetailCache.h.gcov bytes=11909
    + ./src/ast#Clause.h.gcov bytes=120875
    + ./src/ast#Atom.h.gcov bytes=69237
    + ./src/ast#analysis#ProfileUse.cpp.gcov bytes=4927
    + ./src/#usr#include#c++#9#bits#shared_ptr_base.h.gcov bytes=1123665
    + ./src/include#souffle#profile#Rule.h.gcov bytes=25008
    + ./src/include#souffle#profile#Iteration.h.gcov bytes=17456
    + ./src/include#souffle#profile#Relation.h.gcov bytes=50857
    + ./src/include#souffle#utility#json11.h.gcov bytes=381356
    + ./src/include#souffle#profile#Reader.h.gcov bytes=158602
    + ./src/include#souffle#profile#StringUtils.h.gcov bytes=57999
    + ./src/include#souffle#profile#EventProcessor.h.gcov bytes=425831
    + ./src/ast#analysis#ProfileUse.h.gcov bytes=3322
    + ./src/#usr#include#c++#9#bits#shared_ptr.h.gcov bytes=212978
    + ./src/#usr#include#c++#9#bits#ptr_traits.h.gcov bytes=36540
    + ./src/#usr#include#c++#9#bits#allocated_ptr.h.gcov bytes=179122
    + ./src/#usr#include#c++#9#bits#streambuf_iterator.h.gcov bytes=35427
    + ./src/#usr#include#c++#9#bits#hashtable_policy.h.gcov bytes=1115838
    + ./src/#usr#include#c++#9#utility.gcov bytes=64593
    + ./src/#usr#include#c++#9#bits#hashtable.h.gcov bytes=1151119
    + ./src/include#souffle#profile#ProfileDatabase.h.gcov bytes=165817
    + ./src/#usr#include#c++#9#chrono.gcov bytes=145183
    + ./src/#usr#include#c++#9#bits#unordered_map.h.gcov bytes=186181
    + ./src/#usr#include#c++#9#bits#postypes.h.gcov bytes=13219
    + ./src/#usr#include#c++#9#bits#atomic_base.h.gcov bytes=55745
    + ./src/#usr#include#c++#9#bits#std_mutex.h.gcov bytes=17596
    + ./src/include#souffle#profile#ProfileEvent.h.gcov bytes=35366
    + ./src/#usr#include#c++#9#thread.gcov bytes=39821
    + ./src/#usr#include#c++#9#atomic.gcov bytes=77072
    + ./src/include#souffle#profile#ProgramRun.h.gcov bytes=23439
    + ./src/#usr#include#c++#9#cmath.gcov bytes=84298
    + ./src/#usr#include#c++#9#bits#functional_hash.h.gcov bytes=17569
    + ./src/#usr#include#c++#9#limits.gcov bytes=103888
    + ./src/#usr#include#c++#9#ext#atomicity.h.gcov bytes=30275
    + ./src/#usr#include#x86_64-linux-gnu#c++#9#bits#gthr-default.h.gcov bytes=51085
    + ./src/ast#analysis#PolymorphicObjects.cpp.gcov bytes=3877
    + ./src/ast#analysis#PolymorphicObjects.h.gcov bytes=4225
    + ./src/ast#analysis#Type.h.gcov bytes=10956
    + ./src/ast#analysis#IOType.cpp.gcov bytes=8431
    + ./src/ast#Directive.h.gcov bytes=20565
    + ./src/ast#analysis#Ground.cpp.gcov bytes=25483
    + ./src/ast#analysis#Constraint.h.gcov bytes=22746
    + ./src/ast#analysis#ConstraintSystem.h.gcov bytes=46821
    + ./src/ast#Variable.h.gcov bytes=32294
    + ./src/ast#TypeCast.h.gcov bytes=12853
    + ./src/ast#Negation.h.gcov bytes=22027
    + ./src/ast#Term.h.gcov bytes=26386
    + ./src/ast#BinaryConstraint.h.gcov bytes=66235
    + ./src/include#souffle#BinaryConstraintOps.h.gcov bytes=101620
    + ./src/ast#analysis#Functor.cpp.gcov bytes=3423
    + ./src/ast#analysis#Functor.h.gcov bytes=3639
    + ./src/ast#analysis#ComponentLookup.cpp.gcov bytes=7425
    + ./src/ast#analysis#ComponentLookup.h.gcov bytes=13470
    + ./src/include#souffle#utility#StringUtil.h.gcov bytes=150908
    + ./src/ast#Component.h.gcov bytes=37917
    + ./src/ast#ComponentType.h.gcov bytes=7334
    + ./src/ast#analysis#ClauseNormalisation.cpp.gcov bytes=25885
    + ./src/ast#analysis#ClauseNormalisation.h.gcov bytes=6032
    + ./src/ast#Aggregator.h.gcov bytes=50006
    + ./src/AggregateOp.h.gcov bytes=17918
    + ./src/ast#analysis#Aggregate.cpp.gcov bytes=41846
    + ./src/ast#utility#NodeMapper.h.gcov bytes=12149
    + ./src/parser#SrcLocation.h.gcov bytes=4184
    + ./src/ast#analysis#TypeEnvironment.cpp.gcov bytes=22251
    + ./src/#usr#include#c++#9#bits#stl_heap.h.gcov bytes=120693
    + ./src/ast#UnionType.h.gcov bytes=6463
    + ./src/ast#SubsetType.h.gcov bytes=7876
    + ./src/ast#RecordType.h.gcov bytes=7372
    + ./src/ast#Attribute.h.gcov bytes=13663
    + ./src/ast#analysis#TypeSystem.cpp.gcov bytes=42964
    + ./src/#usr#include#c++#9#optional.gcov bytes=275130
    + ./src/ast#analysis#TypeConstraints.cpp.gcov bytes=76013
    + ./src/ast#analysis#TypeConstraints.h.gcov bytes=7357
    + ./src/#usr#include#c++#9#bits#refwrap.h.gcov bytes=21079
    + ./src/ast#NumericConstant.h.gcov bytes=18323
    + ./src/ast#IntrinsicFunctor.h.gcov bytes=33640
    + ./src/ast#Constant.h.gcov bytes=9480
    + ./src/ast#BranchInit.h.gcov bytes=6614
    + ./src/#usr#include#c++#9#bits#exception.h.gcov bytes=6983
    + ./src/ast#analysis#Type.cpp.gcov bytes=54411
    + ./src/ast#UserDefinedFunctor.h.gcov bytes=11936
    + ./src/ast#FunctorDeclaration.h.gcov bytes=9386
    + ./src/include#souffle#TypeAttribute.h.gcov bytes=2364
    + ./src/ast#analysis#SCCGraph.cpp.gcov bytes=15666
    + ./src/#usr#include#c++#9#bits#deque.tcc.gcov bytes=212461
    + ./src/include#souffle#utility#FileUtil.h.gcov bytes=54076
    + ./src/ast#analysis#RelationDetailCache.cpp.gcov bytes=5724
    + ./src/ast#analysis#PrecedenceGraph.cpp.gcov bytes=8573
    + ./src/ast#analysis#AuxArity.cpp.gcov bytes=1842
    + ./src/ast#transform#UniqueAggregationVariables.cpp.gcov bytes=5830
    + ./src/ast#transform#UniqueAggregationVariables.h.gcov bytes=2296
    + ./src/ast#transform#Transformer.h.gcov bytes=14728
    + ./src/ast#transform#TypeChecker.cpp.gcov bytes=80073
    + ./src/reports#ErrorReport.h.gcov bytes=76162
    + ./src/#usr#include#c++#9#bits#unordered_set.h.gcov bytes=98533
    + ./src/ast#transform#Transformer.cpp.gcov bytes=1971
    + ./src/ast#transform#SimplifyAggregateTargetExpression.cpp.gcov bytes=15526
    + ./src/ast#transform#SimplifyAggregateTargetExpression.h.gcov bytes=2339
    + ./src/ast#transform#SemanticChecker.cpp.gcov bytes=117127
    + ./src/ast#transform#GroundedTermsChecker.h.gcov bytes=3761
    + ./src/ast#transform#TypeChecker.h.gcov bytes=3194
    + ./src/ast#transform#SemanticChecker.h.gcov bytes=2706
    + ./src/ast#ExecutionPlan.h.gcov bytes=11092
    + ./src/ast#ExecutionOrder.h.gcov bytes=4867
    + ./src/ast#transform#ResolveAnonymousRecordAliases.cpp.gcov bytes=16579
    + ./src/ast#transform#ResolveAnonymousRecordAliases.h.gcov bytes=3591
    + ./src/ast#BooleanConstraint.h.gcov bytes=9182
    + ./src/ast#transform#ResolveAliases.cpp.gcov bytes=48747
    + ./src/ast#transform#ResolveAliases.h.gcov bytes=3689
    + ./src/ast#transform#ReplaceSingletonVariables.cpp.gcov bytes=10244
    + ./src/ast#transform#ReplaceSingletonVariables.h.gcov bytes=2361
    + ./src/ast#UnnamedVariable.h.gcov bytes=5758
    + ./src/ast#transform#ReorderLiterals.cpp.gcov bytes=10347
    + ./src/ast#transform#ReorderLiterals.h.gcov bytes=2927
    + ./src/ast#transform#RemoveRelationCopies.cpp.gcov bytes=15197
    + ./src/ast#transform#RemoveRedundantSums.cpp.gcov bytes=6128
    + ./src/ast#transform#RemoveRedundantSums.h.gcov bytes=2353
    + ./src/ast#transform#RemoveRedundantRelations.cpp.gcov bytes=2517
    + ./src/ast#transform#RemoveRedundantRelations.h.gcov bytes=2302
    + ./src/ast#transform#RemoveEmptyRelations.cpp.gcov bytes=13364
    + ./src/ast#transform#RemoveBooleanConstraints.cpp.gcov bytes=14157
    + ./src/ast#transform#RemoveBooleanConstraints.h.gcov bytes=2359
    + ./src/ast#transform#ReduceExistentials.cpp.gcov bytes=21910
    + ./src/ast#transform#ReduceExistentials.h.gcov bytes=2453
    + ./src/RelationTag.h.gcov bytes=20707
    + ./src/ast#transform#Provenance.cpp.gcov bytes=51978
    + ./src/ast#transform#Provenance.h.gcov bytes=2304
    + ./src/ast#StringConstant.h.gcov bytes=5884
    + ./src/ast#transform#PragmaChecker.cpp.gcov bytes=3041
    + ./src/ast#transform#PragmaChecker.h.gcov bytes=2062
    + ./src/ast#Pragma.h.gcov bytes=4019
    + ./src/ast#transform#PartitionBodyLiterals.cpp.gcov bytes=24107
    + ./src/ast#transform#PartitionBodyLiterals.h.gcov bytes=2925
    + ./src/ast#transform#NormaliseMultiResultFunctors.cpp.gcov bytes=7028
    + ./src/ast#transform#NormaliseMultiResultFunctors.h.gcov bytes=2263
    + ./src/ast#transform#NameUnnamedVariables.cpp.gcov bytes=5029
    + ./src/ast#transform#NameUnnamedVariables.h.gcov bytes=2489
    + ./src/ast#transform#MinimiseProgram.cpp.gcov bytes=42752
    + ./src/ast#transform#MinimiseProgram.h.gcov bytes=4867
    + ./src/ast#transform#Meta.cpp.gcov bytes=3468
    + ./src/ast#transform#MaterializeSingletonAggregation.cpp.gcov bytes=15942
    + ./src/ast#transform#MaterializeSingletonAggregation.h.gcov bytes=3399
    + ./src/ast#transform#MaterializeAggregationQueries.cpp.gcov bytes=44705
    + ./src/ast#transform#MagicSet.cpp.gcov bytes=164667
    + ./src/ast#transform#MagicSet.h.gcov bytes=23225
    + ./src/ast#utility#BindingStore.h.gcov bytes=9098
    + ./src/ast#transform#InlineRelations.cpp.gcov bytes=118314
    + ./src/ast#RecordInit.h.gcov bytes=8463
    + ./src/ast#transform#InlineRelations.h.gcov bytes=2261
    + ./src/ast#transform#GroundWitnesses.cpp.gcov bytes=13871
    + ./src/ast#transform#GroundWitnesses.h.gcov bytes=3042
    + ./src/ast#transform#GroundedTermsChecker.cpp.gcov bytes=7075
    + ./src/ast#transform#FoldAnonymousRecords.cpp.gcov bytes=17388
    + ./src/ast#transform#FoldAnonymousRecords.h.gcov bytes=4862
    + ./src/#usr#include#c++#9#bits#range_access.h.gcov bytes=16209
    + ./src/ast#transform#ExecutionPlanChecker.cpp.gcov bytes=8433
    + ./src/ast#transform#ExecutionPlanChecker.h.gcov bytes=2129
    + ./src/ast#transform#DebugReporter.cpp.gcov bytes=5557
    + ./src/ast#transform#DebugReporter.h.gcov bytes=6690
    + ./src/ast#transform#Null.h.gcov bytes=6839
    + ./src/#usr#include#c++#9#string_view.gcov bytes=40196
    + ./src/ast#transform#ComponentInstantiation.cpp.gcov bytes=56076
    + ./src/ast#transform#ComponentInstantiation.h.gcov bytes=2132
    + ./src/ast#ComponentInit.h.gcov bytes=7594
    + ./src/ast#transform#ComponentChecker.cpp.gcov bytes=28371
    + ./src/ast#transform#ComponentChecker.h.gcov bytes=4594
    + ./src/ast#transform#AddNullariesToAtomlessAggregates.cpp.gcov bytes=7247
    + ./src/ast#transform#AddNullariesToAtomlessAggregates.h.gcov bytes=2827
    + ./src/ast#utility#Utils.cpp.gcov bytes=33440
    + ./src/ast#utility#SipsMetric.cpp.gcov bytes=32710
    + ./src/ast#utility#SipsMetric.h.gcov bytes=10906
    + ./src/ast#utility#BindingStore.cpp.gcov bytes=17879
    + ./src/ast#Program.cpp.gcov bytes=9889
    + ./src/ast2ram#utility#Utils.cpp.gcov bytes=7601
    + ./src/ram#utility#LambdaNodeMapper.h.gcov bytes=29374
    + ./src/ram#TupleElement.h.gcov bytes=11146
    + ./src/ram#utility#NodeMapper.h.gcov bytes=11823
    + ./src/ram#Node.h.gcov bytes=72350
    + ./src/ast2ram#ProvenanceClauseTranslator.cpp.gcov bytes=7645
    + ./src/ram#SubroutineReturn.h.gcov bytes=16998
    + ./src/ram#SignedConstant.h.gcov bytes=7371
    + ./src/ram#Operation.h.gcov bytes=11364
    + ./src/ram#Constant.h.gcov bytes=3802
    + ./src/ast2ram#ValueTranslator.cpp.gcov bytes=14027
    + ./src/ast2ram#ValueTranslator.h.gcov bytes=3955
    + ./src/ram#SubroutineArgument.h.gcov bytes=3706
    + ./src/ram#PackRecord.h.gcov bytes=8187
    + ./src/ram#AutoIncrement.h.gcov bytes=2001
    + ./src/ram#UserDefinedOperator.h.gcov bytes=10291
    + ./src/ram#IntrinsicOperator.h.gcov bytes=10784
    + ./src/ram#FloatConstant.h.gcov bytes=5530
    + ./src/ram#UnsignedConstant.h.gcov bytes=5669
    + ./src/ram#UndefValue.h.gcov bytes=5423
    + ./src/include#souffle#RamTypes.h.gcov bytes=5093
    + ./src/include#souffle#SymbolTable.h.gcov bytes=26570
    + ./src/include#souffle#utility#ParallelUtil.h.gcov bytes=56501
    + ./src/ram#AbstractOperator.h.gcov bytes=9699
    + ./src/ast2ram#AstToRamTranslator.h.gcov bytes=10602
    + ./src/ast#SubroutineArgument.h.gcov bytes=3423
    + ./src/ast2ram#ValueIndex.cpp.gcov bytes=10483
    + ./src/ast2ram#Location.h.gcov bytes=4825
    + ./src/ast2ram#ValueIndex.h.gcov bytes=4339
    + ./src/ast2ram#ProvenanceTranslator.cpp.gcov bytes=47389
    + ./src/ram#Query.h.gcov bytes=12954
    + ./src/ram#Filter.h.gcov bytes=31131
    + ./src/ram#Negation.h.gcov bytes=14489
    + ./src/ram#ExistenceCheck.h.gcov bytes=4738
    + ./src/ast#ProvenanceNegation.h.gcov bytes=2694
    + ./src/ram#Sequence.h.gcov bytes=9747
    + ./src/ast2ram#ProvenanceClauseTranslator.h.gcov bytes=2007
    + ./src/ram#ListStatement.h.gcov bytes=15225
    + ./src/ram#Statement.h.gcov bytes=4149
    + ./src/ram#AbstractConditional.h.gcov bytes=39605
    + ./src/ram#NestedOperation.h.gcov bytes=47473
    + ./src/ram#AbstractExistenceCheck.h.gcov bytes=17728
    + ./src/ast2ram#ClauseTranslator.h.gcov bytes=4360
    + ./src/ast#analysis#AuxArity.h.gcov bytes=5116
    + ./src/ast2ram#ConstraintTranslator.cpp.gcov bytes=11870
    + ./src/ast2ram#ConstraintTranslator.h.gcov bytes=2733
    + ./src/ram#EmptinessCheck.h.gcov bytes=7783
    + ./src/ram#ProvenanceExistenceCheck.h.gcov bytes=4064
    + ./src/ram#Constraint.h.gcov bytes=26156
    + ./src/ram#Scan.h.gcov bytes=13032
    + ./src/ast2ram#ClauseTranslator.cpp.gcov bytes=65133
    + ./src/ram#UnpackRecord.h.gcov bytes=10091
    + ./src/ram#Break.h.gcov bytes=7652
    + ./src/ram#NestedIntrinsicOperator.h.gcov bytes=10493
    + ./src/ram#Aggregate.h.gcov bytes=21937
    + ./src/ram#True.h.gcov bytes=2853
    + ./src/ram#Project.h.gcov bytes=16854
    + ./src/ram#Conjunction.h.gcov bytes=39036
    + ./src/ram#AbstractAggregate.h.gcov bytes=27918
    + ./src/ram#RelationOperation.h.gcov bytes=10466
    + ./src/ram#utility#Utils.h.gcov bytes=27389
    + ./src/ram#TupleOperation.h.gcov bytes=13107
    + ./src/ram#Relation.h.gcov bytes=28690
    + ./src/ast2ram#AstToRamTranslator.cpp.gcov bytes=111958
    + ./src/ram#TranslationUnit.h.gcov bytes=42355
    + ./src/ram#LogTimer.h.gcov bytes=5405
    + ./src/ram#Call.h.gcov bytes=4159
    + ./src/ram#IO.h.gcov bytes=7554
    + ./src/ram#Loop.h.gcov bytes=6003
    + ./src/ram#Parallel.h.gcov bytes=4916
    + ./src/ram#RelationSize.h.gcov bytes=4290
    + ./src/ram#Exit.h.gcov bytes=6125
    + ./src/ram#Swap.h.gcov bytes=3482
    + ./src/ram#Extend.h.gcov bytes=5172
    + ./src/ram#LogSize.h.gcov bytes=4981
    + ./src/ram#DebugInfo.h.gcov bytes=5012
    + ./src/ram#LogRelationTimer.h.gcov bytes=6604
    + ./src/ram#Clear.h.gcov bytes=3213
    + ./src/ram#Program.h.gcov bytes=17803
    + ./src/ram#BinRelationStatement.h.gcov bytes=5946
    + ./src/ram#AbstractLog.h.gcov bytes=5306
    + ./src/ram#RelationStatement.h.gcov bytes=3517
    + ./src/LogStatement.h.gcov bytes=19463
    + ./src/interpreter#ProvenanceIndex.cpp.gcov bytes=8600
    + ./src/include#souffle#datastructure#BTree.h.gcov bytes=10479183
    + ./src/interpreter#Relation.h.gcov bytes=903469
    + ./src/interpreter#Util.h.gcov bytes=4814157
    + ./src/include#souffle#utility#CacheUtil.h.gcov bytes=724759
    + ./src/#usr#include#c++#9#array.gcov bytes=170097
    + ./src/interpreter#Index.h.gcov bytes=660793
    + ./src/ram#analysis#Index.h.gcov bytes=42503
    + ./src/interpreter#EqrelIndex.cpp.gcov bytes=1897
    + ./src/include#souffle#datastructure#EquivalenceRelation.h.gcov bytes=83628
    + ./src/include#souffle#datastructure#PiggyList.h.gcov bytes=42040
    + ./src/include#souffle#datastructure#UnionFind.h.gcov bytes=46261
    + ./src/include#souffle#datastructure#LambdaBTree.h.gcov bytes=145557
    + ./src/#usr#include#c++#9#shared_mutex.gcov bytes=43375
    + ./src/interpreter#BTreeIndex.cpp.gcov bytes=6890
    + ./src/interpreter#Generator.cpp.gcov bytes=132093
    + ./src/interpreter#ViewContext.h.gcov bytes=6379
    + ./src/ram#utility#Visitor.h.gcov bytes=929002
    + ./src/interpreter#Node.h.gcov bytes=133804
    + ./src/#usr#include#c++#9#bits#stl_queue.h.gcov bytes=50436
    + ./src/ram#AbstractChoice.h.gcov bytes=10873
    + ./src/ram#IndexOperation.h.gcov bytes=65183
    + ./src/interpreter#Engine.cpp.gcov bytes=4603867
    + ./src/#usr#include#c++#9#bits#invoke.h.gcov bytes=14305
    + ./src/#usr#include#c++#9#bits#regex_automaton.h.gcov bytes=53074
    + ./src/include#souffle#RecordTable.h.gcov bytes=11726
    + ./src/interpreter#Context.h.gcov bytes=8330
    + ./src/include#souffle#io#gzfstream.h.gcov bytes=16041
    + ./src/include#souffle#io#ReadStreamCSV.h.gcov bytes=36167
    + ./src/include#souffle#io#ReadStreamJSON.h.gcov bytes=44880
    + ./src/include#souffle#io#WriteStreamCSV.h.gcov bytes=31910
    + ./src/#usr#include#c++#9#variant.gcov bytes=192419
    + ./src/include#souffle#io#WriteStreamJSON.h.gcov bytes=38553
    + ./src/include#souffle#io#ReadStreamSQLite.h.gcov bytes=23746
    + ./src/include#souffle#io#WriteStreamSQLite.h.gcov bytes=39590
    + ./src/#usr#include#c++#9#bitset.gcov bytes=80695
    + ./src/#usr#include#c++#9#bits#regex_compiler.h.gcov bytes=159111
    + ./src/#usr#include#c++#9#bits#regex.h.gcov bytes=182403
    + ./src/#usr#include#c++#9#bits#regex.tcc.gcov bytes=62280
    + ./src/#usr#include#c++#9#bits#regex_compiler.tcc.gcov bytes=232472
    + ./src/#usr#include#c++#9#bits#regex_executor.h.gcov bytes=46432
    + ./src/#usr#include#c++#9#bits#regex_executor.tcc.gcov bytes=143775
    + ./src/#usr#include#c++#9#bits#regex_automaton.tcc.gcov bytes=20145
    + ./src/#usr#include#c++#9#bits#regex_scanner.tcc.gcov bytes=75489
    + ./src/include#souffle#io#WriteStream.h.gcov bytes=21339
    + ./src/include#souffle#io#ReadStream.h.gcov bytes=32052
    + ./src/#usr#include#c++#9#bits#regex_scanner.h.gcov bytes=19061
    + ./src/#usr#include#c++#9#bits#locale_classes.tcc.gcov bytes=13209
    + ./src/#usr#include#c++#9#functional.gcov bytes=63339
    + ./src/#usr#include#c++#9#bits#unique_lock.h.gcov bytes=11006
    + ./src/#usr#include#c++#9#condition_variable.gcov bytes=16939
    + ./src/include#souffle#utility#EvaluatorUtil.h.gcov bytes=16387
    + ./src/#usr#include#c++#9#bits#enable_special_members.h.gcov bytes=17666
    + ./src/include#souffle#io#SerialisationStream.h.gcov bytes=15715
    + ./src/#usr#include#c++#9#bits#regex_error.h.gcov bytes=9608
    + ./src/#usr#include#c++#9#bits#regex_constants.h.gcov bytes=25604
    + ./src/include#souffle#profile#Logger.h.gcov bytes=6012
    + ./src/include#souffle#io#IOSystem.h.gcov bytes=12265
    + ./src/#usr#include#c++#9#iomanip.gcov bytes=27246
    + ./src/include#souffle#SignalHandler.h.gcov bytes=12028
    + ./src/ram#analysis#Analysis.h.gcov bytes=8122
    + ./src/#usr#include#c++#9#type_traits.gcov bytes=140673
    + ./src/#usr#include#x86_64-linux-gnu#c++#9#bits#ctype_inline.h.gcov bytes=4146
    + ./src/#usr#include#c++#9#bits#locale_facets.h.gcov bytes=137576
    + ./src/parser#ParserUtils.cpp.gcov bytes=21051
    + ./src/parser#ParserUtils.h.gcov bytes=4876
    + ./src/parser#scanner.cc.gcov bytes=140158
    + ./src/parser#parser.hh.gcov bytes=385450
    + ./src/parser#scanner.ll.gcov bytes=70192
    + ./src/parser#parser.yy.gcov bytes=182123
    + ./src/ast#NilConstant.h.gcov bytes=2389
    + ./src/ast#Counter.h.gcov bytes=2060
    + ./src/parser#parser.cc.gcov bytes=218509
    + ./src/parser#SrcLocation.cpp.gcov bytes=13627
    + ./src/parser#ParserDriver.cpp.gcov bytes=35214
    + ./src/parser#ParserDriver.h.gcov bytes=5258
    + ./src/ram#analysis#Level.cpp.gcov bytes=24450
    + ./src/ram#analysis#Complexity.cpp.gcov bytes=5749
    + ./src/ram#analysis#Relation.cpp.gcov bytes=2730
    + ./src/ram#analysis#Relation.h.gcov bytes=2469
    + ./src/ram#analysis#Index.cpp.gcov bytes=72799
    + ./src/ram#transform#TupleId.cpp.gcov bytes=5379
    + ./src/ram#transform#Transformer.cpp.gcov bytes=9618
    + ./src/ram#transform#ReorderFilterBreak.cpp.gcov bytes=4985
    + ./src/ram#transform#ReorderConditions.cpp.gcov bytes=7013
    + ./src/ram#transform#Parallel.cpp.gcov bytes=14463
    + ./src/ram#ParallelIndexAggregate.h.gcov bytes=7469
    + ./src/ram#ParallelAggregate.h.gcov bytes=5769
    + ./src/ram#ParallelIndexChoice.h.gcov bytes=7265
    + ./src/ram#ParallelIndexScan.h.gcov bytes=12820
    + ./src/ram#ParallelChoice.h.gcov bytes=5155
    + ./src/ram#ParallelScan.h.gcov bytes=8246
    + ./src/ram#IndexScan.h.gcov bytes=17005
    + ./src/ram#IndexChoice.h.gcov bytes=29923
    + ./src/ram#IndexAggregate.h.gcov bytes=27764
    + ./src/ram#Choice.h.gcov bytes=17284
    + ./src/ram#transform#MakeIndex.cpp.gcov bytes=57042
    + ./src/ram#transform#IndexedInequality.cpp.gcov bytes=27043
    + ./src/ram#transform#IfConversion.cpp.gcov bytes=9147
    + ./src/ram#transform#HoistConditions.cpp.gcov bytes=11762
    + ./src/ram#transform#HoistAggregate.cpp.gcov bytes=12548
    + ./src/ram#transform#ExpandFilter.cpp.gcov bytes=6287
    + ./src/ram#transform#EliminateDuplicates.cpp.gcov bytes=6042
    + ./src/ram#transform#CollapseFilters.cpp.gcov bytes=6049
    + ./src/ram#transform#ChoiceConversion.cpp.gcov bytes=14213
    + ./src/reports#DebugReport.cpp.gcov bytes=24955
    + ./src/#usr#include#c++#9#ostream.gcov bytes=33861
    + ./src/#usr#include#c++#9#bits#string_view.tcc.gcov bytes=10960
    + ./src/synthesiser#Relation.cpp.gcov bytes=197818
    + ./src/synthesiser#Relation.h.gcov bytes=9943
    + ./src/synthesiser#Synthesiser.cpp.gcov bytes=555528
    + ./src/synthesiser#Synthesiser.h.gcov bytes=7204
    + ./src/FunctorOps.cpp.gcov bytes=26322
    + ./src/Global.cpp.gcov bytes=24782
    + ./src/main.cpp.gcov bytes=142068
    + ./src/interpreter#ProgInterface.h.gcov bytes=26061
    + ./src/include#souffle#profile#Cell.h.gcov bytes=25684
    + ./src/include#souffle#provenance#ExplainProvenanceImpl.h.gcov bytes=113530
    + ./src/include#souffle#provenance#ExplainProvenance.h.gcov bytes=19480
    + ./src/ram#analysis#Complexity.h.gcov bytes=2654
    + ./src/ram#analysis#Level.h.gcov bytes=3347
    + ./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=3346
    + ./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=5194
    + ./src/ram#transform#Loop.h.gcov bytes=2946
    + ./src/ram#transform#MakeIndex.h.gcov bytes=7632
    + ./src/ram#transform#HoistConditions.h.gcov bytes=4901
    + ./src/ram#transform#ExpandFilter.h.gcov bytes=3180
    + ./src/ast#transform#Pipeline.h.gcov bytes=24844
    + ./src/ast#transform#IOAttributes.h.gcov bytes=37493
    + ./src/ast#transform#MaterializeAggregationQueries.h.gcov bytes=9219
    + ./src/ast#transform#IODefaults.h.gcov bytes=16750
    + ./src/ast#transform#Conditional.h.gcov bytes=7746
    + ./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/ast2ram#ProvenanceTranslator.h.gcov bytes=2417
    + ./src/include#souffle#provenance#Explain.h.gcov bytes=66036
    + ./src/include#souffle#profile#Tui.h.gcov bytes=388186
    + ./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#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/include#souffle#SouffleInterface.h.gcov bytes=62866
    + ./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
    + ./tests/testsuite.dir/001/souffleTCxX9j.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#CompiledSouffle.h.gcov bytes=6181551
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#SouffleInterface.h.gcov bytes=2400936
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_pair.h.gcov bytes=6462643
    + ./tests/testsuite.dir/001/#usr#include#c++#9#tuple.gcov bytes=73369640
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#predefined_ops.h.gcov bytes=1733525
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_algobase.h.gcov bytes=18405054
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#unique_ptr.h.gcov bytes=43413275
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_tree.h.gcov bytes=107252566
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#move.h.gcov bytes=33599810
    + ./tests/testsuite.dir/001/#usr#include#c++#9#array.gcov bytes=868668
    + ./tests/testsuite.dir/001/#usr#include#c++#9#ext#new_allocator.h.gcov bytes=63333916
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#shared_ptr_base.h.gcov bytes=56497753
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_map.h.gcov bytes=14757884
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_vector.h.gcov bytes=43377139
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#ContainerUtil.h.gcov bytes=7105840
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#alloc_traits.h.gcov bytes=29204040
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#json11.h.gcov bytes=24921782
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#profile#EventProcessor.h.gcov bytes=28344579
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#datastructure#BTree.h.gcov bytes=55610247
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#RecordTable.h.gcov bytes=2138815
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#SymbolTable.h.gcov bytes=1063886
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#gzfstream.h.gcov bytes=3535958
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#ReadStreamCSV.h.gcov bytes=9474342
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#ReadStreamJSON.h.gcov bytes=12142565
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#WriteStreamCSV.h.gcov bytes=8548126
    + ./tests/testsuite.dir/001/#usr#include#c++#9#variant.gcov bytes=31673357
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#WriteStreamJSON.h.gcov bytes=10363243
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#ReadStreamSQLite.h.gcov bytes=6169936
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#WriteStreamSQLite.h.gcov bytes=10715219
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_iterator.h.gcov bytes=19189392
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_uninitialized.h.gcov bytes=15932158
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_algo.h.gcov bytes=4242831
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_iterator_base_types.h.gcov bytes=1204903
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#StreamUtil.h.gcov bytes=1182224
    + ./tests/testsuite.dir/001/#usr#include#c++#9#ext#aligned_buffer.h.gcov bytes=10764423
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_construct.h.gcov bytes=8091698
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#shared_ptr.h.gcov bytes=8823383
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#invoke.h.gcov bytes=2093443
    + ./tests/testsuite.dir/001/#usr#include#c++#9#utility.gcov bytes=1309084
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#tinyformat.h.gcov bytes=15373286
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#WriteStream.h.gcov bytes=5502189
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#ReadStream.h.gcov bytes=7725880
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#cpp_type_traits.h.gcov bytes=618606
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#hashtable_policy.h.gcov bytes=25883776
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#CacheUtil.h.gcov bytes=3236533
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#atomic_base.h.gcov bytes=693222
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#vector.tcc.gcov bytes=15387540
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#allocator.h.gcov bytes=15088365
    + ./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=5708361
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#ptr_traits.h.gcov bytes=644495
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#allocated_ptr.h.gcov bytes=10844684
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#streambuf_iterator.h.gcov bytes=1329525
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_function.h.gcov bytes=1804004
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#hashtable.h.gcov bytes=27768595
    + ./tests/testsuite.dir/001/#usr#include#c++#9#atomic.gcov bytes=424637
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#deque.tcc.gcov bytes=4925421
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_deque.h.gcov bytes=14039344
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#datastructure#PiggyList.h.gcov bytes=88063
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#datastructure#LambdaBTree.h.gcov bytes=322803
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_iterator_base_funcs.h.gcov bytes=2293324
    + ./tests/testsuite.dir/001/#usr#include#c++#9#ext#type_traits.h.gcov bytes=175554
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#span.h.gcov bytes=362514
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#datastructure#EquivalenceRelation.h.gcov bytes=155166
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#basic_string.tcc.gcov bytes=2596457
    + ./tests/testsuite.dir/001/#usr#include#c++#9#initializer_list.gcov bytes=796333
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#ParallelUtil.h.gcov bytes=2201532
    + ./tests/testsuite.dir/001/#usr#include#c++#9#ext#alloc_traits.h.gcov bytes=940109
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#basic_string.h.gcov bytes=4764935
    + ./tests/testsuite.dir/001/#usr#include#c++#9#shared_mutex.gcov bytes=58258
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_set.h.gcov bytes=645170
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#profile#ProfileDatabase.h.gcov bytes=7928813
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#enable_special_members.h.gcov bytes=154466
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#SerialisationStream.h.gcov bytes=3226803
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#MiscUtil.h.gcov bytes=14658
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#unordered_map.h.gcov bytes=1917944
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_stack.h.gcov bytes=751320
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#RamTypes.h.gcov bytes=5106
    + ./tests/testsuite.dir/001/#usr#include#c++#9#chrono.gcov bytes=665607
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#std_mutex.h.gcov bytes=525912
    + ./tests/testsuite.dir/001/#usr#include#c++#9#ext#string_conversions.h.gcov bytes=2084970
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#char_traits.h.gcov bytes=1484263
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#CompiledOptions.h.gcov bytes=3705478
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#io#IOSystem.h.gcov bytes=2652849
    + ./tests/testsuite.dir/001/#usr#include#c++#9#iomanip.gcov bytes=80343
    + ./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=3629104
    + ./tests/testsuite.dir/001/#usr#include#c++#9#cmath.gcov bytes=140921
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#SignalHandler.h.gcov bytes=2879828
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#ios_base.h.gcov bytes=1625465
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#functional_hash.h.gcov bytes=216192
    + ./tests/testsuite.dir/001/#usr#include#c++#9#limits.gcov bytes=165839
    + ./tests/testsuite.dir/001/#usr#include#c++#9#ext#atomicity.h.gcov bytes=817882
    + ./tests/testsuite.dir/001/#usr#include#x86_64-linux-gnu#c++#9#bits#gthr-default.h.gcov bytes=473251
    + ./tests/testsuite.dir/001/#usr#include#c++#9#new.gcov bytes=133101
    + ./tests/testsuite.dir/001/#usr#include#c++#9#typeinfo.gcov bytes=260045
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#exception.h.gcov bytes=50723
    + ./tests/testsuite.dir/001/souffleAsjIqp.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffled74x85.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleMUVHzX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle5LvW0y.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleeNxCwA.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflevirbav.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleoKXByP.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleJCAnwC.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleQrgHCB.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle8IeNWw.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflev2GmBz.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflemqtWxu.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleNYqC2L.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleAUmNSm.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflekA4urc.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleJgU4y1.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflevvebnl.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleoVWJil.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflecsDOL3.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#datastructure#Brie.h.gcov bytes=473056
    + ./tests/testsuite.dir/001/souffleZjlgwD.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle3RbNeG.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle9CRHsn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleYqIX4x.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleOpotck.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleaK29Mo.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleYdvBVi.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleUtP9Ow.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle7D4kTj.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleOq2sxm.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleC8Rd2o.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleHOe1Wn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle6YvUZh.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflevSL2AD.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleUu7g9m.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflejlPwtM.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleGGbkMY.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleDtHjPO.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleFT7KEi.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflekoJQeO.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleC78HCq.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleeX3Ssa.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleEJd0bv.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflerNK3d7.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle8FSK3b.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleRe8noQ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle6J3hPY.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleKGcXBF.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle07TBvP.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleP5AArE.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleVD0Oh0.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleHCivJg.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle84i2pJ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleUl00NW.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleVdckwj.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflenrHtR7.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleFVDmov.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflehaGE5s.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflemIJesq.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflefP51fP.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleZKmwUx.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleNoVfIT.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleuJsrhR.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleD9wBjg.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleH5hhRj.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleHkZsnX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle2Vu0PX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleZyuZXU.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflemGoSoX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflesEnJ2B.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle4bmomX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleLHOKhK.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflexhgvxI.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle5DJG22.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleP4XXRn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle4vqZYc.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle6nJ866.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflewYD7jR.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffledpM6tn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleW5cIQz.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffles2J02T.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflewU3hjr.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffledqn1eb.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#utility#EvaluatorUtil.h.gcov bytes=69839
    + ./tests/testsuite.dir/001/soufflehZo2CX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflea2kGjt.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleqTeKut.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle3O7Nfw.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleCqDzVi.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleYPZvO5.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleULWGvd.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleS4qAB7.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleRCnpvi.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleaLAhmt.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflefU0RyL.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflepjZ4tJ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleknOg0p.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleRMU1en.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleQHdyl6.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffletxDe3l.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleGrgRjK.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle73zyC9.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleSKnxMy.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleCFbrr2.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflePVoAN5.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleDrCdzp.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleNlqGFM.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleDehG51.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleO1P966.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleDJ79D2.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflehlzBZt.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflePsidI3.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleS4ESJf.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflez8HUkS.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleIQprR6.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleXC28nk.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleZ4C5Lr.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflePotvhj.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflemIP1iq.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleXGF4Ze.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleHsDjFi.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleEv9ic6.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleKzeVfQ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflewCbon4.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleKOjyYp.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle2kdwWq.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleQOHYlO.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleOIunoK.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleFTn0Hn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#datastructure#Table.h.gcov bytes=12775
    + ./tests/testsuite.dir/001/souffleN06Ykt.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflemH7WuK.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleCFSeM4.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflebsBg25.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleB7P6vw.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflez8dCLk.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle69JA9X.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleXVkuDP.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle5vRsXU.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle9yIQNC.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle6KdHT8.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle3rshBi.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleXcXABD.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleM1xiGa.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleSp9QIC.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleds0hDz.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleKLZAFs.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleVur453.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleTz3TNF.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflehckDaB.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleur0zNn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleqQNDLp.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleQ14ozG.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle9hrrwg.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflerYv8nZ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflejYqDN6.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle9SGxRR.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflen5bLRC.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffley4smNv.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleaWoJHw.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleCaEUJR.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleznMpdQ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleDRcGMU.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleQEmfIc.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflejPXGmq.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflezdw3vU.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleljtnq0.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflek7PZIR.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleOFpTBw.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle1EORUj.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleBfuJsa.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleuFYlnG.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleoo8ILw.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle0PNugf.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleVvpPix.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleTSwllF.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleYrea6G.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflewdSSib.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflet0Z7y8.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleWXsqrd.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleQmNrwn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleery3VK.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleyciCSI.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflezM4AYo.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffles1TJ8F.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleXoCkAN.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleTEmTqe.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleKjYMmr.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffletzNazj.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleJUQtOY.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleBuG16M.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleVyOwt5.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflenqPDaO.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle7NpPva.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleia6wJh.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflefNsoLe.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleV9xAid.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflebQ2ACp.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflegsuQgS.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflef3fz55.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_automaton.h.gcov bytes=372908
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#stl_heap.h.gcov bytes=178975
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bitset.gcov bytes=160150
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_compiler.h.gcov bytes=1356909
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex.h.gcov bytes=625106
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex.tcc.gcov bytes=403116
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_compiler.tcc.gcov bytes=2068718
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_executor.h.gcov bytes=357296
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_executor.tcc.gcov bytes=1196883
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_automaton.tcc.gcov bytes=97798
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_scanner.tcc.gcov bytes=534105
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_scanner.h.gcov bytes=86101
    + ./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=25898
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#regex_constants.h.gcov bytes=65929
    + ./tests/testsuite.dir/001/#usr#include#c++#9#type_traits.gcov bytes=144849
    + ./tests/testsuite.dir/001/#usr#include#x86_64-linux-gnu#c++#9#bits#ctype_inline.h.gcov bytes=9112
    + ./tests/testsuite.dir/001/#usr#include#c++#9#bits#locale_facets.h.gcov bytes=161050
    + ./tests/testsuite.dir/001/souffleEJd4Tx.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleONuOrT.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflePux6d7.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflead1TRC.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleUPeBjt.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflemEsKni.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleBG8XhW.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle7Qx9hA.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflees4Vdm.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle9rr8xr.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleU5fybY.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleE91FYn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleq9CnZo.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflecP7UAI.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflegVKAdb.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleVTzyQZ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleGTUNpE.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleerJLWw.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle3WBzG0.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle7afQ5w.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleFJYy9H.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflenSblFx.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleC56m0v.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle4B57q5.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleL6TxZF.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle0fwdTL.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleYSY0NV.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleuBrBpN.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleYXQSRA.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflegeZZhQ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflegyeiW3.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleCnPekl.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleiIB6g5.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflerhpIOC.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle5u7Bj2.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleWhBBkV.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleuoSPWa.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleMkB3Y1.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflex9zdX2.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleBe6AdL.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleP4fBJ2.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleebRQXP.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflehZUp43.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle0OelwX.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle3Nzhd3.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflevX1rhu.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle4ZT8gF.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleJ2QmWK.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleaQNPUn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleEPIy43.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflextJkNq.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflemG45t8.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleXLEfLs.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleWl0DMh.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleDIh6Nt.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleAWanMf.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleAJNGgV.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleBqVE4A.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=10390
    + ./tests/testsuite.dir/001/^#^#^#src#include#souffle#utility#MiscUtil.h.gcov bytes=9482
    + ./tests/testsuite.dir/001/^#^#^#src#include#souffle#RamTypes.h.gcov bytes=5193
    + ./tests/testsuite.dir/001/^#^#^#src#include#souffle#SymbolTable.h.gcov bytes=12961
    + ./tests/testsuite.dir/001/^#^#^#src#include#souffle#utility#ParallelUtil.h.gcov bytes=23148
    + ./tests/testsuite.dir/001/soufflerhVaVn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflec7i4c9.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=79045
    + ./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=318596
    + ./tests/testsuite.dir/001/souffleyVytjr.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflebMokwL.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleT74xj7.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle8QU8cn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflek2ZokI.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflev0MVm3.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleQxSZnn.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleYSDSRG.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleFNxsd0.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleWV3MyW.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflevCvNjR.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleNmcyfP.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle615nJP.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleuYOR2I.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleI6KYFJ.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleqfBYfF.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflem0NISB.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleWLeFNB.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleDEzAyy.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflesLrqKj.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/#souffle#src#include#souffle#provenance#ExplainProvenanceImpl.h.gcov bytes=1652780
    + ./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=54410
    + ./tests/testsuite.dir/001/soufflew6jxYz.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflexhMLTf.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleCeBXAD.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleiCfWkE.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleHXJHTK.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleRNfMdu.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleRmHEVz.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/soufflewya8Ow.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle5kqwfU.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleIKHTds.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleXot7iv.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleKoJSJr.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffle0m2F1a.cpp.gcov bytes=41
    + ./tests/testsuite.dir/001/souffleqOrnvG.cpp.gcov bytes=41
==> Appending adjustments
    https://docs.codecov.io/docs/fixing-reports
    + Found adjustments
==> Gzipping contents
        7.2M	/tmp/codecov.DBNwL4.gz
==> Uploading reports
    url: https://codecov.io
    query: branch=origin%2Fmaster&commit=17806893ba9f35dc2e05ca072aff5bc28ad0fe88&build=218&build_url=http%3A%2F%2Fplang1.it.usyd.edu.au%2Fjenkins%2Fjob%2FMaster-Coverage-Combined%2F218%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-20201124-79cbc08&token=secret&branch=origin%2Fmaster&commit=17806893ba9f35dc2e05ca072aff5bc28ad0fe88&build=218&build_url=http%3A%2F%2Fplang1.it.usyd.edu.au%2Fjenkins%2Fjob%2FMaster-Coverage-Combined%2F218%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-11-27/93BCA22FDB78F81B8920F6C5E6E1BC0E/17806893ba9f35dc2e05ca072aff5bc28ad0fe88/e9dbae5c-dcfe-4b51-bc75-538bc2d97674.txt?X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=GOOG1EQX6OZVJGHKK3633AAFGLBUCOOATRACRQRQF6HMSMLYUP6EAD6XSWAAY%2F20201127%2FUS%2Fs3%2Faws4_request&X-Amz-Date=20201127T042220Z&X-Amz-Expires=10&X-Amz-SignedHeaders=host&X-Amz-Signature=44ce57db5136ccbcbead92e168856ad5b49e441d7456c0c85ac8332abc38336c
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100 7335k    0     0  100 7335k      0  6077k  0:00:01  0:00:01 --:--:-- 6077k
100 7335k    0     0  100 7335k      0  3794k  0:00:01  0:00:01 --:--:-- 3794k
100 7335k    0     0  100 7335k      0  3794k  0:00:01  0:00:01 --:--:-- 3793k
    -> View reports at https://codecov.io/github/souffle-lang/souffle/commit/17806893ba9f35dc2e05ca072aff5bc28ad0fe88
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] done
Finished: SUCCESS