SuccessConsole Output

Skipping 143 KB.. Full Log
 -fopenmp  --coverage -I../../src   -o brie_test brie_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O0 -g3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp --coverage -I../../src -o brie_test brie_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
depbase=`echo parallel_utils_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src -MT parallel_utils_test.o -MD -MP -MF $depbase.Tpo -c -o parallel_utils_test.o parallel_utils_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src   -o parallel_utils_test parallel_utils_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O0 -g3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp --coverage -I../../src -o parallel_utils_test parallel_utils_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
depbase=`echo ram_condition_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src -MT ram_condition_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_condition_equal_clone_test.o ram_condition_equal_clone_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src   -o ram_condition_equal_clone_test ram_condition_equal_clone_test.o ../libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O0 -g3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp --coverage -I../../src -o ram_condition_equal_clone_test ram_condition_equal_clone_test.o  ../.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
depbase=`echo ram_statement_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src -MT ram_statement_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_statement_equal_clone_test.o ram_statement_equal_clone_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src   -o ram_statement_equal_clone_test ram_statement_equal_clone_test.o ../libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O0 -g3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp --coverage -I../../src -o ram_statement_equal_clone_test ram_statement_equal_clone_test.o  ../.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
depbase=`echo ram_expression_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src -MT ram_expression_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_expression_equal_clone_test.o ram_expression_equal_clone_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src   -o ram_expression_equal_clone_test ram_expression_equal_clone_test.o ../libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O0 -g3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp --coverage -I../../src -o ram_expression_equal_clone_test ram_expression_equal_clone_test.o  ../.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
depbase=`echo ram_operation_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src -MT ram_operation_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_operation_equal_clone_test.o ram_operation_equal_clone_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src   -o ram_operation_equal_clone_test ram_operation_equal_clone_test.o ../libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O0 -g3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp --coverage -I../../src -o ram_operation_equal_clone_test ram_operation_equal_clone_test.o  ../.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
depbase=`echo ram_relation_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src -MT ram_relation_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_relation_equal_clone_test.o ram_relation_equal_clone_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src   -o ram_relation_equal_clone_test ram_relation_equal_clone_test.o ../libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O0 -g3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp --coverage -I../../src -o ram_relation_equal_clone_test ram_relation_equal_clone_test.o  ../.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
depbase=`echo ram_relation_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src -MT ram_relation_test.o -MD -MP -MF $depbase.Tpo -c -o ram_relation_test.o ram_relation_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src   -o ram_relation_test ram_relation_test.o ../libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O0 -g3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp --coverage -I../../src -o ram_relation_test ram_relation_test.o  ../.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
depbase=`echo ram_arithmetic_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src -MT ram_arithmetic_test.o -MD -MP -MF $depbase.Tpo -c -o ram_arithmetic_test.o ram_arithmetic_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src   -o ram_arithmetic_test ram_arithmetic_test.o ../libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O0 -g3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp --coverage -I../../src -o ram_arithmetic_test ram_arithmetic_test.o  ../.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
depbase=`echo ram_type_conversion_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src -MT ram_type_conversion_test.o -MD -MP -MF $depbase.Tpo -c -o ram_type_conversion_test.o ram_type_conversion_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src   -o ram_type_conversion_test ram_type_conversion_test.o ../libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O0 -g3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp --coverage -I../../src -o ram_type_conversion_test ram_type_conversion_test.o  ../.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
depbase=`echo record_table_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src -MT record_table_test.o -MD -MP -MF $depbase.Tpo -c -o record_table_test.o record_table_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O0 -g3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp  --coverage -I../../src   -o record_table_test record_table_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O0 -g3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp --coverage -I../../src -o record_table_test record_table_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
make[2]: Leaving directory '/souffle/src/tests'
make  check-TESTS
make[2]: Entering directory '/souffle/src/tests'
make[3]: Entering directory '/souffle/src/tests'
PASS: profile_util_test
PASS: util_test
PASS: matching_test
PASS: table_test
PASS: btree_set_test
PASS: btree_multiset_test
PASS: binary_relation_test
PASS: eqrel_datastructure_test
PASS: compiled_tuple_test
PASS: interpreter_relation_test
PASS: type_system_test
PASS: constraints_test
PASS: ast_print_test
PASS: ast_program_test
PASS: ast_transformers_test
PASS: ast_utils_test
PASS: ast_parser_utils_test
PASS: symbol_table_test
PASS: graph_utils_test
PASS: brie_test
PASS: parallel_utils_test
PASS: ram_condition_equal_clone_test
PASS: ram_statement_equal_clone_test
PASS: ram_expression_equal_clone_test
PASS: ram_operation_equal_clone_test
PASS: ram_relation_equal_clone_test
PASS: ram_relation_test
PASS: ram_arithmetic_test
PASS: ram_type_conversion_test
PASS: record_table_test
============================================================================
Testsuite summary for souffle 2.0.1
============================================================================
# TOTAL: 30
# PASS:  30
# SKIP:  0
# XFAIL: 0
# FAIL:  0
# XPASS: 0
# ERROR: 0
============================================================================
make[3]: Leaving directory '/souffle/src/tests'
make[2]: Leaving directory '/souffle/src/tests'
make[1]: Leaving directory '/souffle/src/tests'
*gcda.gcno:cannot open notes file
*gcda.gcda:cannot open data file, assuming not executed
File 'DebugReport.cpp'
Lines executed:8.14% of 86
Branches executed:7.35% of 136
Taken at least once:3.68% of 136
Calls executed:4.91% of 224
Creating 'DebugReport.cpp.gcov'

File '/usr/include/c++/9/iostream'
No executable lines
No branches
No calls
Removing '#usr#include#c++#9#iostream.gcov'

File '/usr/include/c++/9/bits/stl_algobase.h'
Lines executed:61.19% of 67
Branches executed:0.00% of 4
Taken at least once:0.00% of 4
Calls executed:15.38% of 13
Creating '#usr#include#c++#9#bits#stl_algobase.h.gcov'

File 'utility/tinyformat.h'
Lines executed:9.20% of 261
Branches executed:0.00% of 4
Taken at least once:0.00% of 4
Calls executed:0.00% of 1
Creating 'utility#tinyformat.h.gcov'

File '/usr/include/c++/9/bits/stl_function.h'
Lines executed:100.00% of 8
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_function.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/move.h'
Lines executed:100.00% of 11
No branches
No calls
Creating '#usr#include#c++#9#bits#move.h.gcov'

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

File '/usr/include/c++/9/bits/stl_uninitialized.h'
Lines executed:81.25% of 48
Branches executed:66.67% of 6
Taken at least once:50.00% of 6
Calls executed:36.36% of 11
Creating '#usr#include#c++#9#bits#stl_uninitialized.h.gcov'

File '/usr/include/c++/9/bits/stl_tree.h'
Lines executed:75.14% of 370
Branches executed:100.00% of 10
Taken at least once:60.00% of 10
Calls executed:81.82% of 22
Creating '#usr#include#c++#9#bits#stl_tree.h.gcov'

File '/usr/include/c++/9/ext/new_allocator.h'
Lines executed:93.33% of 15
No branches
No calls
Creating '#usr#include#c++#9#ext#new_allocator.h.gcov'

File '/usr/include/c++/9/bits/stl_pair.h'
Lines executed:40.00% of 10
No branches
Calls executed:0.00% of 2
Creating '#usr#include#c++#9#bits#stl_pair.h.gcov'

File '/usr/include/c++/9/bits/alloc_traits.h'
Lines executed:77.27% of 22
No branches
No calls
Creating '#usr#include#c++#9#bits#alloc_traits.h.gcov'

File '/usr/include/c++/9/bits/allocator.h'
Lines executed:57.14% of 7
No branches
Calls executed:0.00% of 1
Creating '#usr#include#c++#9#bits#allocator.h.gcov'

File '/usr/include/c++/9/bits/stl_iterator_base_funcs.h'
Lines executed:100.00% of 5
No branches
No calls
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 2
No branches
No calls
Creating '#usr#include#c++#9#ext#type_traits.h.gcov'

File '/usr/include/c++/9/bits/stl_vector.h'
Lines executed:85.71% of 189
Branches executed:66.67% of 6
Taken at least once:33.33% of 6
Calls executed:33.33% of 30
Creating '#usr#include#c++#9#bits#stl_vector.h.gcov'

File '/usr/include/c++/9/bits/basic_string.h'
Lines executed:0.00% of 50
Branches executed:0.00% of 4
Taken at least once:0.00% of 4
Calls executed:0.00% of 8
Creating '#usr#include#c++#9#bits#basic_string.h.gcov'

File '/usr/include/c++/9/bits/stl_deque.h'
Lines executed:34.78% of 69
Branches executed:33.33% of 12
Taken at least once:16.67% of 12
Calls executed:45.16% of 31
Creating '#usr#include#c++#9#bits#stl_deque.h.gcov'

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

File '/usr/include/c++/9/bits/deque.tcc'
Lines executed:36.84% of 19
Branches executed:100.00% of 4
Taken at least once:50.00% of 4
Calls executed:15.38% of 13
Creating '#usr#include#c++#9#bits#deque.tcc.gcov'

File '/usr/include/c++/9/bits/stl_map.h'
Lines executed:62.86% of 35
Branches executed:0.00% of 10
Taken at least once:0.00% of 10
Calls executed:0.00% of 10
Creating '#usr#include#c++#9#bits#stl_map.h.gcov'

File '/usr/include/c++/9/bits/stl_iterator.h'
Lines executed:35.59% of 59
No branches
Calls executed:0.00% of 13
Creating '#usr#include#c++#9#bits#stl_iterator.h.gcov'

File 'DebugReport.h'
Lines executed:0.00% of 18
Branches executed:0.00% of 8
Taken at least once:0.00% of 8
Calls executed:0.00% of 33
Creating 'DebugReport.h.gcov'

File 'Global.h'
Lines executed:100.00% of 9
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:50.00% of 2
Creating 'Global.h.gcov'

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

File '/usr/include/c++/9/bits/vector.tcc'
Lines executed:56.73% of 104
Branches executed:36.36% of 22
Taken at least once:22.73% of 22
Calls executed:31.48% of 54
Creating '#usr#include#c++#9#bits#vector.tcc.gcov'

File '/usr/include/c++/9/bits/stl_stack.h'
Lines executed:28.57% of 7
No branches
Calls executed:33.33% of 3
Creating '#usr#include#c++#9#bits#stl_stack.h.gcov'

File '/usr/include/c++/9/string_view'
Lines executed:37.50% of 48
Branches executed:44.44% of 18
Taken at least once:27.78% of 18
Calls executed:20.83% of 24
Creating '#usr#include#c++#9#string_view.gcov'

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

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

File '/usr/include/c++/9/ext/string_conversions.h'
Lines executed:0.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:0.00% of 34
No branches
No calls
Creating '#usr#include#c++#9#bits#char_traits.h.gcov'

File 'utility/FileUtil.h'
Lines executed:0.00% of 52
Branches executed:0.00% of 48
Taken at least once:0.00% of 48
Calls executed:0.00% of 58
Creating 'utility#FileUtil.h.gcov'

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

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

File 'FunctorOps.cpp'
Lines executed:57.14% of 133
Branches executed:74.51% of 102
Taken at least once:48.04% of 102
Calls executed:55.41% of 74
Creating 'FunctorOps.cpp.gcov'

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

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

File '/usr/include/c++/9/bits/predefined_ops.h'
Lines executed:50.00% of 14
No branches
Calls executed:0.00% of 5
Creating '#usr#include#c++#9#bits#predefined_ops.h.gcov'

File '/usr/include/c++/9/bits/stl_algo.h'
Lines executed:39.58% of 48
No branches
Calls executed:0.00% of 7
Creating '#usr#include#c++#9#bits#stl_algo.h.gcov'

File 'FunctorOps.h'
No executable lines
No branches
No calls
Removing 'FunctorOps.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 '/usr/include/c++/9/bits/refwrap.h'
Lines executed:100.00% of 6
No branches
Calls executed:100.00% of 3
Creating '#usr#include#c++#9#bits#refwrap.h.gcov'

File 'utility/FunctionalUtil.h'
Lines executed:50.00% of 4
No branches
Calls executed:0.00% of 3
Creating 'utility#FunctionalUtil.h.gcov'

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

File 'utility/MiscUtil.h'
Lines executed:25.00% of 8
No branches
No calls
Creating 'utility#MiscUtil.h.gcov'

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

File 'ParserDriver.cpp'
Lines executed:44.04% of 109
Branches executed:31.91% of 188
Taken at least once:16.49% of 188
Calls executed:25.65% of 386
Creating 'ParserDriver.cpp.gcov'

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

File 'utility/StreamUtil.h'
Lines executed:92.59% of 27
No branches
No calls
Creating 'utility#StreamUtil.h.gcov'

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

File '/usr/include/c++/9/bits/unique_ptr.h'
Lines executed:95.00% of 60
No branches
No calls
Creating '#usr#include#c++#9#bits#unique_ptr.h.gcov'

File 'utility/ContainerUtil.h'
Lines executed:54.35% of 46
Branches executed:12.50% of 16
Taken at least once:6.25% of 16
Calls executed:20.00% of 15
Creating 'utility#ContainerUtil.h.gcov'

File 'ErrorReport.h'
Lines executed:17.39% of 46
Branches executed:12.00% of 50
Taken at least once:6.00% of 50
Calls executed:26.56% of 64
Creating 'ErrorReport.h.gcov'

File 'ast/Type.h'
Lines executed:83.33% of 36
Branches executed:61.11% of 36
Taken at least once:30.56% of 36
Calls executed:56.10% of 82
Creating 'ast#Type.h.gcov'

File 'ast/TranslationUnit.h'
Lines executed:71.43% of 7
No branches
Calls executed:75.00% of 4
Creating 'ast#TranslationUnit.h.gcov'

File 'ast/Program.h'
Lines executed:72.57% of 113
Branches executed:80.00% of 110
Taken at least once:46.36% of 110
Calls executed:64.38% of 233
Creating 'ast#Program.h.gcov'

File 'ast/IO.h'
Lines executed:50.00% of 32
No branches
Calls executed:0.00% of 3
Creating 'ast#IO.h.gcov'

File 'utility/StringUtil.h'
Lines executed:0.00% of 55
Branches executed:0.00% of 150
Taken at least once:0.00% of 150
Calls executed:0.00% of 117
Creating 'utility#StringUtil.h.gcov'

File 'ast/Node.h'
Lines executed:68.00% of 25
No branches
Calls executed:0.00% of 2
Creating 'ast#Node.h.gcov'

File 'SrcLocation.h'
Lines executed:0.00% of 13
Branches executed:0.00% of 6
Taken at least once:0.00% of 6
Calls executed:0.00% of 6
Creating 'SrcLocation.h.gcov'

File 'ast/FunctorDeclaration.h'
Lines executed:0.00% of 24
Branches executed:0.00% of 30
Taken at least once:0.00% of 30
Calls executed:0.00% of 40
Creating 'ast#FunctorDeclaration.h.gcov'

File 'ast/Relation.h'
Lines executed:76.32% of 38
Branches executed:88.89% of 36
Taken at least once:50.00% of 36
Calls executed:74.68% of 79
Creating 'ast#Relation.h.gcov'

File 'ast/Clause.h'
Lines executed:2.63% of 76
Branches executed:0.00% of 72
Taken at least once:0.00% of 72
Calls executed:0.58% of 172
Creating 'ast#Clause.h.gcov'

File 'ast/QualifiedName.h'
Lines executed:70.59% of 17
Branches executed:0.00% of 12
Taken at least once:0.00% of 12
Calls executed:11.11% of 18
Creating 'ast#QualifiedName.h.gcov'

File 'RelationTag.h'
Lines executed:24.07% of 54
Branches executed:65.79% of 38
Taken at least once:10.53% of 38
Calls executed:4.17% of 24
Creating 'RelationTag.h.gcov'

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

File 'SrcLocation.cpp'
Lines executed:8.57% of 70
Branches executed:2.70% of 148
Taken at least once:2.03% of 148
Calls executed:3.60% of 111
Creating 'SrcLocation.cpp.gcov'

File 'Util.cpp'
Lines executed:0.00% of 15
Branches executed:0.00% of 9
Taken at least once:0.00% of 9
Calls executed:0.00% of 7
Creating 'Util.cpp.gcov'

File 'parser.yy'
Lines executed:43.49% of 269
Branches executed:33.33% of 504
Taken at least once:18.65% of 504
Calls executed:33.93% of 1718
Creating 'parser.yy.gcov'

File '/usr/include/c++/9/optional'
Lines executed:16.67% of 72
Branches executed:40.00% of 10
Taken at least once:20.00% of 10
Calls executed:12.12% of 33
Creating '#usr#include#c++#9#optional.gcov'

File 'ast/Argument.h'
Lines executed:43.89% of 180
Branches executed:31.17% of 154
Taken at least once:16.88% of 154
Calls executed:37.50% of 400
Creating 'ast#Argument.h.gcov'

File 'ast/Literal.h'
Lines executed:55.10% of 49
Branches executed:75.00% of 56
Taken at least once:48.21% of 56
Calls executed:57.14% of 119
Creating 'ast#Literal.h.gcov'

File 'parser.hh'
Lines executed:63.24% of 476
Branches executed:64.89% of 376
Taken at least once:41.76% of 376
Calls executed:36.90% of 496
Creating 'parser.hh.gcov'

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

File 'ast/Component.h'
Lines executed:0.00% of 144
Branches executed:0.00% of 138
Taken at least once:0.00% of 138
Calls executed:0.00% of 292
Creating 'ast#Component.h.gcov'

File 'ast/Attribute.h'
Lines executed:100.00% of 10
Branches executed:100.00% of 10
Taken at least once:50.00% of 10
Calls executed:88.00% of 25
Creating 'ast#Attribute.h.gcov'

File 'parser.cc'
Lines executed:35.47% of 888
Branches executed:52.49% of 724
Taken at least once:22.38% of 724
Calls executed:28.17% of 497
Creating 'parser.cc.gcov'

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

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

File 'BinaryConstraintOps.h'
Lines executed:0.00% of 21
Branches executed:0.00% of 11
Taken at least once:0.00% of 11
Calls executed:0.00% of 3
Creating 'BinaryConstraintOps.h.gcov'

File 'AggregateOp.h'
Lines executed:29.41% of 17
Branches executed:33.33% of 9
Taken at least once:22.22% of 9
Calls executed:22.22% of 9
Creating 'AggregateOp.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 'scanner.cc'
Lines executed:43.16% of 475
Branches executed:61.14% of 350
Taken at least once:30.57% of 350
Calls executed:37.80% of 82
Creating 'scanner.cc.gcov'

File 'scanner.ll'
Lines executed:40.58% of 138
Branches executed:31.06% of 470
Taken at least once:15.53% of 470
Calls executed:25.05% of 1585
Creating 'scanner.ll.gcov'

rm: cannot remove '*gcda': No such file or directory
File 'ast_parser_utils_test.cpp'
Lines executed:100.00% of 58
No branches
No calls
Creating 'ast_parser_utils_test.cpp.gcov'

File '/usr/include/c++/9/iostream'
No executable lines
No branches
No calls
Removing '#usr#include#c++#9#iostream.gcov'

File '/usr/include/c++/9/tuple'
Lines executed:100.00% of 123
No branches
Calls executed:100.00% of 8
Creating '#usr#include#c++#9#tuple.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/move.h'
Lines executed:100.00% of 13
No branches
No calls
Creating '#usr#include#c++#9#bits#move.h.gcov'

File '/usr/include/c++/9/ext/new_allocator.h'
Lines executed:93.33% of 15
No branches
No calls
Creating '#usr#include#c++#9#ext#new_allocator.h.gcov'

File '/usr/include/c++/9/bits/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/unique_ptr.h'
Lines executed:100.00% of 77
No branches
Calls executed:100.00% of 7
Creating '#usr#include#c++#9#bits#unique_ptr.h.gcov'

File '/usr/include/c++/9/bits/stl_vector.h'
Lines executed:91.59% of 226
Branches executed:40.00% of 10
Taken at least once:20.00% of 10
Calls executed:33.33% of 27
Creating '#usr#include#c++#9#bits#stl_vector.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/bits/stl_uninitialized.h'
Lines executed:70.00% of 80
Branches executed:22.22% of 18
Taken at least once:16.67% of 18
Calls executed:5.88% of 34
Creating '#usr#include#c++#9#bits#stl_uninitialized.h.gcov'

File '/usr/include/c++/9/bits/stl_algobase.h'
Lines executed:79.70% of 133
Branches executed:66.67% of 6
Taken at least once:50.00% of 6
Calls executed:50.00% of 6
Creating '#usr#include#c++#9#bits#stl_algobase.h.gcov'

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

File '/usr/include/c++/9/bits/stl_tree.h'
Lines executed:85.15% of 404
No branches
Calls executed:16.67% of 6
Creating '#usr#include#c++#9#bits#stl_tree.h.gcov'

File '/usr/include/c++/9/bits/basic_string.h'
Lines executed:90.38% of 52
Branches executed:66.67% of 6
Taken at least once:33.33% of 6
Calls executed:78.57% of 14
Creating '#usr#include#c++#9#bits#basic_string.h.gcov'

File '/usr/include/c++/9/bits/stl_iterator_base_funcs.h'
Lines executed:61.11% of 18
No branches
No calls
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 2
No branches
No calls
Creating '#usr#include#c++#9#ext#type_traits.h.gcov'

File '../../src/utility/ContainerUtil.h'
Lines executed:89.16% of 83
Branches executed:90.00% of 20
Taken at least once:65.00% of 20
Calls executed:82.14% of 28
Creating '^#^#src#utility#ContainerUtil.h.gcov'

File '/usr/include/c++/9/bits/stl_iterator.h'
Lines executed:74.24% of 66
No branches
Calls executed:0.00% of 8
Creating '#usr#include#c++#9#bits#stl_iterator.h.gcov'

File '/usr/include/c++/9/bits/stl_pair.h'
Lines executed:100.00% of 30
No branches
Calls executed:100.00% of 3
Creating '#usr#include#c++#9#bits#stl_pair.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/basic_string.tcc'
Lines executed:45.00% of 20
No branches
No calls
Creating '#usr#include#c++#9#bits#basic_string.tcc.gcov'

File '../../src/utility/StreamUtil.h'
Lines executed:100.00% of 44
No branches
Calls executed:100.00% of 6
Creating '^#^#src#utility#StreamUtil.h.gcov'

File '/usr/include/c++/9/bits/vector.tcc'
Lines executed:57.05% of 156
Branches executed:11.76% of 34
Taken at least once:8.82% of 34
Calls executed:21.15% of 52
Creating '#usr#include#c++#9#bits#vector.tcc.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 '../../src/ast/Literal.h'
Lines executed:67.80% of 59
Branches executed:41.18% of 34
Taken at least once:20.59% of 34
Calls executed:59.52% of 84
Creating '^#^#src#ast#Literal.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 '../../src/utility/StringUtil.h'
Lines executed:8.33% of 48
Branches executed:0.00% of 20
Taken at least once:0.00% of 20
Calls executed:0.00% of 11
Creating '^#^#src#utility#StringUtil.h.gcov'

File '../../src/ast/Node.h'
Lines executed:80.00% of 25
No branches
No calls
Creating '^#^#src#ast#Node.h.gcov'

File '../../src/utility/MiscUtil.h'
Lines executed:66.67% of 12
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:100.00% of 4
Creating '^#^#src#utility#MiscUtil.h.gcov'

File '/usr/include/c++/9/bits/stl_set.h'
Lines executed:100.00% of 42
Branches executed:100.00% of 4
Taken at least once:50.00% of 4
Calls executed:72.73% of 11
Creating '#usr#include#c++#9#bits#stl_set.h.gcov'

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

File '../../src/ast/ParserUtils.h'
Lines executed:100.00% of 3
No branches
Calls executed:100.00% of 3
Creating '^#^#src#ast#ParserUtils.h.gcov'

File '../../src/tests/test.h'
Lines executed:93.55% of 62
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:0.00% of 2
Creating '^#^#src#tests#test.h.gcov'

File '../../src/SrcLocation.h'
No executable lines
No branches
No calls
Removing '^#^#src#SrcLocation.h.gcov'

File '../../src/ast/Abstract.h'
No executable lines
No branches
No calls
Removing '^#^#src#ast#Abstract.h.gcov'

File '../../src/ast/QualifiedName.h'
Lines executed:100.00% of 17
No branches
Calls executed:100.00% of 7
Creating '^#^#src#ast#QualifiedName.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 '/usr/include/c++/9/typeinfo'
Lines executed:100.00% of 8
No branches
No calls
Creating '#usr#include#c++#9#typeinfo.gcov'

File 'ast_print_test.cpp'
Lines executed:100.00% of 111
Branches executed:100.00% of 18
Taken at least once:50.00% of 18
Calls executed:81.25% of 32
Creating 'ast_print_test.cpp.gcov'

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

File '/usr/include/c++/9/bits/stl_deque.h'
Lines executed:72.47% of 247
Branches executed:25.00% of 16
Taken at least once:12.50% of 16
Calls executed:11.63% of 43
Creating '#usr#include#c++#9#bits#stl_deque.h.gcov'

File '../../src/DebugReport.h'
No executable lines
No branches
No calls
Removing '^#^#src#DebugReport.h.gcov'

File '../../src/utility/tinyformat.h'
Lines executed:31.03% of 261
No branches
No calls
Creating '^#^#src#utility#tinyformat.h.gcov'

File '../../src/ast/Argument.h'
Lines executed:64.37% of 87
Branches executed:33.33% of 18
Taken at least once:16.67% of 18
Calls executed:48.39% of 93
Creating '^#^#src#ast#Argument.h.gcov'

File '/usr/include/c++/9/optional'
Lines executed:66.67% of 18
Branches executed:66.67% of 6
Taken at least once:33.33% of 6
Calls executed:66.67% of 12
Creating '#usr#include#c++#9#optional.gcov'

File '../../src/ast/Clause.h'
Lines executed:84.21% of 38
No branches
Calls executed:100.00% of 3
Creating '^#^#src#ast#Clause.h.gcov'

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

File '../../src/ErrorReport.h'
Lines executed:100.00% of 1
No branches
No calls
Creating '^#^#src#ErrorReport.h.gcov'

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

File '../../src/ast/Program.h'
Lines executed:25.45% of 110
Branches executed:18.64% of 118
Taken at least once:10.17% of 118
Calls executed:12.05% of 224
Creating '^#^#src#ast#Program.h.gcov'

File '../../src/AggregateOp.h'
Lines executed:81.82% of 11
No branches
No calls
Creating '^#^#src#AggregateOp.h.gcov'

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

File 'ast_program_test.cpp'
Lines executed:100.00% of 62
Branches executed:100.00% of 10
Taken at least once:50.00% of 10
Calls executed:81.82% of 22
Creating 'ast_program_test.cpp.gcov'

File '../../src/ast/Relation.h'
Lines executed:74.29% of 35
Branches executed:77.78% of 36
Taken at least once:38.89% of 36
Calls executed:65.88% of 85
Creating '^#^#src#ast#Relation.h.gcov'

File '../../src/ast/Attribute.h'
Lines executed:100.00% of 10
Branches executed:100.00% of 10
Taken at least once:50.00% of 10
Calls executed:88.00% of 25
Creating '^#^#src#ast#Attribute.h.gcov'

File '../../src/RelationTag.h'
Lines executed:17.65% of 17
Branches executed:0.00% of 7
Taken at least once:0.00% of 7
Calls executed:0.00% of 7
Creating '^#^#src#RelationTag.h.gcov'

File 'ast_transformers_test.cpp'
Lines executed:100.00% of 123
No branches
No calls
Creating 'ast_transformers_test.cpp.gcov'

File '../../src/ast/transform/RemoveRelationCopies.h'
Lines executed:33.33% of 6
Branches executed:0.00% of 2
Taken at least once:0.00% of 2
Calls executed:14.29% of 7
Creating '^#^#src#ast#transform#RemoveRelationCopies.h.gcov'

File '../../src/ast/transform/ResolveAliases.h'
No executable lines
No branches
No calls
Removing '^#^#src#ast#transform#ResolveAliases.h.gcov'

File '../../src/ast/transform/MinimiseProgram.h'
No executable lines
No branches
No calls
Removing '^#^#src#ast#transform#MinimiseProgram.h.gcov'

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

File 'ast_utils_test.cpp'
Lines executed:100.00% of 61
No branches
No calls
Creating 'ast_utils_test.cpp.gcov'

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

File '../../src/BinaryConstraintOps.h'
Lines executed:38.10% of 21
No branches
Calls executed:100.00% of 2
Creating '^#^#src#BinaryConstraintOps.h.gcov'

File 'binary_relation_test.cpp'
Lines executed:94.90% of 353
No branches
No calls
Creating 'binary_relation_test.cpp.gcov'

File '../../src/BTree.h'
Lines executed:85.89% of 751
Branches executed:61.46% of 192
Taken at least once:39.06% of 192
Calls executed:73.86% of 153
Creating '^#^#src#BTree.h.gcov'

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

File '/usr/include/c++/9/bits/stl_algo.h'
Lines executed:100.00% of 67
Branches executed:100.00% of 4
Taken at least once:100.00% of 4
Calls executed:100.00% of 4
Creating '#usr#include#c++#9#bits#stl_algo.h.gcov'

File '../../src/utility/CacheUtil.h'
Lines executed:100.00% of 78
Branches executed:100.00% of 4
Taken at least once:100.00% of 4
Calls executed:100.00% of 6
Creating '^#^#src#utility#CacheUtil.h.gcov'

File '../../src/UnionFind.h'
Lines executed:97.98% of 99
No branches
Calls executed:100.00% of 17
Creating '^#^#src#UnionFind.h.gcov'

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

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

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

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

File '../../src/EquivalenceRelation.h'
Lines executed:97.36% of 227
Branches executed:91.40% of 279
Taken at least once:54.48% of 279
Calls executed:87.55% of 241
Creating '^#^#src#EquivalenceRelation.h.gcov'

File '../../src/LambdaBTree.h'
Lines executed:90.84% of 131
Branches executed:56.25% of 32
Taken at least once:46.88% of 32
Calls executed:50.00% of 12
Creating '^#^#src#LambdaBTree.h.gcov'

File '../../src/PiggyList.h'
Lines executed:100.00% of 112
Branches executed:100.00% of 6
Taken at least once:66.67% of 6
Calls executed:91.30% of 23
Creating '^#^#src#PiggyList.h.gcov'

File '/usr/include/c++/9/bits/random.tcc'
Lines executed:96.67% of 60
No branches
No calls
Creating '#usr#include#c++#9#bits#random.tcc.gcov'

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

File '../../src/utility/ParallelUtil.h'
Lines executed:100.00% of 89
Branches executed:100.00% of 6
Taken at least once:100.00% of 6
Calls executed:100.00% of 5
Creating '^#^#src#utility#ParallelUtil.h.gcov'

File '../../src/CompiledTuple.h'
Lines executed:100.00% of 21
No branches
Calls executed:100.00% of 1
Creating '^#^#src#CompiledTuple.h.gcov'

File '/usr/include/c++/9/bits/uniform_int_dist.h'
Lines executed:97.22% of 36
No branches
No calls
Creating '#usr#include#c++#9#bits#uniform_int_dist.h.gcov'

File '/usr/include/c++/9/shared_mutex'
Lines executed:88.89% of 27
Branches executed:100.00% of 12
Taken at least once:50.00% of 12
Calls executed:88.24% of 17
Creating '#usr#include#c++#9#shared_mutex.gcov'

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

File '/usr/include/x86_64-linux-gnu/c++/9/bits/gthr-default.h'
Lines executed:80.00% of 10
No branches
No calls
Creating '#usr#include#x86_64-linux-gnu#c++#9#bits#gthr-default.h.gcov'

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

File '../../src/Brie.h'
Lines executed:92.64% of 870
Branches executed:90.00% of 120
Taken at least once:57.50% of 120
Calls executed:88.18% of 110
Creating '^#^#src#Brie.h.gcov'

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

File '/usr/include/c++/9/bits/locale_facets.h'
Lines executed:0.00% of 5
Branches executed:0.00% of 2
Taken at least once:0.00% of 2
Calls executed:0.00% of 2
Creating '#usr#include#c++#9#bits#locale_facets.h.gcov'

File 'btree_multiset_test.cpp'
Lines executed:100.00% of 227
Branches executed:100.00% of 28
Taken at least once:57.14% of 28
Calls executed:93.94% of 33
Creating 'btree_multiset_test.cpp.gcov'

File '/usr/include/c++/9/chrono'
Lines executed:100.00% of 20
No branches
Calls executed:100.00% of 6
Creating '#usr#include#c++#9#chrono.gcov'

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

File 'btree_set_test.cpp'
Lines executed:99.73% of 376
Branches executed:100.00% of 28
Taken at least once:57.14% of 28
Calls executed:93.94% of 33
Creating 'btree_set_test.cpp.gcov'

File 'compiled_tuple_test.cpp'
Lines executed:100.00% of 33
No branches
No calls
Creating 'compiled_tuple_test.cpp.gcov'

File 'constraints_test.cpp'
Lines executed:100.00% of 18
No branches
No calls
Creating 'constraints_test.cpp.gcov'

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

File '../../src/Constraints.h'
Lines executed:100.00% of 72
Branches executed:100.00% of 44
Taken at least once:61.36% of 44
Calls executed:95.45% of 88
Creating '^#^#src#Constraints.h.gcov'

File '/usr/include/c++/9/bits/shared_ptr.h'
Lines executed:88.24% of 17
No branches
Calls executed:50.00% of 4
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/ext/atomicity.h'
Lines executed:57.89% of 19
No branches
No calls
Creating '#usr#include#c++#9#ext#atomicity.h.gcov'

File 'eqrel_datastructure_test.cpp'
Lines executed:98.84% of 346
No branches
Calls executed:100.00% of 1
Creating 'eqrel_datastructure_test.cpp.gcov'

File '/usr/include/c++/9/bits/hashtable_policy.h'
Lines executed:90.27% of 185
Branches executed:33.33% of 6
Taken at least once:16.67% of 6
Calls executed:47.62% of 21
Creating '#usr#include#c++#9#bits#hashtable_policy.h.gcov'

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

File '/usr/include/c++/9/bits/hashtable.h'
Lines executed:78.37% of 282
Branches executed:72.73% of 44
Taken at least once:52.27% of 44
Calls executed:59.02% of 61
Creating '#usr#include#c++#9#bits#hashtable.h.gcov'

File '/usr/include/c++/9/bits/stl_bvector.h'
Lines executed:93.14% of 102
Branches executed:100.00% of 18
Taken at least once:50.00% of 18
Calls executed:91.49% of 47
Creating '#usr#include#c++#9#bits#stl_bvector.h.gcov'

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

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

File 'graph_utils_test.cpp'
Lines executed:100.00% of 67
No branches
No calls
Creating 'graph_utils_test.cpp.gcov'

File '../../src/GraphUtils.h'
Lines executed:98.18% of 55
Branches executed:100.00% of 66
Taken at least once:69.70% of 66
Calls executed:92.65% of 68
Creating '^#^#src#GraphUtils.h.gcov'

File 'interpreter_relation_test.cpp'
Lines executed:100.00% of 91
No branches
No calls
Creating 'interpreter_relation_test.cpp.gcov'

File '../../src/interpreter/InterpreterProgInterface.h'
Lines executed:56.25% of 64
Branches executed:70.00% of 40
Taken at least once:37.50% of 40
Calls executed:52.70% of 74
Creating '^#^#src#interpreter#InterpreterProgInterface.h.gcov'

File '../../src/SymbolTable.h'
Lines executed:95.74% of 47
Branches executed:100.00% of 18
Taken at least once:61.11% of 18
Calls executed:91.67% of 24
Creating '^#^#src#SymbolTable.h.gcov'

File '/usr/include/c++/9/bits/deque.tcc'
Lines executed:30.77% of 221
Branches executed:25.00% of 104
Taken at least once:13.46% of 104
Calls executed:16.95% of 177
Creating '#usr#include#c++#9#bits#deque.tcc.gcov'

File '../../src/interpreter/InterpreterRelation.h'
Lines executed:100.00% of 18
Branches executed:100.00% of 4
Taken at least once:50.00% of 4
Calls executed:95.65% of 23
Creating '^#^#src#interpreter#InterpreterRelation.h.gcov'

File '../../src/interpreter/InterpreterIndex.h'
Lines executed:97.44% of 39
Branches executed:88.89% of 18
Taken at least once:55.56% of 18
Calls executed:89.29% of 28
Creating '^#^#src#interpreter#InterpreterIndex.h.gcov'

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

File '../../src/ram/analysis/IndexAnalysis.h'
Lines executed:92.98% of 57
Branches executed:100.00% of 16
Taken at least once:56.25% of 16
Calls executed:80.95% of 21
Creating '^#^#src#ram#analysis#IndexAnalysis.h.gcov'

File '../../src/SouffleInterface.h'
Lines executed:73.68% of 57
Branches executed:61.11% of 36
Taken at least once:36.11% of 36
Calls executed:58.46% of 65
Creating '^#^#src#SouffleInterface.h.gcov'

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

File 'matching_test.cpp'
Lines executed:100.00% of 72
Branches executed:100.00% of 4
Taken at least once:100.00% of 4
Calls executed:100.00% of 4
Creating 'matching_test.cpp.gcov'

File 'parallel_utils_test.cpp'
Lines executed:100.00% of 23
No branches
No calls
Creating 'parallel_utils_test.cpp.gcov'

File 'profile_util_test.cpp'
Lines executed:100.00% of 90
No branches
No calls
Creating 'profile_util_test.cpp.gcov'

File '../../src/profile/StringUtils.h'
Lines executed:88.65% of 141
Branches executed:90.95% of 221
Taken at least once:57.92% of 221
Calls executed:71.08% of 249
Creating '^#^#src#profile#StringUtils.h.gcov'

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

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

File 'ram_arithmetic_test.cpp'
Lines executed:100.00% of 448
Branches executed:100.00% of 60
Taken at least once:50.00% of 60
Calls executed:75.19% of 133
Creating 'ram_arithmetic_test.cpp.gcov'

File '../../src/interpreter/InterpreterPreamble.h'
Lines executed:0.00% of 12
No branches
No calls
Creating '^#^#src#interpreter#InterpreterPreamble.h.gcov'

File '../../src/ram/Node.h'
Lines executed:20.00% of 35
No branches
No calls
Creating '^#^#src#ram#Node.h.gcov'

File '../../src/ram/Visitor.h'
Lines executed:50.00% of 154
No branches
No calls
Creating '^#^#src#ram#Visitor.h.gcov'

File '../../src/RecordTable.h'
Lines executed:100.00% of 41
Branches executed:100.00% of 18
Taken at least once:66.67% of 18
Calls executed:87.80% of 41
Creating '^#^#src#RecordTable.h.gcov'

File '../../src/interpreter/InterpreterGenerator.h'
Lines executed:17.05% of 393
No branches
No calls
Creating '^#^#src#interpreter#InterpreterGenerator.h.gcov'

File '../../src/ram/TranslationUnit.h'
Lines executed:77.27% of 22
No branches
No calls
Creating '^#^#src#ram#TranslationUnit.h.gcov'

File '../../src/ram/Expression.h'
Lines executed:62.60% of 123
Branches executed:76.92% of 26
Taken at least once:42.31% of 26
Calls executed:55.74% of 61
Creating '^#^#src#ram#Expression.h.gcov'

File '../../src/interpreter/InterpreterEngine.h'
Lines executed:100.00% of 7
No branches
No calls
Creating '^#^#src#interpreter#InterpreterEngine.h.gcov'

File '../../src/ram/Statement.h'
Lines executed:47.19% of 267
Branches executed:31.31% of 198
Taken at least once:16.67% of 198
Calls executed:41.25% of 383
Creating '^#^#src#ram#Statement.h.gcov'

File '../../src/ram/Operation.h'
Lines executed:44.05% of 513
Branches executed:61.70% of 376
Taken at least once:33.51% of 376
Calls executed:45.18% of 819
Creating '^#^#src#ram#Operation.h.gcov'

File '../../src/ram/Program.h'
Lines executed:32.81% of 64
No branches
No calls
Creating '^#^#src#ram#Program.h.gcov'

File '../../src/interpreter/InterpreterNode.h'
Lines executed:100.00% of 6
No branches
No calls
Creating '^#^#src#interpreter#InterpreterNode.h.gcov'

File '../../src/ram/Relation.h'
Lines executed:70.37% of 54
No branches
No calls
Creating '^#^#src#ram#Relation.h.gcov'

File '../../src/Global.h'
Lines executed:100.00% of 12
No branches
No calls
Creating '^#^#src#Global.h.gcov'

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

File '../../src/ram/analysis/Analysis.h'
Lines executed:14.29% of 7
No branches
No calls
Creating '^#^#src#ram#analysis#Analysis.h.gcov'

File '../../src/ram/Utils.h'
Lines executed:0.00% of 4
Branches executed:0.00% of 2
Taken at least once:0.00% of 2
No calls
Creating '^#^#src#ram#Utils.h.gcov'

File '../../src/ram/Condition.h'
Lines executed:43.45% of 145
Branches executed:100.00% of 10
Taken at least once:60.00% of 10
Calls executed:81.25% of 32
Creating '^#^#src#ram#Condition.h.gcov'

File 'ram_condition_equal_clone_test.cpp'
Lines executed:100.00% of 175
No branches
No calls
Creating 'ram_condition_equal_clone_test.cpp.gcov'

File 'ram_expression_equal_clone_test.cpp'
Lines executed:100.00% of 136
No branches
No calls
Creating 'ram_expression_equal_clone_test.cpp.gcov'

File 'ram_operation_equal_clone_test.cpp'
Lines executed:100.00% of 405
No branches
No calls
Creating 'ram_operation_equal_clone_test.cpp.gcov'

File 'ram_relation_equal_clone_test.cpp'
Lines executed:100.00% of 21
No branches
No calls
Creating 'ram_relation_equal_clone_test.cpp.gcov'

File 'ram_relation_test.cpp'
Lines executed:100.00% of 335
Branches executed:100.00% of 80
Taken at least once:50.00% of 80
Calls executed:81.15% of 122
Creating 'ram_relation_test.cpp.gcov'

File '../../src/json11.h'
Lines executed:48.78% of 164
Branches executed:66.67% of 96
Taken at least once:39.58% of 96
Calls executed:58.96% of 134
Creating '^#^#src#json11.h.gcov'

File 'ram_statement_equal_clone_test.cpp'
Lines executed:100.00% of 287
No branches
No calls
Creating 'ram_statement_equal_clone_test.cpp.gcov'

File 'ram_type_conversion_test.cpp'
Lines executed:100.00% of 24
No branches
No calls
Creating 'ram_type_conversion_test.cpp.gcov'

File 'record_table_test.cpp'
Lines executed:100.00% of 38
No branches
No calls
Creating 'record_table_test.cpp.gcov'

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

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

File 'symbol_table_test.cpp'
Lines executed:100.00% of 63
No branches
No calls
Creating 'symbol_table_test.cpp.gcov'

File 'table_test.cpp'
Lines executed:100.00% of 27
Branches executed:100.00% of 8
Taken at least once:62.50% of 8
Calls executed:100.00% of 4
Creating 'table_test.cpp.gcov'

File '../../src/Table.h'
Lines executed:100.00% of 51
Branches executed:88.89% of 18
Taken at least once:72.22% of 18
Calls executed:100.00% of 11
Creating '^#^#src#Table.h.gcov'

File 'type_system_test.cpp'
Lines executed:100.00% of 149
No branches
Calls executed:100.00% of 1
Creating 'type_system_test.cpp.gcov'

File '../../src/ast/TypeSystem.h'
Lines executed:91.84% of 49
Branches executed:100.00% of 30
Taken at least once:50.00% of 30
Calls executed:78.95% of 57
Creating '^#^#src#ast#TypeSystem.h.gcov'

File '../../src/utility/FunctionalUtil.h'
Lines executed:100.00% of 2
Branches executed:100.00% of 2
Taken at least once:50.00% of 2
Calls executed:100.00% of 1
Creating '^#^#src#utility#FunctionalUtil.h.gcov'

File 'util_test.cpp'
Lines executed:100.00% of 138
No branches
No calls
Creating 'util_test.cpp.gcov'


  _____          _
 / ____|        | |
| |     ___   __| | ___  ___ _____   __
| |    / _ \ / _` |/ _ \/ __/ _ \ \ / /
| |___| (_) | (_| |  __/ (_| (_) \ V /
 \_____\___/ \__,_|\___|\___\___/ \_/
                              Bash-20200728-9fb7d93


==> Jenkins CI detected.
    project root: .
--> token set from env
    Yaml found at: .codecov.yml
==> Running gcov in . (disable via -X gcov)
./src/ast/analysis/.libs/libsouffle_la-ProfileUse.gcda:cannot open data file, assuming not executed
./src/ast/analysis/.libs/libsouffle_la-Type.gcda:cannot open data file, assuming not executed
./src/ast/analysis/.libs/libsouffle_la-TypeEnvironment.gcda:cannot open data file, assuming not executed
./src/ast/analysis/.libs/libsouffle_la-AuxArity.gcda:cannot open data file, assuming not executed
./src/ast/analysis/.libs/libsouffle_la-ComponentLookup.gcda:cannot open data file, assuming not executed
./src/ast/analysis/.libs/libsouffle_la-RecursiveClauses.gcda:cannot open data file, assuming not executed
./src/ast/analysis/.libs/libsouffle_la-RedundantRelations.gcda:cannot open data file, assuming not executed
./src/ast/analysis/.libs/libsouffle_la-RelationSchedule.gcda:cannot open data file, assuming not executed
./src/ast/analysis/.libs/libsouffle_la-TopologicallySortedSCCGraph.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-Ground.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-IOType.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-ProfileUse.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-TypeEnvironment.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-Type.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-AuxArity.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-ComponentLookup.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-PrecedenceGraph.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-RecursiveClauses.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-RedundantRelations.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-RelationDetailCache.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-RelationSchedule.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-TopologicallySortedSCCGraph.gcda:cannot open data file, assuming not executed
./src/ast/analysis/libsouffle_la-SCCGraph.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-ComponentChecker.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-PragmaChecker.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-SemanticChecker.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-UserDefinedFunctors.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-ComponentInstantiation.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-DebugReporter.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-FoldAnonymousRecords.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-InlineRelations.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-MagicSet.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-MaterializeAggregationQueries.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-MaterializeSingletonAggregation.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-NameUnnamedVariables.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-NormaliseConstraints.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-PartitionBodyLiterals.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-PolymorphicObjects.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-Provenance.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-ReduceExistentials.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-RemoveBooleanConstraints.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-RemoveEmptyRelations.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-RemoveRedundantRelations.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-RemoveRedundantSums.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-RemoveTypecasts.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-ReorderLiterals.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-ReplaceSingletonVariables.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-ResolveAnonymousRecordsAliases.gcda:cannot open data file, assuming not executed
./src/ast/transform/.libs/libsouffle_la-UniqueAggregationVariables.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-ComponentChecker.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-PragmaChecker.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-Transformer.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-UserDefinedFunctors.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-MinimiseProgram.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-ComponentInstantiation.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-SemanticChecker.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-DebugReporter.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-FoldAnonymousRecords.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-InlineRelations.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-MagicSet.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-MaterializeSingletonAggregation.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-MaterializeAggregationQueries.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-NameUnnamedVariables.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-NormaliseConstraints.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-PartitionBodyLiterals.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-PolymorphicObjects.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-Provenance.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-ReduceExistentials.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-RemoveBooleanConstraints.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-RemoveEmptyRelations.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-RemoveRedundantRelations.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-RemoveRedundantSums.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-RemoveRelationCopies.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-RemoveTypecasts.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-ReorderLiterals.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-ReplaceSingletonVariables.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-ResolveAliases.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-ResolveAnonymousRecordsAliases.gcda:cannot open data file, assuming not executed
./src/ast/transform/libsouffle_la-UniqueAggregationVariables.gcda:cannot open data file, assuming not executed
./src/ast/libsouffle_la-ParserUtils.gcda:cannot open data file, assuming not executed
./src/ast/libsouffle_la-Utils.gcda:cannot open data file, assuming not executed
./src/ast/libsouffle_la-TypeSystem.gcda:cannot open data file, assuming not executed
./src/interpreter/libsouffle_la-InterpreterRelation.gcda:cannot open data file, assuming not executed
./src/interpreter/libsouffle_la-InterpreterEngine.gcda:cannot open data file, assuming not executed
./src/interpreter/libsouffle_la-InterpreterIndex.gcda:cannot open data file, assuming not executed
./src/ram/analysis/.libs/libsouffle_la-ComplexityAnalysis.gcda:cannot open data file, assuming not executed
./src/ram/analysis/.libs/libsouffle_la-LevelAnalysis.gcda:cannot open data file, assuming not executed
./src/ram/analysis/libsouffle_la-ComplexityAnalysis.gcda:cannot open data file, assuming not executed
./src/ram/analysis/libsouffle_la-IndexAnalysis.gcda:cannot open data file, assuming not executed
./src/ram/analysis/libsouffle_la-LevelAnalysis.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-ChoiceConversion.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-CollapseFilters.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-EliminateDuplicates.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-ExpandFilter.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-HoistAggregate.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-HoistConditions.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-IfConversion.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-IndexedInequality.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-MakeIndex.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-Parallel.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-Transformer.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-ReorderConditions.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-ReorderFilterBreak.gcda:cannot open data file, assuming not executed
./src/ram/transform/.libs/libsouffle_la-TupleId.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-ChoiceConversion.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-CollapseFilters.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-EliminateDuplicates.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-ExpandFilter.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-HoistAggregate.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-HoistConditions.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-IfConversion.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-IndexedInequality.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-MakeIndex.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-Parallel.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-Transformer.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-ReorderConditions.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-ReorderFilterBreak.gcda:cannot open data file, assuming not executed
./src/ram/transform/libsouffle_la-TupleId.gcda:cannot open data file, assuming not executed
./src/synthesiser/.libs/libsouffle_la-Synthesiser.gcda:cannot open data file, assuming not executed
./src/synthesiser/.libs/libsouffle_la-SynthesiserRelation.gcda:cannot open data file, assuming not executed
./src/synthesiser/libsouffle_la-SynthesiserRelation.gcda:cannot open data file, assuming not executed
./src/synthesiser/libsouffle_la-Synthesiser.gcda:cannot open data file, assuming not executed
File 'ast/analysis/Ground.cpp'
Lines executed:66.27% of 83
No branches
No calls
Creating 'ast#analysis#Ground.cpp.gcov'
Cannot open source file ast/analysis/Ground.cpp

File '/usr/include/c++/9/ext/new_allocator.h'
Lines executed:93.33% of 15
No branches
No calls
Creating '#usr#include#c++#9#ext#new_allocator.h.gcov'

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

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

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

File 'ast/analysis/Constraint.h'
Lines executed:80.65% of 31
No branches
No calls
Creating 'ast#analysis#Constraint.h.gcov'
Cannot open source file ast/analysis/Constraint.h

File 'ast/Visitor.h'
Lines executed:54.55% of 110
No branches
No calls
Creating 'ast#Visitor.h.gcov'
Cannot open source file ast/Visitor.h

File '/usr/include/c++/9/iostream'
No executable lines
No branches
No calls
Removing '#usr#include#c++#9#iostream.gcov'

File 'Constraints.h'
Lines executed:54.39% of 57
No branches
No calls
Creating 'Constraints.h.gcov'
Cannot open source file Constraints.h

File '/usr/include/c++/9/tuple'
Lines executed:73.97% of 73
No branches
No calls
Creating '#usr#include#c++#9#tuple.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_pair.h'
Lines executed:38.24% of 34
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_pair.h.gcov'

File '/usr/include/c++/9/bits/shared_ptr.h'
Lines executed:80.95% of 21
No branches
No calls
Creating '#usr#include#c++#9#bits#shared_ptr.h.gcov'

File '/usr/include/c++/9/bits/stl_uninitialized.h'
Lines executed:60.29% of 68
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_uninitialized.h.gcov'

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

File '/usr/include/c++/9/bits/stl_vector.h'
Lines executed:72.13% of 244
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_vector.h.gcov'

File '/usr/include/c++/9/bits/stl_tree.h'
Lines executed:66.60% of 467
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_tree.h.gcov'

File '/usr/include/c++/9/bits/unique_ptr.h'
Lines executed:88.89% of 108
No branches
No calls
Creating '#usr#include#c++#9#bits#unique_ptr.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 'utility/tinyformat.h'
Lines executed:40.08% of 262
No branches
No calls
Creating 'utility#tinyformat.h.gcov'
Cannot open source file utility/tinyformat.h

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

File '/usr/include/c++/9/bits/stl_algobase.h'
Lines executed:50.57% of 176
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_algobase.h.gcov'

File '/usr/include/c++/9/bits/ptr_traits.h'
Lines executed:50.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 'utility/StreamUtil.h'
Lines executed:52.38% of 42
No branches
Calls executed:0.00% of 12
Creating 'utility#StreamUtil.h.gcov'
Cannot open source file utility/StreamUtil.h

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/bits/stl_map.h'
Lines executed:79.10% of 67
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_map.h.gcov'

File 'utility/MiscUtil.h'
Lines executed:33.33% of 12
No branches
No calls
Creating 'utility#MiscUtil.h.gcov'
Cannot open source file utility/MiscUtil.h

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

File '/usr/include/c++/9/bits/stl_iterator.h'
Lines executed:31.18% of 93
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_iterator.h.gcov'

File '/usr/include/c++/9/bits/stl_iterator_base_funcs.h'
Lines executed:64.52% of 31
No branches
No calls
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:0.00% of 4
No branches
No calls
Creating '#usr#include#c++#9#ext#type_traits.h.gcov'

File '/usr/include/c++/9/bits/vector.tcc'
Lines executed:30.30% of 231
No branches
No calls
Creating '#usr#include#c++#9#bits#vector.tcc.gcov'

File '/usr/include/c++/9/bits/stl_deque.h'
Lines executed:63.27% of 196
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_deque.h.gcov'

File '/usr/include/c++/9/bits/predefined_ops.h'
Lines executed:45.31% of 64
No branches
No calls
Creating '#usr#include#c++#9#bits#predefined_ops.h.gcov'

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

File '/usr/include/c++/9/bits/basic_string.h'
Lines executed:14.67% of 75
No branches
No calls
Creating '#usr#include#c++#9#bits#basic_string.h.gcov'

File 'DebugReport.h'
Lines executed:0.00% of 12
No branches
No calls
Creating 'DebugReport.h.gcov'
Cannot open source file DebugReport.h

File 'Global.h'
Lines executed:0.00% of 16
No branches
No calls
Creating 'Global.h.gcov'
Cannot open source file Global.h

File '/usr/include/c++/9/bits/stl_set.h'
Lines executed:66.00% of 50
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_set.h.gcov'

File 'ast/TranslationUnit.h'
Lines executed:53.85% of 26
No branches
No calls
Creating 'ast#TranslationUnit.h.gcov'
Cannot open source file ast/TranslationUnit.h

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

File 'utility/ContainerUtil.h'
Lines executed:52.10% of 119
No branches
No calls
Creating 'utility#ContainerUtil.h.gcov'
Cannot open source file utility/ContainerUtil.h

File '/usr/include/c++/9/ext/string_conversions.h'
Lines executed:56.52% 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:0.00% of 40
No branches
No calls
Creating '#usr#include#c++#9#bits#char_traits.h.gcov'

File 'ast/analysis/RelationDetailCache.h'
Lines executed:41.67% of 12
No branches
No calls
Creating 'ast#analysis#RelationDetailCache.h.gcov'
Cannot open source file ast/analysis/RelationDetailCache.h

File 'ast/analysis/Analysis.h'
Lines executed:40.00% of 5
No branches
No calls
Creating 'ast#analysis#Analysis.h.gcov'
Cannot open source file ast/analysis/Analysis.h

File 'ast/Relation.h'
Lines executed:0.00% of 56
No branches
No calls
Creating 'ast#Relation.h.gcov'
Cannot open source file ast/Relation.h

File 'ast/Clause.h'
Lines executed:69.81% of 53
No branches
No calls
Creating 'ast#Clause.h.gcov'
Cannot open source file ast/Clause.h

File 'ast/Literal.h'
Lines executed:52.75% of 91
No branches
No calls
Creating 'ast#Literal.h.gcov'
Cannot open source file ast/Literal.h

File 'ast/Argument.h'
Lines executed:6.67% of 210
No branches
No calls
Creating 'ast#Argument.h.gcov'
Cannot open source file ast/Argument.h

File 'ast/QualifiedName.h'
Lines executed:21.62% of 37
No branches
No calls
Creating 'ast#QualifiedName.h.gcov'
Cannot open source file ast/QualifiedName.h

File 'ast/Node.h'
Lines executed:30.30% of 33
No branches
No calls
Creating 'ast#Node.h.gcov'
Cannot open source file ast/Node.h

File 'BinaryConstraintOps.h'
Lines executed:18.18% of 99
No branches
No calls
Creating 'BinaryConstraintOps.h.gcov'
Cannot open source file BinaryConstraintOps.h

File '/usr/include/c++/9/bits/ios_base.h'
Lines executed:64.15% of 53
No branches
No calls
Creating '#usr#include#c++#9#bits#ios_base.h.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:16.67% of 12
No branches
No calls
Creating '#usr#include#x86_64-linux-gnu#c++#9#bits#gthr-default.h.gcov'

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

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

File 'ast/analysis/IOType.cpp'
Lines executed:40.00% of 20
No branches
No calls
Creating 'ast#analysis#IOType.cpp.gcov'
Cannot open source file ast/analysis/IOType.cpp

File 'ast/analysis/IOType.h'
Lines executed:100.00% of 9
No branches
No calls
Creating 'ast#analysis#IOType.h.gcov'
Cannot open source file ast/analysis/IOType.h

File 'ast/IO.h'
Lines executed:0.00% of 14
No branches
No calls
Creating 'ast#IO.h.gcov'
Cannot open source file ast/IO.h

File 'ast/analysis/ProfileUse.cpp'
Lines executed:0.00% of 12
No branches
No calls
Creating 'ast#analysis#ProfileUse.cpp.gcov'
Cannot open source file ast/analysis/ProfileUse.cpp

File 'profile/Rule.h'
Lines executed:0.00% of 34
No branches
No calls
Creating 'profile#Rule.h.gcov'
Cannot open source file profile/Rule.h

File 'profile/Iteration.h'
Lines executed:0.00% of 27
No branches
No calls
Creating 'profile#Iteration.h.gcov'
Cannot open source file profile/Iteration.h

File 'profile/Relation.h'
Lines executed:0.00% of 60
No branches
No calls
Creating 'profile#Relation.h.gcov'
Cannot open source file profile/Relation.h

File 'profile/../json11.h'
Lines executed:0.00% of 429
No branches
No calls
Creating 'profile#^#json11.h.gcov'
Cannot open source file profile/../json11.h

File 'profile/Reader.h'
Lines executed:0.00% of 173
No branches
No calls
Creating 'profile#Reader.h.gcov'
Cannot open source file profile/Reader.h

File 'profile/StringUtils.h'
No executable lines
No branches
No calls
Removing 'profile#StringUtils.h.gcov'

File 'profile/../EventProcessor.h'
Lines executed:0.00% of 252
No branches
No calls
Creating 'profile#^#EventProcessor.h.gcov'
Cannot open source file profile/../EventProcessor.h

File 'ast/analysis/ProfileUse.h'
Lines executed:0.00% of 2
No branches
No calls
Creating 'ast#analysis#ProfileUse.h.gcov'
Cannot open source file ast/analysis/ProfileUse.h

File 'profile/../utility/tinyformat.h'
Lines executed:0.00% of 253
No branches
No calls
Creating 'profile#^#utility#tinyformat.h.gcov'
Cannot open source file profile/../utility/tinyformat.h

File '/usr/include/c++/9/bits/streambuf_iterator.h'
Lines executed:0.00% of 25
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:0.00% of 190
No branches
No calls
Creating '#usr#include#c++#9#bits#hashtable_policy.h.gcov'

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

File '/usr/include/c++/9/bits/hashtable.h'
Lines executed:0.00% of 286
No branches
Calls executed:0.00% of 10
Creating '#usr#include#c++#9#bits#hashtable.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 'profile/../ProfileDatabase.h'
Lines executed:0.00% of 188
No branches
No calls
Creating 'profile#^#ProfileDatabase.h.gcov'
Cannot open source file profile/../ProfileDatabase.h

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

File '/usr/include/c++/9/bits/unordered_map.h'
Lines executed:7.41% of 27
No branches
No calls
Creating '#usr#include#c++#9#bits#unordered_map.h.gcov'

File 'profile/../utility/MiscUtil.h'
Lines executed:0.00% of 6
No branches
No calls
Creating 'profile#^#utility#MiscUtil.h.gcov'
Cannot open source file profile/../utility/MiscUtil.h

File '/usr/include/c++/9/bits/postypes.h'
Lines executed:0.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:27.78% of 54
No branches
Calls executed:1.26% of 318
Creating '#usr#include#c++#9#bits#atomic_base.h.gcov'

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

File 'profile/../ProfileEvent.h'
Lines executed:0.00% of 30
No branches
No calls
Creating 'profile#^#ProfileEvent.h.gcov'
Cannot open source file profile/../ProfileEvent.h

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

File '/usr/include/c++/9/atomic'
Lines executed:25.93% of 27
No branches
No calls
Creating '#usr#include#c++#9#atomic.gcov'

File 'profile/ProgramRun.h'
Lines executed:0.00% of 16
No branches
No calls
Creating 'profile#ProgramRun.h.gcov'
Cannot open source file profile/ProgramRun.h

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

File '/usr/include/c++/9/bits/functional_hash.h'
Lines executed:0.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:0.00% of 3
No branches
No calls
Creating '#usr#include#c++#9#limits.gcov'

File 'ast/analysis/Type.cpp'
Lines executed:0.00% of 342
No branches
No calls
Creating 'ast#analysis#Type.cpp.gcov'
Cannot open source file ast/analysis/Type.cpp

File 'ast/TypeSystem.h'
Lines executed:34.01% of 147
No branches
No calls
Creating 'ast#TypeSystem.h.gcov'
Cannot open source file ast/TypeSystem.h

File 'ast/analysis/Type.h'
Lines executed:0.00% of 3
No branches
No calls
Creating 'ast#analysis#Type.h.gcov'
Cannot open source file ast/analysis/Type.h

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

File '/usr/include/c++/9/bits/stl_algo.h'
Lines executed:32.17% of 230
No branches
No calls
Creating '#usr#include#c++#9#bits#stl_algo.h.gcov'

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

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

File 'utility/FunctionalUtil.h'
Lines executed:44.44% of 9
No branches
No calls
Creating 'utility#FunctionalUtil.h.gcov'
Cannot open source file utility/FunctionalUtil.h

File 'utility/StringUtil.h'
Lines executed:29.13% of 103
No branches
No calls
Creating 'utility#StringUtil.h.gcov'
Cannot open source file utility/StringUtil.h

File 'ast/analysis/TypeEnvironment.h'
Lines executed:0.00% of 7
No branches
No calls
Creating 'ast#analysis#TypeEnvironment.h.gcov'
Cannot open source file ast/analysis/TypeEnvironment.h

File 'ast/Program.h'
Lines executed:40.43% of 47
No branches
No calls
Creating 'ast#Program.h.gcov'
Cannot open source file ast/Program.h

File 'ast/Attribute.h'
Lines executed:0.00% of 17
No branches
No calls
Creating 'ast#Attribute.h.gcov'
Cannot open source file ast/Attribute.h

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

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

File 'ast/analysis/TypeEnvironment.cpp'
Lines executed:0.00% of 92
No branches
No calls
Creating 'ast#analysis#TypeEnvironment.cpp.gcov'
Cannot open source file ast/analysis/TypeEnvironment.cpp

File 'GraphUtils.h'
Lines executed:0.00% of 85
Branches executed:0.00% of 12
Taken at least once:0.00% of 12
Calls executed:0.00% of 2
Creating 'GraphUtils.h.gcov'
Cannot open source file GraphUtils.h

File 'ast/Type.h'
Lines executed:0.00% of 17
No branches
No calls
Creating 'ast#Type.h.gcov'
Cannot open source file ast/Type.h

File 'ast/analysis/AuxArity.cpp'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#analysis#AuxArity.cpp.gcov'
Cannot open source file ast/analysis/AuxArity.cpp

File 'ast/analysis/ComponentLookup.cpp'
Lines executed:0.00% of 30
No branches
No calls
Creating 'ast#analysis#ComponentLookup.cpp.gcov'
Cannot open source file ast/analysis/ComponentLookup.cpp

File 'ast/analysis/ComponentLookup.h'
Lines executed:0.00% of 17
No branches
No calls
Creating 'ast#analysis#ComponentLookup.h.gcov'
Cannot open source file ast/analysis/ComponentLookup.h

File 'ast/Component.h'
Lines executed:0.00% of 26
No branches
No calls
Creating 'ast#Component.h.gcov'
Cannot open source file ast/Component.h

File 'ast/analysis/PrecedenceGraph.cpp'
Lines executed:0.00% of 26
No branches
No calls
Creating 'ast#analysis#PrecedenceGraph.cpp.gcov'
Cannot open source file ast/analysis/PrecedenceGraph.cpp

File 'ast/analysis/PrecedenceGraph.h'
Lines executed:0.00% of 3
No branches
No calls
Creating 'ast#analysis#PrecedenceGraph.h.gcov'
Cannot open source file ast/analysis/PrecedenceGraph.h

File 'utility/FileUtil.h'
Lines executed:0.00% of 71
No branches
No calls
Creating 'utility#FileUtil.h.gcov'
Cannot open source file utility/FileUtil.h

File 'ast/analysis/RecursiveClauses.cpp'
Lines executed:0.00% of 34
No branches
No calls
Creating 'ast#analysis#RecursiveClauses.cpp.gcov'
Cannot open source file ast/analysis/RecursiveClauses.cpp

File 'ast/analysis/RecursiveClauses.h'
Lines executed:0.00% of 3
No branches
No calls
Creating 'ast#analysis#RecursiveClauses.h.gcov'
Cannot open source file ast/analysis/RecursiveClauses.h

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

File 'ast/analysis/RedundantRelations.cpp'
Lines executed:0.00% of 24
No branches
No calls
Creating 'ast#analysis#RedundantRelations.cpp.gcov'
Cannot open source file ast/analysis/RedundantRelations.cpp

File 'ast/analysis/RedundantRelations.h'
Lines executed:0.00% of 3
No branches
No calls
Creating 'ast#analysis#RedundantRelations.h.gcov'
Cannot open source file ast/analysis/RedundantRelations.h

File 'ast/analysis/RelationDetailCache.cpp'
Lines executed:57.89% of 19
No branches
No calls
Creating 'ast#analysis#RelationDetailCache.cpp.gcov'
Cannot open source file ast/analysis/RelationDetailCache.cpp

File 'ast/analysis/RelationSchedule.cpp'
Lines executed:0.00% of 59
No branches
No calls
Creating 'ast#analysis#RelationSchedule.cpp.gcov'
Cannot open source file ast/analysis/RelationSchedule.cpp

File 'ast/analysis/RelationSchedule.h'
Lines executed:0.00% of 15
No branches
No calls
Creating 'ast#analysis#RelationSchedule.h.gcov'
Cannot open source file ast/analysis/RelationSchedule.h

File 'ast/analysis/TopologicallySortedSCCGraph.h'
Lines executed:0.00% of 3
No branches
No calls
Creating 'ast#analysis#TopologicallySortedSCCGraph.h.gcov'
Cannot open source file ast/analysis/TopologicallySortedSCCGraph.h

File 'ast/analysis/SCCGraph.h'
Lines executed:0.00% of 18
No branches
No calls
Creating 'ast#analysis#SCCGraph.h.gcov'
Cannot open source file ast/analysis/SCCGraph.h

File 'ast/analysis/SCCGraph.cpp'
Lines executed:0.00% of 67
No branches
No calls
Creating 'ast#analysis#SCCGraph.cpp.gcov'
Cannot open source file ast/analysis/SCCGraph.cpp

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

File 'ast/analysis/TopologicallySortedSCCGraph.cpp'
Lines executed:0.00% of 84
No branches
No calls
Creating 'ast#analysis#TopologicallySortedSCCGraph.cpp.gcov'
Cannot open source file ast/analysis/TopologicallySortedSCCGraph.cpp

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

File 'ast/transform/ComponentChecker.cpp'
Lines executed:0.00% of 89
No branches
No calls
Creating 'ast#transform#ComponentChecker.cpp.gcov'
Cannot open source file ast/transform/ComponentChecker.cpp

File 'ast/transform/ComponentChecker.h'
Lines executed:0.00% of 5
No branches
No calls
Creating 'ast#transform#ComponentChecker.h.gcov'
Cannot open source file ast/transform/ComponentChecker.h

File 'ErrorReport.h'
Lines executed:7.59% of 79
No branches
No calls
Creating 'ErrorReport.h.gcov'
Cannot open source file ErrorReport.h

File 'ast/transform/Transformer.h'
Lines executed:0.00% of 12
No branches
No calls
Creating 'ast#transform#Transformer.h.gcov'
Cannot open source file ast/transform/Transformer.h

File 'ast/transform/PragmaChecker.cpp'
Lines executed:0.00% of 10
No branches
No calls
Creating 'ast#transform#PragmaChecker.cpp.gcov'
Cannot open source file ast/transform/PragmaChecker.cpp

File 'ast/transform/PragmaChecker.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#PragmaChecker.h.gcov'
Cannot open source file ast/transform/PragmaChecker.h

File 'ast/Pragma.h'
Lines executed:0.00% of 2
No branches
No calls
Creating 'ast#Pragma.h.gcov'
Cannot open source file ast/Pragma.h

File 'ast/transform/SemanticChecker.cpp'
Lines executed:0.00% of 735
No branches
No calls
Creating 'ast#transform#SemanticChecker.cpp.gcov'
Cannot open source file ast/transform/SemanticChecker.cpp

File 'ast/transform/SemanticChecker.h'
Lines executed:0.00% of 16
No branches
No calls
Creating 'ast#transform#SemanticChecker.h.gcov'
Cannot open source file ast/transform/SemanticChecker.h

File 'AggregateOp.h'
Lines executed:0.00% of 34
No branches
No calls
Creating 'AggregateOp.h.gcov'
Cannot open source file AggregateOp.h

File 'ast/transform/Transformer.cpp'
Lines executed:40.00% of 15
No branches
No calls
Creating 'ast#transform#Transformer.cpp.gcov'
Cannot open source file ast/transform/Transformer.cpp

File 'ast/transform/UserDefinedFunctors.cpp'
Lines executed:0.00% of 19
No branches
No calls
Creating 'ast#transform#UserDefinedFunctors.cpp.gcov'
Cannot open source file ast/transform/UserDefinedFunctors.cpp

File 'ast/transform/UserDefinedFunctors.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#UserDefinedFunctors.h.gcov'
Cannot open source file ast/transform/UserDefinedFunctors.h

File 'ast/FunctorDeclaration.h'
Lines executed:0.00% of 8
No branches
No calls
Creating 'ast#FunctorDeclaration.h.gcov'
Cannot open source file ast/FunctorDeclaration.h

File 'ast/transform/ComponentInstantiation.cpp'
Lines executed:0.00% of 203
No branches
No calls
Creating 'ast#transform#ComponentInstantiation.cpp.gcov'
Cannot open source file ast/transform/ComponentInstantiation.cpp

File 'ast/transform/ComponentInstantiation.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#ComponentInstantiation.h.gcov'
Cannot open source file ast/transform/ComponentInstantiation.h

File 'ast/transform/DebugReporter.cpp'
Lines executed:0.00% of 16
No branches
No calls
Creating 'ast#transform#DebugReporter.cpp.gcov'
Cannot open source file ast/transform/DebugReporter.cpp

File 'ast/transform/DebugReporter.h'
Lines executed:0.00% of 20
No branches
No calls
Creating 'ast#transform#DebugReporter.h.gcov'
Cannot open source file ast/transform/DebugReporter.h

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

File 'ast/transform/FoldAnonymousRecords.cpp'
Lines executed:0.00% of 74
No branches
No calls
Creating 'ast#transform#FoldAnonymousRecords.cpp.gcov'
Cannot open source file ast/transform/FoldAnonymousRecords.cpp

File 'ast/transform/FoldAnonymousRecords.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#FoldAnonymousRecords.h.gcov'
Cannot open source file ast/transform/FoldAnonymousRecords.h

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

File 'ast/transform/InlineRelations.cpp'
Lines executed:0.00% of 456
No branches
No calls
Creating 'ast#transform#InlineRelations.cpp.gcov'
Cannot open source file ast/transform/InlineRelations.cpp

File 'ast/transform/InlineRelations.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#InlineRelations.h.gcov'
Cannot open source file ast/transform/InlineRelations.h

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/transform/MagicSet.cpp'
Lines executed:0.00% of 662
No branches
No calls
Creating 'ast#transform#MagicSet.cpp.gcov'
Cannot open source file ast/transform/MagicSet.cpp

File 'ast/transform/MagicSet.h'
Lines executed:0.00% of 76
No branches
No calls
Creating 'ast#transform#MagicSet.h.gcov'
Cannot open source file ast/transform/MagicSet.h

File 'RelationTag.h'
Lines executed:0.00% of 17
No branches
No calls
Creating 'RelationTag.h.gcov'
Cannot open source file RelationTag.h

File 'ast/transform/MaterializeAggregationQueries.cpp'
Lines executed:0.00% of 113
No branches
No calls
Creating 'ast#transform#MaterializeAggregationQueries.cpp.gcov'
Cannot open source file ast/transform/MaterializeAggregationQueries.cpp

File 'ast/transform/MaterializeSingletonAggregation.cpp'
Lines executed:0.00% of 73
No branches
No calls
Creating 'ast#transform#MaterializeSingletonAggregation.cpp.gcov'
Cannot open source file ast/transform/MaterializeSingletonAggregation.cpp

File 'ast/transform/MaterializeSingletonAggregation.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#MaterializeSingletonAggregation.h.gcov'
Cannot open source file ast/transform/MaterializeSingletonAggregation.h

File 'ast/transform/MinimiseProgram.cpp'
Lines executed:86.86% of 274
No branches
No calls
Creating 'ast#transform#MinimiseProgram.cpp.gcov'
Cannot open source file ast/transform/MinimiseProgram.cpp

File 'ast/transform/MinimiseProgram.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#MinimiseProgram.h.gcov'
Cannot open source file ast/transform/MinimiseProgram.h

File 'ast/transform/NameUnnamedVariables.cpp'
Lines executed:0.00% of 17
No branches
No calls
Creating 'ast#transform#NameUnnamedVariables.cpp.gcov'
Cannot open source file ast/transform/NameUnnamedVariables.cpp

File 'ast/transform/NameUnnamedVariables.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#NameUnnamedVariables.h.gcov'
Cannot open source file ast/transform/NameUnnamedVariables.h

File 'ast/transform/NormaliseConstraints.cpp'
Lines executed:0.00% of 51
No branches
No calls
Creating 'ast#transform#NormaliseConstraints.cpp.gcov'
Cannot open source file ast/transform/NormaliseConstraints.cpp

File 'ast/transform/NormaliseConstraints.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#NormaliseConstraints.h.gcov'
Cannot open source file ast/transform/NormaliseConstraints.h

File 'ast/transform/PartitionBodyLiterals.cpp'
Lines executed:0.00% of 91
No branches
No calls
Creating 'ast#transform#PartitionBodyLiterals.cpp.gcov'
Cannot open source file ast/transform/PartitionBodyLiterals.cpp

File 'ast/transform/PartitionBodyLiterals.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#PartitionBodyLiterals.h.gcov'
Cannot open source file ast/transform/PartitionBodyLiterals.h

File 'ast/transform/PolymorphicObjects.cpp'
Lines executed:0.00% of 62
No branches
No calls
Creating 'ast#transform#PolymorphicObjects.cpp.gcov'
Cannot open source file ast/transform/PolymorphicObjects.cpp

File 'ast/transform/PolymorphicObjects.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#PolymorphicObjects.h.gcov'
Cannot open source file ast/transform/PolymorphicObjects.h

File 'ast/transform/Provenance.cpp'
Lines executed:0.00% of 161
No branches
No calls
Creating 'ast#transform#Provenance.cpp.gcov'
Cannot open source file ast/transform/Provenance.cpp

File 'ast/transform/Provenance.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#Provenance.h.gcov'
Cannot open source file ast/transform/Provenance.h

File 'ast/transform/ReduceExistentials.cpp'
Lines executed:0.00% of 73
No branches
No calls
Creating 'ast#transform#ReduceExistentials.cpp.gcov'
Cannot open source file ast/transform/ReduceExistentials.cpp

File 'ast/transform/ReduceExistentials.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#ReduceExistentials.h.gcov'
Cannot open source file ast/transform/ReduceExistentials.h

File 'ast/transform/RemoveBooleanConstraints.cpp'
Lines executed:0.00% of 54
No branches
No calls
Creating 'ast#transform#RemoveBooleanConstraints.cpp.gcov'
Cannot open source file ast/transform/RemoveBooleanConstraints.cpp

File 'ast/transform/RemoveBooleanConstraints.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#RemoveBooleanConstraints.h.gcov'
Cannot open source file ast/transform/RemoveBooleanConstraints.h

File 'ast/transform/RemoveEmptyRelations.cpp'
Lines executed:0.00% of 52
No branches
No calls
Creating 'ast#transform#RemoveEmptyRelations.cpp.gcov'
Cannot open source file ast/transform/RemoveEmptyRelations.cpp

File 'ast/transform/RemoveRedundantRelations.cpp'
Lines executed:0.00% of 9
No branches
No calls
Creating 'ast#transform#RemoveRedundantRelations.cpp.gcov'
Cannot open source file ast/transform/RemoveRedundantRelations.cpp

File 'ast/transform/RemoveRedundantRelations.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#RemoveRedundantRelations.h.gcov'
Cannot open source file ast/transform/RemoveRedundantRelations.h

File 'ast/transform/RemoveRedundantSums.cpp'
Lines executed:0.00% of 20
No branches
No calls
Creating 'ast#transform#RemoveRedundantSums.cpp.gcov'
Cannot open source file ast/transform/RemoveRedundantSums.cpp

File 'ast/transform/RemoveRedundantSums.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#RemoveRedundantSums.h.gcov'
Cannot open source file ast/transform/RemoveRedundantSums.h

File 'ast/transform/RemoveRelationCopies.cpp'
Lines executed:80.36% of 56
No branches
No calls
Creating 'ast#transform#RemoveRelationCopies.cpp.gcov'
Cannot open source file ast/transform/RemoveRelationCopies.cpp

File 'ast/transform/RemoveTypecasts.cpp'
Lines executed:0.00% of 10
No branches
No calls
Creating 'ast#transform#RemoveTypecasts.cpp.gcov'
Cannot open source file ast/transform/RemoveTypecasts.cpp

File 'ast/transform/RemoveTypecasts.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#RemoveTypecasts.h.gcov'
Cannot open source file ast/transform/RemoveTypecasts.h

File 'ast/transform/ReorderLiterals.cpp'
Lines executed:0.00% of 203
No branches
No calls
Creating 'ast#transform#ReorderLiterals.cpp.gcov'
Cannot open source file ast/transform/ReorderLiterals.cpp

File 'ast/transform/ReorderLiterals.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#ReorderLiterals.h.gcov'
Cannot open source file ast/transform/ReorderLiterals.h

File 'ast/transform/ReplaceSingletonVariables.cpp'
Lines executed:0.00% of 38
No branches
No calls
Creating 'ast#transform#ReplaceSingletonVariables.cpp.gcov'
Cannot open source file ast/transform/ReplaceSingletonVariables.cpp

File 'ast/transform/ReplaceSingletonVariables.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#ReplaceSingletonVariables.h.gcov'
Cannot open source file ast/transform/ReplaceSingletonVariables.h

File 'ast/transform/ResolveAliases.cpp'
Lines executed:84.02% of 169
No branches
No calls
Creating 'ast#transform#ResolveAliases.cpp.gcov'
Cannot open source file ast/transform/ResolveAliases.cpp

File 'ast/transform/ResolveAliases.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#ResolveAliases.h.gcov'
Cannot open source file ast/transform/ResolveAliases.h

File 'ast/transform/ResolveAnonymousRecordsAliases.cpp'
Lines executed:0.00% of 68
No branches
No calls
Creating 'ast#transform#ResolveAnonymousRecordsAliases.cpp.gcov'
Cannot open source file ast/transform/ResolveAnonymousRecordsAliases.cpp

File 'ast/transform/ResolveAnonymousRecordsAliases.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#ResolveAnonymousRecordsAliases.h.gcov'
Cannot open source file ast/transform/ResolveAnonymousRecordsAliases.h

File 'ast/transform/UniqueAggregationVariables.cpp'
Lines executed:0.00% of 17
No branches
No calls
Creating 'ast#transform#UniqueAggregationVariables.cpp.gcov'
Cannot open source file ast/transform/UniqueAggregationVariables.cpp

File 'ast/transform/UniqueAggregationVariables.h'
Lines executed:0.00% of 4
No branches
No calls
Creating 'ast#transform#UniqueAggregationVariables.h.gcov'
Cannot open source file ast/transform/UniqueAggregationVariables.h

File 'ast/ParserUtils.cpp'
Lines executed:87.16% of 109
No branches
No calls
Creating 'ast#ParserUtils.cpp.gcov'
Cannot open source file ast/ParserUtils.cpp

File 'ast/ParserUtils.h'
Lines executed:60.00% of 5
No branches
No calls
Creating 'ast#ParserUtils.h.gcov'
Cannot open source file ast/ParserUtils.h

File 'ast/Utils.cpp'
Lines executed:36.14% of 166
No branches
No calls
Creating 'ast#Utils.cpp.gcov'
Cannot open source file ast/Utils.cpp

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/TypeSystem.cpp'
Lines executed:51.43% of 175
No branches
No calls
Creating 'ast#TypeSystem.cpp.gcov'
Cannot open source file ast/TypeSystem.cpp

File 'interpreter/InterpreterEngine.cpp'
Lines executed:17.62% of 755
No branches
No calls
Creating 'interpreter#InterpreterEngine.cpp.gcov'
Cannot open source file interpreter/InterpreterEngine.cpp

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

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

File 'json11.h'
Lines executed:25.23% of 432
No branches
No calls
Creating 'json11.h.gcov'
Cannot open source file json11.h

File 'ram/Visitor.h'
Lines executed:8.44% of 154
No branches
No calls
Creating 'ram#Visitor.h.gcov'
Cannot open source file ram/Visitor.h

File 'EventProcessor.h'
Lines executed:19.35% of 310
No branches
No calls
Creating 'EventProcessor.h.gcov'
Cannot open source file EventProcessor.h

File 'RecordTable.h'
Lines executed:0.00% of 39
No branches
No calls
Creating 'RecordTable.h.gcov'
Cannot open source file RecordTable.h

File 'SymbolTable.h'
Lines executed:22.22% of 27
No branches
No calls
Creating 'SymbolTable.h.gcov'
Cannot open source file SymbolTable.h

File 'gzfstream.h'
Lines executed:0.00% of 76
No branches
No calls
Creating 'gzfstream.h.gcov'
Cannot open source file gzfstream.h

File 'ReadStreamCSV.h'
Lines executed:51.43% of 140
No branches
No calls
Creating 'ReadStreamCSV.h.gcov'
Cannot open source file ReadStreamCSV.h

File 'ReadStreamJSON.h'
Lines executed:4.23% of 189
No branches
No calls
Creating 'ReadStreamJSON.h.gcov'
Cannot open source file ReadStreamJSON.h

File 'WriteStreamCSV.h'
Lines executed:41.51% of 106
No branches
No calls
Creating 'WriteStreamCSV.h.gcov'
Cannot open source file WriteStreamCSV.h

File '/usr/include/c++/9/variant'
Lines executed:0.00% of 122
No branches
Calls executed:0.00% of 44
Creating '#usr#include#c++#9#variant.gcov'

File 'WriteStreamJSON.h'
Lines executed:5.16% of 155
No branches
No calls
Creating 'WriteStreamJSON.h.gcov'
Cannot open source file WriteStreamJSON.h

File 'ReadStreamSQLite.h'
Lines executed:4.65% of 86
No branches
No calls
Creating 'ReadStreamSQLite.h.gcov'
Cannot open source file ReadStreamSQLite.h

File 'WriteStreamSQLite.h'
Lines executed:2.40% of 167
No branches
No calls
Creating 'WriteStreamSQLite.h.gcov'
Cannot open source file WriteStreamSQLite.h

File 'interpreter/InterpreterContext.h'
Lines executed:41.38% of 29
No branches
No calls
Creating 'interpreter#InterpreterContext.h.gcov'
Cannot open source file interpreter/InterpreterContext.h

File '/usr/include/c++/9/bitset'
Lines executed:0.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:0.00% 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:0.00% of 70
No branches
No calls
Creating '#usr#include#c++#9#bits#regex.h.gcov'

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

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

File '/usr/include/c++/9/bits/regex_executor.h'
Lines executed:0.00% 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:0.00% of 217
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:0.00% 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:0.00% of 214
No branches
No calls
Creating '#usr#include#c++#9#bits#regex_scanner.tcc.gcov'

File 'WriteStream.h'
Lines executed:30.95% of 42
No branches
No calls
Creating 'WriteStream.h.gcov'
Cannot open source file WriteStream.h

File 'ReadStream.h'
Lines executed:12.50% of 72
No branches
No calls
Creating 'ReadStream.h.gcov'
Cannot open source file ReadStream.h

File '/usr/include/c++/9/bits/regex_scanner.h'
Lines executed:0.00% 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:0.00% of 6
No branches
No calls
Creating '#usr#include#c++#9#bits#locale_classes.tcc.gcov'

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

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

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

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

File 'utility/EvaluatorUtil.h'
Lines executed:0.00% of 26
No branches
No calls
Creating 'utility#EvaluatorUtil.h.gcov'
Cannot open source file utility/EvaluatorUtil.h

File 'ProfileDatabase.h'
Lines executed:0.00% of 136
No branches
No calls
Creating 'ProfileDatabase.h.gcov'
Cannot open source file ProfileDatabase.h

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

File 'SerialisationStream.h'
Lines executed:100.00% of 20
No branches
No calls
Creating 'SerialisationStream.h.gcov'
Cannot open source file SerialisationStream.h

File 'interpreter/InterpreterNode.h'
Lines executed:86.67% of 15
No branches
No calls
Creating 'interpreter#InterpreterNode.h.gcov'
Cannot open source file interpreter/InterpreterNode.h

File 'RamTypes.h'
Lines executed:100.00% of 3
No branches
No calls
Creating 'RamTypes.h.gcov'
Cannot open source file RamTypes.h

File 'interpreter/InterpreterGenerator.h'
Lines executed:34.15% of 41
No branches
No calls
Creating 'interpreter#InterpreterGenerator.h.gcov'
Cannot open source file interpreter/InterpreterGenerator.h

File 'ram/analysis/IndexAnalysis.h'
Lines executed:52.07% of 121
No branches
No calls
Creating 'ram#analysis#IndexAnalysis.h.gcov'
Cannot open source file ram/analysis/IndexAnalysis.h

File 'interpreter/InterpreterIndex.h'
Lines executed:74.29% of 70
No branches
No calls
Creating 'interpreter#InterpreterIndex.h.gcov'
Cannot open source file interpreter/InterpreterIndex.h

File '/usr/include/c++/9/bits/regex_error.h'
Lines executed:0.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:0.00% of 10
No branches
No calls
Creating '#usr#include#c++#9#bits#regex_constants.h.gcov'

File 'SignalHandler.h'
Lines executed:29.51% of 61
No branches
No calls
Creating 'SignalHandler.h.gcov'
Cannot open source file SignalHandler.h

File 'Logger.h'
Lines executed:0.00% of 15
No branches
No calls
Creating 'Logger.h.gcov'
Cannot open source file Logger.h

File 'ProfileEvent.h'
Lines executed:0.00% of 87
No branches
No calls
Creating 'ProfileEvent.h.gcov'
Cannot open source file ProfileEvent.h

File 'IOSystem.h'
Lines executed:93.94% of 33
No branches
No calls
Creating 'IOSystem.h.gcov'
Cannot open source file IOSystem.h

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

File 'ram/TranslationUnit.h'
Lines executed:20.00% of 30
No branches
No calls
Creating 'ram#TranslationUnit.h.gcov'
Cannot open source file ram/TranslationUnit.h

File 'utility/ParallelUtil.h'
Lines executed:31.82% of 66
No branches
No calls
Creating 'utility#ParallelUtil.h.gcov'
Cannot open source file utility/ParallelUtil.h

File 'ram/Program.h'
Lines executed:22.22% of 9
No branches
No calls
Creating 'ram#Program.h.gcov'
Cannot open source file ram/Program.h

File 'ram/Statement.h'
Lines executed:13.33% of 30
No branches
No calls
Creating 'ram#Statement.h.gcov'
Cannot open source file ram/Statement.h

File 'ram/Operation.h'
Lines executed:0.00% of 479
No branches
No calls
Creating 'ram#Operation.h.gcov'
Cannot open source file ram/Operation.h

File 'ram/Condition.h'
Lines executed:0.00% of 99
No branches
No calls
Creating 'ram#Condition.h.gcov'
Cannot open source file ram/Condition.h

File 'ram/Relation.h'
Lines executed:0.00% of 29
No branches
No calls
Creating 'ram#Relation.h.gcov'
Cannot open source file ram/Relation.h

File 'ram/Expression.h'
Lines executed:4.88% of 82
No branches
No calls
Creating 'ram#Expression.h.gcov'
Cannot open source file ram/Expression.h

File 'interpreter/InterpreterRelation.h'
Lines executed:88.89% of 18
No branches
No calls
Creating 'interpreter#InterpreterRelation.h.gcov'
Cannot open source file interpreter/InterpreterRelation.h

File 'interpreter/InterpreterPreamble.h'
Lines executed:100.00% of 8
No branches
No calls
Creating 'interpreter#InterpreterPreamble.h.gcov'
Cannot open source file interpreter/InterpreterPreamble.h

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:0.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:0.00% of 18
No branches
No calls
Creating '#usr#include#c++#9#bits#locale_facets.h.gcov'

File 'interpreter/InterpreterIndex.cpp'
Lines executed:15.82% of 354
No branches
No calls
Creating 'interpreter#InterpreterIndex.cpp.gcov'
Cannot open source file interpreter/InterpreterIndex.cpp

File 'Brie.h'
Lines executed:0.00% of 580
No branches
No calls
Creating 'Brie.h.gcov'
Cannot open source file Brie.h

File 'BTree.h'
Lines executed:21.58% of 505
Branches executed:0.10% of 2016
Taken at least once:0.05% of 2016
Calls executed:0.00% of 604
Creating 'BTree.h.gcov'
Cannot open source file BTree.h

File 'EquivalenceRelation.h'
Lines executed:0.00% of 228
No branches
Calls executed:0.00% of 4
Creating 'EquivalenceRelation.h.gcov'
Cannot open source file EquivalenceRelation.h

File 'utility/CacheUtil.h'
Lines executed:90.00% of 10
No branches
No calls
Creating 'utility#CacheUtil.h.gcov'
Cannot open source file utility/CacheUtil.h

File 'CompiledTuple.h'
Lines executed:50.00% of 8
No branches
No calls
Creating 'CompiledTuple.h.gcov'
Cannot open source file CompiledTuple.h

File 'PiggyList.h'
Lines executed:0.00% of 99
No branches
No calls
Creating 'PiggyList.h.gcov'
Cannot open source file PiggyList.h

File 'UnionFind.h'
Lines executed:0.00% of 91
No branches
Calls executed:0.00% of 6
Creating 'UnionFind.h.gcov'
Cannot open source file UnionFind.h

File 'LambdaBTree.h'
Lines executed:0.00% of 131
Branches executed:0.00% of 32
Taken at least once:0.00% of 32
Calls executed:0.00% of 12
Creating 'LambdaBTree.h.gcov'
Cannot open source file LambdaBTree.h

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

File 'interpreter/InterpreterRelation.cpp'
Lines executed:21.57% of 102
No branches
No calls
Creating 'interpreter#InterpreterRelation.cpp.gcov'
Cannot open source file interpreter/InterpreterRelation.cpp

File 'ram/analysis/ComplexityAnalysis.cpp'
Lines executed:0.00% of 15
No branches
No calls
Creating 'ram#analysis#ComplexityAnalysis.cpp.gcov'
Cannot open source file ram/analysis/ComplexityAnalysis.cpp

File 'ram/analysis/IndexAnalysis.cpp'
Lines executed:62.16% of 222
No branches
No calls
Creating 'ram#analysis#IndexAnalysis.cpp.gcov'
Cannot open source file ram/analysis/IndexAnalysis.cpp

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

File 'ram/Utils.h'
Lines executed:0.00% of 24
No branches
No calls
Creating 'ram#Utils.h.gcov'
Cannot open source file ram/Utils.h

File 'ram/Node.h'
Lines executed:0.00% of 37
No branches
No calls
Creating 'ram#Node.h.gcov'
Cannot open source file ram/Node.h

File 'ram/analysis/Analysis.h'
Lines executed:12.50% of 8
No branches
No calls
Creating 'ram#analysis#Analysis.h.gcov'
Cannot open source file ram/analysis/Analysis.h

File 'ram/analysis/LevelAnalysis.cpp'
Lines executed:0.00% of 96
No branches
No calls
Creating 'ram#analysis#LevelAnalysis.cpp.gcov'
Cannot open source file ram/analysis/LevelAnalysis.cpp

File 'ram/transform/ChoiceConversion.cpp'
Lines executed:0.00% of 65
No branches
No calls
Creating 'ram#transform#ChoiceConversion.cpp.gcov'
Cannot open source file ram/transform/ChoiceConversion.cpp

File 'ram/transform/CollapseFilters.cpp'
Lines executed:0.00% of 24
No branches
No calls
Creating 'ram#transform#CollapseFilters.cpp.gcov'
Cannot open source file ram/transform/CollapseFilters.cpp

File 'ram/transform/EliminateDuplicates.cpp'
Lines executed:0.00% of 25
No branches
No calls
Creating 'ram#transform#EliminateDuplicates.cpp.gcov'
Cannot open source file ram/transform/EliminateDuplicates.cpp

File 'ram/transform/ExpandFilter.cpp'
Lines executed:0.00% of 23
No branches
No calls
Creating 'ram#transform#ExpandFilter.cpp.gcov'
Cannot open source file ram/transform/ExpandFilter.cpp

File 'ram/transform/HoistAggregate.cpp'
Lines executed:0.00% of 52
No branches
No calls
Creating 'ram#transform#HoistAggregate.cpp.gcov'
Cannot open source file ram/transform/HoistAggregate.cpp

File 'ram/transform/HoistConditions.cpp'
Lines executed:0.00% of 48
No branches
No calls
Creating 'ram#transform#HoistConditions.cpp.gcov'
Cannot open source file ram/transform/HoistConditions.cpp

File 'ram/transform/IfConversion.cpp'
Lines executed:0.00% of 40
No branches
No calls
Creating 'ram#transform#IfConversion.cpp.gcov'
Cannot open source file ram/transform/IfConversion.cpp

File 'ram/transform/IndexedInequality.cpp'
Lines executed:0.00% of 105
No branches
No calls
Creating 'ram#transform#IndexedInequality.cpp.gcov'
Cannot open source file ram/transform/IndexedInequality.cpp

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

File 'ram/transform/MakeIndex.cpp'
Lines executed:0.00% of 210
No branches
No calls
Creating 'ram#transform#MakeIndex.cpp.gcov'
Cannot open source file ram/transform/MakeIndex.cpp

File 'ram/transform/Parallel.cpp'
Lines executed:0.00% of 65
No branches
No calls
Creating 'ram#transform#Parallel.cpp.gcov'
Cannot open source file ram/transform/Parallel.cpp

File 'ram/transform/Transformer.cpp'
Lines executed:0.00% of 26
No branches
No calls
Creating 'ram#transform#Transformer.cpp.gcov'
Cannot open source file ram/transform/Transformer.cpp

File 'ram/transform/ReorderConditions.cpp'
Lines executed:0.00% of 26
No branches
No calls
Creating 'ram#transform#ReorderConditions.cpp.gcov'
Cannot open source file ram/transform/ReorderConditions.cpp

File 'ram/transform/ReorderFilterBreak.cpp'
Lines executed:0.00% of 16
No branches
No calls
Creating 'ram#transform#ReorderFilterBreak.cpp.gcov'
Cannot open source file ram/transform/ReorderFilterBreak.cpp

File 'ram/transform/TupleId.cpp'
Lines executed:0.00% of 24
No branches
No calls
Creating 'ram#transform#TupleId.cpp.gcov'
Cannot open source file ram/transform/TupleId.cpp

File 'synthesiser/Synthesiser.cpp'
Lines executed:0.00% of 1595
No branches
No calls
Creating 'synthesiser#Synthesiser.cpp.gcov'
Cannot open source file synthesiser/Synthesiser.cpp

File 'synthesiser/Synthesiser.h'
Lines executed:0.00% of 2
No branches
No calls
Creating 'synthesiser#Synthesiser.h.gcov'
Cannot open source file synthesiser/Synthesiser.h

File 'synthesiser/SynthesiserRelation.cpp'
Lines executed:0.00% of 774
No branches
No calls
Creating 'synthesiser#SynthesiserRelation.cpp.gcov'
Cannot open source file synthesiser/SynthesiserRelation.cpp

File 'synthesiser/SynthesiserRelation.h'
Lines executed:0.00% of 21
No branches
No calls
Creating 'synthesiser#SynthesiserRelation.h.gcov'
Cannot open source file synthesiser/SynthesiserRelation.h

==> Python coveragepy not found
==> Searching for coverage reports in:
    + .
    -> Found 539 reports
==> Detecting git/mercurial file structure
==> Reading reports
    + ./src/tests/brie_test.cpp.gcov bytes=826241
    + ./src/tests/ast_parser_utils_test.cpp.gcov bytes=47897
    + ./src/tests/#usr#include#c++#9#tuple.gcov bytes=1397740
    + ./src/tests/#usr#include#c++#9#bits#stl_construct.h.gcov bytes=327096
    + ./src/tests/#usr#include#c++#9#bits#move.h.gcov bytes=807593
    + ./src/tests/#usr#include#c++#9#ext#new_allocator.h.gcov bytes=1092321
    + ./src/tests/#usr#include#c++#9#bits#alloc_traits.h.gcov bytes=598277
    + ./src/tests/#usr#include#c++#9#bits#unique_ptr.h.gcov bytes=1172403
    + ./src/tests/#usr#include#c++#9#bits#stl_vector.h.gcov bytes=1794552
    + ./src/tests/#usr#include#c++#9#bits#allocator.h.gcov bytes=227633
    + ./src/tests/#usr#include#c++#9#bits#stl_uninitialized.h.gcov bytes=457778
    + ./src/tests/#usr#include#c++#9#bits#stl_algobase.h.gcov bytes=488260
    + ./src/tests/#usr#include#c++#9#ext#aligned_buffer.h.gcov bytes=150958
    + ./src/tests/#usr#include#c++#9#bits#stl_tree.h.gcov bytes=2214925
    + ./src/tests/#usr#include#c++#9#bits#basic_string.h.gcov bytes=510107
    + ./src/tests/#usr#include#c++#9#bits#stl_iterator_base_funcs.h.gcov bytes=141057
    + ./src/tests/#usr#include#c++#9#bits#stl_iterator_base_types.h.gcov bytes=59315
    + ./src/tests/#usr#include#c++#9#ext#type_traits.h.gcov bytes=24546
    + ./src/tests/^#^#src#utility#ContainerUtil.h.gcov bytes=183465
    + ./src/tests/#usr#include#c++#9#bits#stl_iterator.h.gcov bytes=694079
    + ./src/tests/#usr#include#c++#9#bits#stl_pair.h.gcov bytes=168136
    + ./src/tests/#usr#include#c++#9#bits#stl_function.h.gcov bytes=111940
    + ./src/tests/#usr#include#c++#9#bits#basic_string.tcc.gcov bytes=225255
    + ./src/tests/^#^#src#utility#StreamUtil.h.gcov bytes=309165
    + ./src/tests/#usr#include#c++#9#bits#vector.tcc.gcov bytes=737631
    + ./src/tests/#usr#include#c++#9#initializer_list.gcov bytes=31557
    + ./src/tests/^#^#src#ast#Literal.h.gcov bytes=37218
    + ./src/tests/#usr#include#c++#9#ext#alloc_traits.h.gcov bytes=39064
    + ./src/tests/^#^#src#utility#StringUtil.h.gcov bytes=274154
    + ./src/tests/^#^#src#ast#Node.h.gcov bytes=19039
    + ./src/tests/^#^#src#utility#MiscUtil.h.gcov bytes=31558
    + ./src/tests/#usr#include#c++#9#bits#stl_set.h.gcov bytes=170047
    + ./src/tests/#usr#include#c++#9#bits#char_traits.h.gcov bytes=136209
    + ./src/tests/^#^#src#ast#ParserUtils.h.gcov bytes=3898
    + ./src/tests/^#^#src#tests#test.h.gcov bytes=132337
    + ./src/tests/^#^#src#ast#QualifiedName.h.gcov bytes=20329
    + ./src/tests/#usr#include#c++#9#new.gcov bytes=23858
    + ./src/tests/#usr#include#c++#9#typeinfo.gcov bytes=23231
    + ./src/tests/ast_print_test.cpp.gcov bytes=56349
    + ./src/tests/#usr#include#c++#9#bits#cpp_type_traits.h.gcov bytes=27462
    + ./src/tests/#usr#include#c++#9#bits#stl_deque.h.gcov bytes=354544
    + ./src/tests/^#^#src#utility#tinyformat.h.gcov bytes=452579
    + ./src/tests/^#^#src#ast#Argument.h.gcov bytes=48660
    + ./src/tests/#usr#include#c++#9#optional.gcov bytes=59687
    + ./src/tests/^#^#src#ast#Clause.h.gcov bytes=29310
    + ./src/tests/#usr#include#c++#9#bits#stl_stack.h.gcov bytes=20373
    + ./src/tests/^#^#src#ErrorReport.h.gcov bytes=10677
    + ./src/tests/^#^#src#ast#TranslationUnit.h.gcov bytes=6244
    + ./src/tests/^#^#src#ast#Program.h.gcov bytes=35043
    + ./src/tests/^#^#src#AggregateOp.h.gcov bytes=6178
    + ./src/tests/#usr#include#c++#9#bits#ios_base.h.gcov bytes=100918
    + ./src/tests/ast_program_test.cpp.gcov bytes=81591
    + ./src/tests/^#^#src#ast#Relation.h.gcov bytes=11919
    + ./src/tests/^#^#src#ast#Attribute.h.gcov bytes=4498
    + ./src/tests/^#^#src#RelationTag.h.gcov bytes=8382
    + ./src/tests/ast_transformers_test.cpp.gcov bytes=131664
    + ./src/tests/^#^#src#ast#transform#RemoveRelationCopies.h.gcov bytes=3076
    + ./src/tests/^#^#src#ast#transform#Transformer.h.gcov bytes=4435
    + ./src/tests/ast_utils_test.cpp.gcov bytes=44612
    + ./src/tests/#usr#include#c++#9#bits#stl_map.h.gcov bytes=168302
    + ./src/tests/^#^#src#BinaryConstraintOps.h.gcov bytes=18184
    + ./src/tests/binary_relation_test.cpp.gcov bytes=206325
    + ./src/tests/^#^#src#BTree.h.gcov bytes=1124008
    + ./src/tests/#usr#include#c++#9#bits#predefined_ops.h.gcov bytes=39285
    + ./src/tests/#usr#include#c++#9#bits#stl_algo.h.gcov bytes=421423
    + ./src/tests/^#^#src#utility#CacheUtil.h.gcov bytes=84349
    + ./src/tests/^#^#src#UnionFind.h.gcov bytes=48540
    + ./src/tests/#usr#include#c++#9#bits#std_function.h.gcov bytes=259330
    + ./src/tests/#usr#include#c++#9#bits#atomic_base.h.gcov bytes=58714
    + ./src/tests/#usr#include#c++#9#atomic.gcov bytes=84570
    + ./src/tests/#usr#include#c++#9#array.gcov bytes=31355
    + ./src/tests/^#^#src#EquivalenceRelation.h.gcov bytes=65207
    + ./src/tests/^#^#src#LambdaBTree.h.gcov bytes=148550
    + ./src/tests/^#^#src#PiggyList.h.gcov bytes=58904
    + ./src/tests/^#^#src#Brie.h.gcov bytes=698783
    + ./src/tests/#usr#include#c++#9#bits#random.tcc.gcov bytes=184773
    + ./src/tests/#usr#include#c++#9#bits#random.h.gcov bytes=306752
    + ./src/tests/^#^#src#utility#ParallelUtil.h.gcov bytes=60503
    + ./src/tests/^#^#src#CompiledTuple.h.gcov bytes=19209
    + ./src/tests/#usr#include#c++#9#bits#uniform_int_dist.h.gcov bytes=39474
    + ./src/tests/#usr#include#c++#9#shared_mutex.gcov bytes=36237
    + ./src/tests/#usr#include#c++#9#limits.gcov bytes=106696
    + ./src/tests/#usr#include#x86_64-linux-gnu#c++#9#bits#gthr-default.h.gcov bytes=43004
    + ./src/tests/#usr#include#c++#9#bitset.gcov bytes=75575
    + ./src/tests/#usr#include#c++#9#bits#locale_facets.h.gcov bytes=135069
    + ./src/tests/btree_multiset_test.cpp.gcov bytes=238580
    + ./src/tests/#usr#include#c++#9#chrono.gcov bytes=61950
    + ./src/tests/#usr#include#c++#9#iomanip.gcov bytes=27008
    + ./src/tests/btree_set_test.cpp.gcov bytes=332895
    + ./src/tests/compiled_tuple_test.cpp.gcov bytes=23491
    + ./src/tests/constraints_test.cpp.gcov bytes=20943
    + ./src/tests/#usr#include#c++#9#bits#shared_ptr_base.h.gcov bytes=217911
    + ./src/tests/^#^#src#Constraints.h.gcov bytes=30048
    + ./src/tests/#usr#include#c++#9#bits#shared_ptr.h.gcov bytes=55351
    + ./src/tests/#usr#include#c++#9#bits#ptr_traits.h.gcov bytes=19139
    + ./src/tests/#usr#include#c++#9#bits#allocated_ptr.h.gcov bytes=28024
    + ./src/tests/#usr#include#c++#9#ext#atomicity.h.gcov bytes=13766
    + ./src/tests/eqrel_datastructure_test.cpp.gcov bytes=246457
    + ./src/tests/#usr#include#c++#9#bits#hashtable_policy.h.gcov bytes=420077
    + ./src/tests/#usr#include#c++#9#utility.gcov bytes=32254
    + ./src/tests/#usr#include#c++#9#bits#hashtable.h.gcov bytes=422424
    + ./src/tests/#usr#include#c++#9#bits#stl_bvector.h.gcov bytes=59878
    + ./src/tests/#usr#include#c++#9#bits#unordered_map.h.gcov bytes=133253
    + ./src/tests/#usr#include#c++#9#bits#functional_hash.h.gcov bytes=16292
    + ./src/tests/graph_utils_test.cpp.gcov bytes=52304
    + ./src/tests/^#^#src#GraphUtils.h.gcov bytes=15945
    + ./src/tests/interpreter_relation_test.cpp.gcov bytes=64987
    + ./src/tests/^#^#src#interpreter#InterpreterProgInterface.h.gcov bytes=20286
    + ./src/tests/^#^#src#SymbolTable.h.gcov bytes=30482
    + ./src/tests/#usr#include#c++#9#bits#deque.tcc.gcov bytes=105387
    + ./src/tests/^#^#src#interpreter#InterpreterRelation.h.gcov bytes=13684
    + ./src/tests/^#^#src#interpreter#InterpreterIndex.h.gcov bytes=23620
    + ./src/tests/^#^#src#RamTypes.h.gcov bytes=5530
    + ./src/tests/^#^#src#ram#analysis#IndexAnalysis.h.gcov bytes=44777
    + ./src/tests/^#^#src#SouffleInterface.h.gcov bytes=56855
    + ./src/tests/#usr#include#c++#9#bits#std_mutex.h.gcov bytes=12539
    + ./src/tests/matching_test.cpp.gcov bytes=20284
    + ./src/tests/parallel_utils_test.cpp.gcov bytes=13249
    + ./src/tests/profile_util_test.cpp.gcov bytes=133338
    + ./src/tests/^#^#src#profile#StringUtils.h.gcov bytes=26327
    + ./src/tests/#usr#include#c++#9#cmath.gcov bytes=83021
    + ./src/tests/#usr#include#c++#9#ext#string_conversions.h.gcov bytes=10464
    + ./src/tests/ram_arithmetic_test.cpp.gcov bytes=204629
    + ./src/tests/^#^#src#interpreter#InterpreterPreamble.h.gcov bytes=9431
    + ./src/tests/^#^#src#ram#Node.h.gcov bytes=75654
    + ./src/tests/^#^#src#ram#Visitor.h.gcov bytes=179261
    + ./src/tests/^#^#src#RecordTable.h.gcov bytes=11806
    + ./src/tests/^#^#src#interpreter#InterpreterGenerator.h.gcov bytes=222676
    + ./src/tests/^#^#src#ram#TranslationUnit.h.gcov bytes=9726
    + ./src/tests/^#^#src#ram#Expression.h.gcov bytes=76170
    + ./src/tests/^#^#src#interpreter#InterpreterEngine.h.gcov bytes=11120
    + ./src/tests/^#^#src#ram#Statement.h.gcov bytes=105129
    + ./src/tests/^#^#src#ram#Operation.h.gcov bytes=223687
    + ./src/tests/^#^#src#ram#Program.h.gcov bytes=31874
    + ./src/tests/^#^#src#interpreter#InterpreterNode.h.gcov bytes=9476
    + ./src/tests/^#^#src#ram#Relation.h.gcov bytes=49477
    + ./src/tests/^#^#src#Global.h.gcov bytes=12018
    + ./src/tests/#usr#include#c++#9#bits#stl_queue.h.gcov bytes=40713
    + ./src/tests/^#^#src#ram#analysis#Analysis.h.gcov bytes=4202
    + ./src/tests/^#^#src#ram#Utils.h.gcov bytes=5473
    + ./src/tests/^#^#src#ram#Condition.h.gcov bytes=91097
    + ./src/tests/ram_condition_equal_clone_test.cpp.gcov bytes=161571
    + ./src/tests/ram_expression_equal_clone_test.cpp.gcov bytes=97085
    + ./src/tests/ram_operation_equal_clone_test.cpp.gcov bytes=244398
    + ./src/tests/ram_relation_equal_clone_test.cpp.gcov bytes=22284
    + ./src/tests/ram_relation_test.cpp.gcov bytes=156631
    + ./src/tests/^#^#src#json11.h.gcov bytes=75342
    + ./src/tests/ram_statement_equal_clone_test.cpp.gcov bytes=209624
    + ./src/tests/ram_type_conversion_test.cpp.gcov bytes=18539
    + ./src/tests/record_table_test.cpp.gcov bytes=18161
    + ./src/tests/#usr#include#c++#9#bits#invoke.h.gcov bytes=5933
    + ./src/tests/#usr#include#c++#9#functional.gcov bytes=63282
    + ./src/tests/symbol_table_test.cpp.gcov bytes=51239
    + ./src/tests/table_test.cpp.gcov bytes=18707
    + ./src/tests/^#^#src#Table.h.gcov bytes=8144
    + ./src/tests/type_system_test.cpp.gcov bytes=165374
    + ./src/tests/^#^#src#ast#TypeSystem.h.gcov bytes=41342
    + ./src/tests/^#^#src#utility#FunctionalUtil.h.gcov bytes=7380
    + ./src/tests/util_test.cpp.gcov bytes=120816
    + ./src/utility#tinyformat.h.gcov bytes=262325
    + ./src/DebugReport.h.gcov bytes=7891
    + ./src/Global.h.gcov bytes=10321
    + ./src/DebugReport.cpp.gcov bytes=24388
    + ./src/#usr#include#c++#9#bits#stl_algobase.h.gcov bytes=155461
    + ./src/#usr#include#c++#9#bits#stl_function.h.gcov bytes=70895
    + ./src/#usr#include#c++#9#bits#stl_construct.h.gcov bytes=109091
    + ./src/#usr#include#c++#9#bits#move.h.gcov bytes=242078
    + ./src/#usr#include#c++#9#ext#aligned_buffer.h.gcov bytes=23280
    + ./src/#usr#include#c++#9#bits#stl_uninitialized.h.gcov bytes=173400
    + ./src/#usr#include#c++#9#bits#stl_tree.h.gcov bytes=464760
    + ./src/#usr#include#c++#9#ext#new_allocator.h.gcov bytes=217310
    + ./src/#usr#include#c++#9#bits#stl_pair.h.gcov bytes=40451
    + ./src/#usr#include#c++#9#bits#alloc_traits.h.gcov bytes=173839
    + ./src/#usr#include#c++#9#bits#allocator.h.gcov bytes=55082
    + ./src/#usr#include#c++#9#bits#stl_iterator_base_funcs.h.gcov bytes=24740
    + ./src/#usr#include#c++#9#bits#stl_iterator_base_types.h.gcov bytes=21198
    + ./src/#usr#include#c++#9#ext#type_traits.h.gcov bytes=12501
    + ./src/#usr#include#c++#9#bits#stl_vector.h.gcov bytes=696036
    + ./src/#usr#include#c++#9#bits#basic_string.h.gcov bytes=390331
    + ./src/#usr#include#c++#9#bits#stl_deque.h.gcov bytes=122478
    + ./src/#usr#include#c++#9#bits#basic_string.tcc.gcov bytes=108940
    + ./src/#usr#include#c++#9#bits#deque.tcc.gcov bytes=53161
    + ./src/#usr#include#c++#9#bits#stl_map.h.gcov bytes=101072
    + ./src/#usr#include#c++#9#bits#stl_iterator.h.gcov bytes=281567
    + ./src/#usr#include#c++#9#ext#alloc_traits.h.gcov bytes=19791
    + ./src/#usr#include#c++#9#bits#vector.tcc.gcov bytes=278672
    + ./src/#usr#include#c++#9#bits#stl_stack.h.gcov bytes=18845
    + ./src/#usr#include#c++#9#string_view.gcov bytes=38862
    + ./src/#usr#include#c++#9#ostream.gcov bytes=33854
    + ./src/#usr#include#c++#9#bits#string_view.tcc.gcov bytes=10932
    + ./src/#usr#include#c++#9#ext#string_conversions.h.gcov bytes=12773
    + ./src/#usr#include#c++#9#bits#char_traits.h.gcov bytes=55926
    + ./src/utility#FileUtil.h.gcov bytes=16852
    + ./src/#usr#include#c++#9#bits#ios_base.h.gcov bytes=68075
    + ./src/#usr#include#c++#9#new.gcov bytes=13951
    + ./src/FunctorOps.cpp.gcov bytes=24632
    + ./src/#usr#include#c++#9#bits#cpp_type_traits.h.gcov bytes=19910
    + ./src/#usr#include#c++#9#tuple.gcov bytes=481772
    + ./src/#usr#include#c++#9#bits#predefined_ops.h.gcov bytes=20684
    + ./src/#usr#include#c++#9#bits#stl_algo.h.gcov bytes=323734
    + ./src/#usr#include#c++#9#initializer_list.gcov bytes=9873
    + ./src/#usr#include#c++#9#bits#refwrap.h.gcov bytes=19601
    + ./src/utility#FunctionalUtil.h.gcov bytes=7483
    + ./src/#usr#include#c++#9#utility.gcov bytes=20449
    + ./src/utility#MiscUtil.h.gcov bytes=18754
    + ./src/#usr#include#c++#9#limits.gcov bytes=102465
    + ./src/ParserDriver.cpp.gcov bytes=30231
    + ./src/ParserDriver.h.gcov bytes=5321
    + ./src/utility#StreamUtil.h.gcov bytes=140463
    + ./src/#usr#include#c++#9#bits#stl_set.h.gcov bytes=63909
    + ./src/#usr#include#c++#9#bits#unique_ptr.h.gcov bytes=369882
    + ./src/utility#ContainerUtil.h.gcov bytes=138849
    + ./src/ErrorReport.h.gcov bytes=13554
    + ./src/ast#Type.h.gcov bytes=19655
    + ./src/ast#TranslationUnit.h.gcov bytes=6460
    + ./src/ast#Program.h.gcov bytes=33328
    + ./src/ast#IO.h.gcov bytes=12631
    + ./src/utility#StringUtil.h.gcov bytes=26733
    + ./src/ast#Node.h.gcov bytes=12532
    + ./src/SrcLocation.h.gcov bytes=4249
    + ./src/ast#FunctorDeclaration.h.gcov bytes=7109
    + ./src/ast#Relation.h.gcov bytes=12460
    + ./src/ast#Clause.h.gcov bytes=19160
    + ./src/ast#QualifiedName.h.gcov bytes=9188
    + ./src/RelationTag.h.gcov bytes=10075
    + ./src/#usr#include#c++#9#typeinfo.gcov bytes=11295
    + ./src/SrcLocation.cpp.gcov bytes=13114
    + ./src/Util.cpp.gcov bytes=2445
    + ./src/parser.yy.gcov bytes=166507
    + ./src/#usr#include#c++#9#optional.gcov bytes=74749
    + ./src/ast#Argument.h.gcov bytes=55521
    + ./src/ast#Literal.h.gcov bytes=18212
    + ./src/parser.hh.gcov bytes=358282
    + ./src/ast#Pragma.h.gcov bytes=3962
    + ./src/ast#Component.h.gcov bytes=40985
    + ./src/ast#Attribute.h.gcov bytes=4489
    + ./src/parser.cc.gcov bytes=204995
    + ./src/ast#ParserUtils.h.gcov bytes=3892
    + ./src/BinaryConstraintOps.h.gcov bytes=18584
    + ./src/AggregateOp.h.gcov bytes=6782
    + ./src/#usr#include#c++#9#bits#exception.h.gcov bytes=3955
    + ./src/scanner.cc.gcov bytes=137797
    + ./src/scanner.ll.gcov bytes=67499
    + ./ast#IO.h.gcov bytes=32
    + ./Brie.h.gcov bytes=30
    + ./BTree.h.gcov bytes=31
    + ./ast#analysis#Ground.cpp.gcov bytes=47
    + ./#usr#include#c++#9#ext#new_allocator.h.gcov bytes=6803435
    + ./#usr#include#c++#9#bits#shared_ptr_base.h.gcov bytes=1182406
    + ./#usr#include#c++#9#bits#std_function.h.gcov bytes=4686977
    + ./#usr#include#c++#9#bits#alloc_traits.h.gcov bytes=3845008
    + ./ast#analysis#Constraint.h.gcov bytes=49
    + ./ast#Visitor.h.gcov bytes=37
    + ./Constraints.h.gcov bytes=37
    + ./#usr#include#c++#9#tuple.gcov bytes=12606818
    + ./#usr#include#c++#9#bits#stl_construct.h.gcov bytes=2320307
    + ./#usr#include#c++#9#bits#stl_pair.h.gcov bytes=624177
    + ./#usr#include#c++#9#bits#shared_ptr.h.gcov bytes=204632
    + ./#usr#include#c++#9#bits#stl_uninitialized.h.gcov bytes=3556245
    + ./#usr#include#c++#9#bits#move.h.gcov bytes=5994712
    + ./#usr#include#c++#9#bits#stl_vector.h.gcov bytes=14436098
    + ./#usr#include#c++#9#bits#stl_tree.h.gcov bytes=12341449
    + ./#usr#include#c++#9#bits#unique_ptr.h.gcov bytes=9750621
    + ./#usr#include#c++#9#ext#alloc_traits.h.gcov bytes=273665
    + ./utility#tinyformat.h.gcov bytes=44
    + ./#usr#include#c++#9#ext#aligned_buffer.h.gcov bytes=788078
    + ./#usr#include#c++#9#bits#stl_algobase.h.gcov bytes=2485896
    + ./#usr#include#c++#9#bits#ptr_traits.h.gcov bytes=21698
    + ./#usr#include#c++#9#bits#allocated_ptr.h.gcov bytes=205052
    + ./utility#StreamUtil.h.gcov bytes=44
    + ./#usr#include#c++#9#bits#allocator.h.gcov bytes=1332342
    + ./#usr#include#c++#9#bits#stl_map.h.gcov bytes=1073545
    + ./utility#MiscUtil.h.gcov bytes=42
    + ./#usr#include#c++#9#bits#stl_function.h.gcov bytes=341228
    + ./#usr#include#c++#9#bits#stl_iterator.h.gcov bytes=6665244
    + ./#usr#include#c++#9#bits#stl_iterator_base_funcs.h.gcov bytes=546848
    + ./#usr#include#c++#9#bits#stl_iterator_base_types.h.gcov bytes=292284
    + ./#usr#include#c++#9#ext#type_traits.h.gcov bytes=71084
    + ./#usr#include#c++#9#bits#vector.tcc.gcov bytes=5768494
    + ./#usr#include#c++#9#bits#stl_deque.h.gcov bytes=918381
    + ./#usr#include#c++#9#bits#predefined_ops.h.gcov bytes=462974
    + ./#usr#include#c++#9#bits#basic_string.tcc.gcov bytes=682014
    + ./#usr#include#c++#9#bits#basic_string.h.gcov bytes=1040414
    + ./DebugReport.h.gcov bytes=37
    + ./Global.h.gcov bytes=32
    + ./#usr#include#c++#9#bits#stl_set.h.gcov bytes=425131
    + ./ast#TranslationUnit.h.gcov bytes=45
    + ./#usr#include#c++#9#bits#stl_stack.h.gcov bytes=69605
    + ./utility#ContainerUtil.h.gcov bytes=47
    + ./#usr#include#c++#9#ext#string_conversions.h.gcov bytes=43689
    + ./#usr#include#c++#9#bits#char_traits.h.gcov bytes=395892
    + ./ast#analysis#RelationDetailCache.h.gcov bytes=58
    + ./ast#analysis#Analysis.h.gcov bytes=47
    + ./ast#Relation.h.gcov bytes=38
    + ./ast#Clause.h.gcov bytes=36
    + ./ast#Literal.h.gcov bytes=37
    + ./ast#Argument.h.gcov bytes=38
    + ./ast#QualifiedName.h.gcov bytes=43
    + ./ast#Node.h.gcov bytes=34
    + ./BinaryConstraintOps.h.gcov bytes=45
    + ./#usr#include#c++#9#bits#ios_base.h.gcov bytes=478422
    + ./#usr#include#c++#9#ext#atomicity.h.gcov bytes=35643
    + ./#usr#include#x86_64-linux-gnu#c++#9#bits#gthr-default.h.gcov bytes=50185
    + ./#usr#include#c++#9#new.gcov bytes=58956
    + ./#usr#include#c++#9#typeinfo.gcov bytes=79000
    + ./ast#analysis#IOType.cpp.gcov bytes=47
    + ./ast#analysis#IOType.h.gcov bytes=45
    + ./ast#analysis#ProfileUse.cpp.gcov bytes=51
    + ./profile#Rule.h.gcov bytes=38
    + ./profile#Iteration.h.gcov bytes=43
    + ./profile#Relation.h.gcov bytes=42
    + ./profile#^#json11.h.gcov bytes=43
    + ./profile#Reader.h.gcov bytes=40
    + ./profile#^#EventProcessor.h.gcov bytes=51
    + ./ast#analysis#ProfileUse.h.gcov bytes=49
    + ./profile#^#utility#tinyformat.h.gcov bytes=55
    + ./#usr#include#c++#9#bits#streambuf_iterator.h.gcov bytes=39555
    + ./#usr#include#c++#9#bits#hashtable_policy.h.gcov bytes=538486
    + ./#usr#include#c++#9#utility.gcov bytes=34986
    + ./#usr#include#c++#9#bits#hashtable.h.gcov bytes=568852
    + ./#usr#include#c++#9#initializer_list.gcov bytes=109649
    + ./profile#^#ProfileDatabase.h.gcov bytes=52
    + ./#usr#include#c++#9#chrono.gcov bytes=135593
    + ./#usr#include#c++#9#bits#unordered_map.h.gcov bytes=147712
    + ./profile#^#utility#MiscUtil.h.gcov bytes=53
    + ./#usr#include#c++#9#bits#postypes.h.gcov bytes=13006
    + ./#usr#include#c++#9#bits#atomic_base.h.gcov bytes=93308
    + ./#usr#include#c++#9#bits#std_mutex.h.gcov bytes=16681
    + ./profile#^#ProfileEvent.h.gcov bytes=49
    + ./#usr#include#c++#9#thread.gcov bytes=32335
    + ./#usr#include#c++#9#atomic.gcov bytes=183278
    + ./profile#ProgramRun.h.gcov bytes=44
    + ./#usr#include#c++#9#cmath.gcov bytes=84131
    + ./#usr#include#c++#9#bits#functional_hash.h.gcov bytes=16333
    + ./#usr#include#c++#9#limits.gcov bytes=104332
    + ./ast#analysis#Type.cpp.gcov bytes=45
    + ./ast#TypeSystem.h.gcov bytes=40
    + ./ast#analysis#Type.h.gcov bytes=43
    + ./#usr#include#c++#9#bits#cpp_type_traits.h.gcov bytes=103477
    + ./#usr#include#c++#9#bits#stl_algo.h.gcov bytes=1372780
    + ./#usr#include#c++#9#bits#refwrap.h.gcov bytes=22182
    + ./#usr#include#c++#9#optional.gcov bytes=164450
    + ./utility#FunctionalUtil.h.gcov bytes=48
    + ./utility#StringUtil.h.gcov bytes=44
    + ./ast#analysis#TypeEnvironment.h.gcov bytes=54
    + ./ast#Program.h.gcov bytes=37
    + ./ast#Attribute.h.gcov bytes=39
    + ./ast#analysis#TypeEnvironment.cpp.gcov bytes=56
    + ./GraphUtils.h.gcov bytes=36
    + ./ast#Type.h.gcov bytes=34
    + ./ast#analysis#AuxArity.cpp.gcov bytes=49
    + ./ast#analysis#ComponentLookup.cpp.gcov bytes=56
    + ./ast#analysis#ComponentLookup.h.gcov bytes=54
    + ./ast#Component.h.gcov bytes=39
    + ./ast#analysis#PrecedenceGraph.cpp.gcov bytes=56
    + ./ast#analysis#PrecedenceGraph.h.gcov bytes=54
    + ./utility#FileUtil.h.gcov bytes=42
    + ./ast#analysis#RecursiveClauses.cpp.gcov bytes=57
    + ./ast#analysis#RecursiveClauses.h.gcov bytes=55
    + ./ast#Utils.h.gcov bytes=35
    + ./ast#analysis#RedundantRelations.cpp.gcov bytes=59
    + ./ast#analysis#RedundantRelations.h.gcov bytes=57
    + ./ast#analysis#RelationDetailCache.cpp.gcov bytes=60
    + ./ast#analysis#RelationSchedule.cpp.gcov bytes=57
    + ./ast#analysis#RelationSchedule.h.gcov bytes=55
    + ./ast#analysis#TopologicallySortedSCCGraph.h.gcov bytes=66
    + ./ast#analysis#SCCGraph.h.gcov bytes=47
    + ./ast#analysis#SCCGraph.cpp.gcov bytes=49
    + ./#usr#include#c++#9#bits#deque.tcc.gcov bytes=289762
    + ./ast#analysis#TopologicallySortedSCCGraph.cpp.gcov bytes=68
    + ./#usr#include#c++#9#bits#stl_bvector.h.gcov bytes=103080
    + ./ast#transform#ComponentChecker.cpp.gcov bytes=58
    + ./ast#transform#ComponentChecker.h.gcov bytes=56
    + ./ErrorReport.h.gcov bytes=37
    + ./ast#transform#Transformer.h.gcov bytes=51
    + ./ast#transform#PragmaChecker.cpp.gcov bytes=55
    + ./ast#transform#PragmaChecker.h.gcov bytes=53
    + ./ast#Pragma.h.gcov bytes=36
    + ./ast#transform#SemanticChecker.cpp.gcov bytes=57
    + ./ast#transform#SemanticChecker.h.gcov bytes=55
    + ./AggregateOp.h.gcov bytes=37
    + ./ast#transform#Transformer.cpp.gcov bytes=53
    + ./ast#transform#UserDefinedFunctors.cpp.gcov bytes=61
    + ./ast#transform#UserDefinedFunctors.h.gcov bytes=59
    + ./ast#FunctorDeclaration.h.gcov bytes=48
    + ./ast#transform#ComponentInstantiation.cpp.gcov bytes=64
    + ./ast#transform#ComponentInstantiation.h.gcov bytes=62
    + ./ast#transform#DebugReporter.cpp.gcov bytes=55
    + ./ast#transform#DebugReporter.h.gcov bytes=53
    + ./RelationTag.h.gcov bytes=37
    + ./#usr#include#c++#9#string_view.gcov bytes=36105
    + ./ast#transform#FoldAnonymousRecords.cpp.gcov bytes=62
    + ./ast#transform#FoldAnonymousRecords.h.gcov bytes=60
    + ./#usr#include#c++#9#bits#range_access.h.gcov bytes=17106
    + ./ast#transform#InlineRelations.cpp.gcov bytes=57
    + ./ast#transform#InlineRelations.h.gcov bytes=55
    + ./#usr#include#c++#9#bits#exception.h.gcov bytes=4553
    + ./ast#transform#MagicSet.cpp.gcov bytes=50
    + ./ast#transform#MagicSet.h.gcov bytes=48
    + ./ast#transform#MaterializeAggregationQueries.cpp.gcov bytes=71
    + ./ast#transform#MaterializeSingletonAggregation.cpp.gcov bytes=73
    + ./ast#transform#MaterializeSingletonAggregation.h.gcov bytes=71
    + ./ast#transform#MinimiseProgram.cpp.gcov bytes=57
    + ./ast#transform#MinimiseProgram.h.gcov bytes=55
    + ./ast#transform#NameUnnamedVariables.cpp.gcov bytes=62
    + ./ast#transform#NameUnnamedVariables.h.gcov bytes=60
    + ./ast#transform#NormaliseConstraints.cpp.gcov bytes=62
    + ./ast#transform#NormaliseConstraints.h.gcov bytes=60
    + ./ast#transform#PartitionBodyLiterals.cpp.gcov bytes=63
    + ./ast#transform#PartitionBodyLiterals.h.gcov bytes=61
    + ./ast#transform#PolymorphicObjects.cpp.gcov bytes=60
    + ./ast#transform#PolymorphicObjects.h.gcov bytes=58
    + ./ast#transform#Provenance.cpp.gcov bytes=52
    + ./ast#transform#Provenance.h.gcov bytes=50
    + ./ast#transform#ReduceExistentials.cpp.gcov bytes=60
    + ./ast#transform#ReduceExistentials.h.gcov bytes=58
    + ./ast#transform#RemoveBooleanConstraints.cpp.gcov bytes=66
    + ./ast#transform#RemoveBooleanConstraints.h.gcov bytes=64
    + ./ast#transform#RemoveEmptyRelations.cpp.gcov bytes=62
    + ./ast#transform#RemoveRedundantRelations.cpp.gcov bytes=66
    + ./ast#transform#RemoveRedundantRelations.h.gcov bytes=64
    + ./ast#transform#RemoveRedundantSums.cpp.gcov bytes=61
    + ./ast#transform#RemoveRedundantSums.h.gcov bytes=59
    + ./ast#transform#RemoveRelationCopies.cpp.gcov bytes=62
    + ./ast#transform#RemoveTypecasts.cpp.gcov bytes=57
    + ./ast#transform#RemoveTypecasts.h.gcov bytes=55
    + ./ast#transform#ReorderLiterals.cpp.gcov bytes=57
    + ./ast#transform#ReorderLiterals.h.gcov bytes=55
    + ./ast#transform#ReplaceSingletonVariables.cpp.gcov bytes=67
    + ./ast#transform#ReplaceSingletonVariables.h.gcov bytes=65
    + ./ast#transform#ResolveAliases.cpp.gcov bytes=56
    + ./ast#transform#ResolveAliases.h.gcov bytes=54
    + ./ast#transform#ResolveAnonymousRecordsAliases.cpp.gcov bytes=72
    + ./ast#transform#ResolveAnonymousRecordsAliases.h.gcov bytes=70
    + ./ast#transform#UniqueAggregationVariables.cpp.gcov bytes=68
    + ./ast#transform#UniqueAggregationVariables.h.gcov bytes=66
    + ./ast#ParserUtils.cpp.gcov bytes=43
    + ./ast#ParserUtils.h.gcov bytes=41
    + ./ast#Utils.cpp.gcov bytes=37
    + ./#usr#include#c++#9#bits#stl_heap.h.gcov bytes=82689
    + ./ast#TypeSystem.cpp.gcov bytes=42
    + ./interpreter#InterpreterEngine.cpp.gcov bytes=57
    + ./#usr#include#c++#9#bits#invoke.h.gcov bytes=22125
    + ./#usr#include#c++#9#bits#regex_automaton.h.gcov bytes=52724
    + ./json11.h.gcov bytes=32
    + ./ram#Visitor.h.gcov bytes=37
    + ./EventProcessor.h.gcov bytes=40
    + ./RecordTable.h.gcov bytes=37
    + ./SymbolTable.h.gcov bytes=37
    + ./gzfstream.h.gcov bytes=35
    + ./ReadStreamCSV.h.gcov bytes=39
    + ./ReadStreamJSON.h.gcov bytes=40
    + ./WriteStreamCSV.h.gcov bytes=40
    + ./#usr#include#c++#9#variant.gcov bytes=305703
    + ./WriteStreamJSON.h.gcov bytes=41
    + ./ReadStreamSQLite.h.gcov bytes=42
    + ./WriteStreamSQLite.h.gcov bytes=43
    + ./interpreter#InterpreterContext.h.gcov bytes=56
    + ./#usr#include#c++#9#bitset.gcov bytes=80588
    + ./#usr#include#c++#9#bits#regex_compiler.h.gcov bytes=158889
    + ./#usr#include#c++#9#bits#regex.h.gcov bytes=182541
    + ./#usr#include#c++#9#bits#regex.tcc.gcov bytes=56843
    + ./#usr#include#c++#9#bits#regex_compiler.tcc.gcov bytes=231398
    + ./#usr#include#c++#9#bits#regex_executor.h.gcov bytes=46377
    + ./#usr#include#c++#9#bits#regex_executor.tcc.gcov bytes=140873
    + ./#usr#include#c++#9#bits#regex_automaton.tcc.gcov bytes=20121
    + ./#usr#include#c++#9#bits#regex_scanner.tcc.gcov bytes=75291
    + ./WriteStream.h.gcov bytes=37
    + ./ReadStream.h.gcov bytes=36
    + ./#usr#include#c++#9#bits#regex_scanner.h.gcov bytes=19020
    + ./#usr#include#c++#9#bits#locale_classes.tcc.gcov bytes=13209
    + ./#usr#include#c++#9#functional.gcov bytes=67122
    + ./#usr#include#c++#9#bits#unique_lock.h.gcov bytes=15019
    + ./#usr#include#c++#9#condition_variable.gcov bytes=20956
    + ./#usr#include#c++#9#array.gcov bytes=68475
    + ./utility#EvaluatorUtil.h.gcov bytes=47
    + ./ProfileDatabase.h.gcov bytes=41
    + ./#usr#include#c++#9#bits#enable_special_members.h.gcov bytes=18418
    + ./SerialisationStream.h.gcov bytes=45
    + ./interpreter#InterpreterNode.h.gcov bytes=53
    + ./RamTypes.h.gcov bytes=34
    + ./interpreter#InterpreterGenerator.h.gcov bytes=58
    + ./ram#analysis#IndexAnalysis.h.gcov bytes=52
    + ./interpreter#InterpreterIndex.h.gcov bytes=54
    + ./#usr#include#c++#9#bits#regex_error.h.gcov bytes=9597
    + ./#usr#include#c++#9#bits#regex_constants.h.gcov bytes=25450
    + ./SignalHandler.h.gcov bytes=39
    + ./Logger.h.gcov bytes=32
    + ./ProfileEvent.h.gcov bytes=38
    + ./IOSystem.h.gcov bytes=34
    + ./#usr#include#c++#9#iomanip.gcov bytes=26004
    + ./ram#TranslationUnit.h.gcov bytes=45
    + ./utility#ParallelUtil.h.gcov bytes=46
    + ./ram#Program.h.gcov bytes=37
    + ./ram#Statement.h.gcov bytes=39
    + ./ram#Operation.h.gcov bytes=39
    + ./ram#Condition.h.gcov bytes=39
    + ./ram#Relation.h.gcov bytes=38
    + ./ram#Expression.h.gcov bytes=40
    + ./interpreter#InterpreterRelation.h.gcov bytes=57
    + ./interpreter#InterpreterPreamble.h.gcov bytes=57
    + ./#usr#include#c++#9#type_traits.gcov bytes=140410
    + ./#usr#include#x86_64-linux-gnu#c++#9#bits#ctype_inline.h.gcov bytes=4138
    + ./#usr#include#c++#9#bits#locale_facets.h.gcov bytes=137564
    + ./interpreter#InterpreterIndex.cpp.gcov bytes=56
    + ./EquivalenceRelation.h.gcov bytes=45
    + ./utility#CacheUtil.h.gcov bytes=43
    + ./CompiledTuple.h.gcov bytes=39
    + ./PiggyList.h.gcov bytes=35
    + ./UnionFind.h.gcov bytes=35
    + ./LambdaBTree.h.gcov bytes=37
    + ./#usr#include#c++#9#shared_mutex.gcov bytes=43925
    + ./interpreter#InterpreterRelation.cpp.gcov bytes=59
    + ./ram#analysis#ComplexityAnalysis.cpp.gcov bytes=59
    + ./ram#analysis#IndexAnalysis.cpp.gcov bytes=54
    + ./#usr#include#c++#9#bits#stl_queue.h.gcov bytes=60027
    + ./ram#Utils.h.gcov bytes=35
    + ./ram#Node.h.gcov bytes=34
    + ./ram#analysis#Analysis.h.gcov bytes=47
    + ./ram#analysis#LevelAnalysis.cpp.gcov bytes=54
    + ./ram#transform#ChoiceConversion.cpp.gcov bytes=58
    + ./ram#transform#CollapseFilters.cpp.gcov bytes=57
    + ./ram#transform#EliminateDuplicates.cpp.gcov bytes=61
    + ./ram#transform#ExpandFilter.cpp.gcov bytes=54
    + ./ram#transform#HoistAggregate.cpp.gcov bytes=56
    + ./ram#transform#HoistConditions.cpp.gcov bytes=57
    + ./ram#transform#IfConversion.cpp.gcov bytes=54
    + ./ram#transform#IndexedInequality.cpp.gcov bytes=59
    + ./#usr#include#c++#9#bits#unordered_set.h.gcov bytes=91523
    + ./ram#transform#MakeIndex.cpp.gcov bytes=51
    + ./ram#transform#Parallel.cpp.gcov bytes=50
    + ./ram#transform#Transformer.cpp.gcov bytes=53
    + ./ram#transform#ReorderConditions.cpp.gcov bytes=59
    + ./ram#transform#ReorderFilterBreak.cpp.gcov bytes=60
    + ./ram#transform#TupleId.cpp.gcov bytes=49
    + ./synthesiser#Synthesiser.cpp.gcov bytes=51
    + ./synthesiser#Synthesiser.h.gcov bytes=49
    + ./synthesiser#SynthesiserRelation.cpp.gcov bytes=59
    + ./synthesiser#SynthesiserRelation.h.gcov bytes=57
==> Appending adjustments
    https://docs.codecov.io/docs/fixing-reports
    + Found adjustments
==> Gzipping contents
==> Uploading reports
    url: https://codecov.io
    query: branch=origin%2Fmaster&commit=ad316680277ebc162c47de801f2fd4f1b3488641&build=323&build_url=http%3A%2F%2Fplang1.it.usyd.edu.au%2Fjenkins%2Fjob%2FMaster-Coverage-Unit%2F323%2F&name=&tag=&slug=souffle-lang%2Fsouffle&service=jenkins&flags=unit&pr=&job=&cmd_args=K,Z,F
->  Pinging Codecov
https://codecov.io/upload/v4?package=bash-20200728-9fb7d93&token=secret&branch=origin%2Fmaster&commit=ad316680277ebc162c47de801f2fd4f1b3488641&build=323&build_url=http%3A%2F%2Fplang1.it.usyd.edu.au%2Fjenkins%2Fjob%2FMaster-Coverage-Unit%2F323%2F&name=&tag=&slug=souffle-lang%2Fsouffle&service=jenkins&flags=unit&pr=&job=&cmd_args=K,Z,F
->  Uploading to
https://storage.googleapis.com/codecov/v4/raw/2020-07-29/93BCA22FDB78F81B8920F6C5E6E1BC0E/ad316680277ebc162c47de801f2fd4f1b3488641/aebec9f6-368d-4f16-8a7d-9bab92e27f13.txt?X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=GOOG1EQX6OZVJGHKK3633AAFGLBUCOOATRACRQRQF6HMSMLYUP6EAD6XSWAAY%2F20200729%2FUS%2Fs3%2Faws4_request&X-Amz-Date=20200729T131532Z&X-Amz-Expires=10&X-Amz-SignedHeaders=host&X-Amz-Signature=11c72b206626073f6553b3e97351c98082e30430f5af62ff2a3a7fea996ac026
  % 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 1720k    0     0  100 1720k      0  1616k  0:00:01  0:00:01 --:--:-- 1616k
100 1720k    0     0  100 1720k      0  1616k  0:00:01  0:00:01 --:--:-- 1616k
    -> View reports at https://codecov.io/github/souffle-lang/souffle/commit/ad316680277ebc162c47de801f2fd4f1b3488641
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] done
Finished: SUCCESS