SuccessConsole Output

Skipping 68 KB.. Full Log
eRedundantRelations.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Tpo -c ast/transform/RemoveRedundantRelations.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveRedundantRelations.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Tpo -c ast/transform/RemoveRedundantRelations.cpp -o ast/transform/libsouffle_la-RemoveRedundantRelations.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-RemoveBooleanConstraints.Tpo ast/transform/.deps/libsouffle_la-RemoveBooleanConstraints.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast/transform/libsouffle_la-RemoveRedundantSums.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Tpo -c -o ast/transform/libsouffle_la-RemoveRedundantSums.lo `test -f 'ast/transform/RemoveRedundantSums.cpp' || echo './'`ast/transform/RemoveRedundantSums.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantSums.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Tpo -c ast/transform/RemoveRedundantSums.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveRedundantSums.o
mv -f ast/transform/.deps/libsouffle_la-RemoveEmptyRelations.Tpo ast/transform/.deps/libsouffle_la-RemoveEmptyRelations.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast/transform/libsouffle_la-RemoveRelationCopies.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Tpo -c -o ast/transform/libsouffle_la-RemoveRelationCopies.lo `test -f 'ast/transform/RemoveRelationCopies.cpp' || echo './'`ast/transform/RemoveRelationCopies.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-RemoveRelationCopies.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Tpo -c ast/transform/RemoveRelationCopies.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveRelationCopies.o
mv -f ast/transform/.deps/libsouffle_la-ReduceExistentials.Tpo ast/transform/.deps/libsouffle_la-ReduceExistentials.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast/transform/libsouffle_la-RemoveTypecasts.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveTypecasts.Tpo -c -o ast/transform/libsouffle_la-RemoveTypecasts.lo `test -f 'ast/transform/RemoveTypecasts.cpp' || echo './'`ast/transform/RemoveTypecasts.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-RemoveTypecasts.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveTypecasts.Tpo -c ast/transform/RemoveTypecasts.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveTypecasts.o
mv -f ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Tpo ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast/transform/libsouffle_la-ReorderLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReorderLiterals.Tpo -c -o ast/transform/libsouffle_la-ReorderLiterals.lo `test -f 'ast/transform/ReorderLiterals.cpp' || echo './'`ast/transform/ReorderLiterals.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-ReorderLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReorderLiterals.Tpo -c ast/transform/ReorderLiterals.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ReorderLiterals.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantSums.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Tpo -c ast/transform/RemoveRedundantSums.cpp -o ast/transform/libsouffle_la-RemoveRedundantSums.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-RemoveTypecasts.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveTypecasts.Tpo -c ast/transform/RemoveTypecasts.cpp -o ast/transform/libsouffle_la-RemoveTypecasts.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-RemoveRelationCopies.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Tpo -c ast/transform/RemoveRelationCopies.cpp -o ast/transform/libsouffle_la-RemoveRelationCopies.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-RemoveTypecasts.Tpo ast/transform/.deps/libsouffle_la-RemoveTypecasts.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast/transform/libsouffle_la-ReplaceSingletonVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Tpo -c -o ast/transform/libsouffle_la-ReplaceSingletonVariables.lo `test -f 'ast/transform/ReplaceSingletonVariables.cpp' || echo './'`ast/transform/ReplaceSingletonVariables.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-ReplaceSingletonVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Tpo -c ast/transform/ReplaceSingletonVariables.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ReplaceSingletonVariables.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-ReorderLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReorderLiterals.Tpo -c ast/transform/ReorderLiterals.cpp -o ast/transform/libsouffle_la-ReorderLiterals.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Tpo ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast/transform/libsouffle_la-ResolveAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAliases.Tpo -c -o ast/transform/libsouffle_la-ResolveAliases.lo `test -f 'ast/transform/ResolveAliases.cpp' || echo './'`ast/transform/ResolveAliases.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-ResolveAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAliases.Tpo -c ast/transform/ResolveAliases.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ResolveAliases.o
mv -f ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Tpo ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Tpo -c -o ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo `test -f 'ast/transform/ResolveAnonymousRecordAliases.cpp' || echo './'`ast/transform/ResolveAnonymousRecordAliases.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Tpo -c ast/transform/ResolveAnonymousRecordAliases.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ResolveAnonymousRecordAliases.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-ReplaceSingletonVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Tpo -c ast/transform/ReplaceSingletonVariables.cpp -o ast/transform/libsouffle_la-ReplaceSingletonVariables.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-ReorderLiterals.Tpo ast/transform/.deps/libsouffle_la-ReorderLiterals.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast/transform/libsouffle_la-SemanticChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SemanticChecker.Tpo -c -o ast/transform/libsouffle_la-SemanticChecker.lo `test -f 'ast/transform/SemanticChecker.cpp' || echo './'`ast/transform/SemanticChecker.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-SemanticChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SemanticChecker.Tpo -c ast/transform/SemanticChecker.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-SemanticChecker.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-ResolveAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAliases.Tpo -c ast/transform/ResolveAliases.cpp -o ast/transform/libsouffle_la-ResolveAliases.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Tpo -c ast/transform/ResolveAnonymousRecordAliases.cpp -o ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Tpo ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast/transform/libsouffle_la-Transformer.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Transformer.Tpo -c -o ast/transform/libsouffle_la-Transformer.lo `test -f 'ast/transform/Transformer.cpp' || echo './'`ast/transform/Transformer.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-Transformer.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Transformer.Tpo -c ast/transform/Transformer.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-Transformer.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-Transformer.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Transformer.Tpo -c ast/transform/Transformer.cpp -o ast/transform/libsouffle_la-Transformer.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Tpo ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast/transform/libsouffle_la-UniqueAggregationVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Tpo -c -o ast/transform/libsouffle_la-UniqueAggregationVariables.lo `test -f 'ast/transform/UniqueAggregationVariables.cpp' || echo './'`ast/transform/UniqueAggregationVariables.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-UniqueAggregationVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Tpo -c ast/transform/UniqueAggregationVariables.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-UniqueAggregationVariables.o
mv -f ast/transform/.deps/libsouffle_la-ResolveAliases.Tpo ast/transform/.deps/libsouffle_la-ResolveAliases.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast/utility/libsouffle_la-BindingStore.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-BindingStore.Tpo -c -o ast/utility/libsouffle_la-BindingStore.lo `test -f 'ast/utility/BindingStore.cpp' || echo './'`ast/utility/BindingStore.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/utility/libsouffle_la-BindingStore.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-BindingStore.Tpo -c ast/utility/BindingStore.cpp  -fPIC -DPIC -o ast/utility/.libs/libsouffle_la-BindingStore.o
mv -f ast/transform/.deps/libsouffle_la-Transformer.Tpo ast/transform/.deps/libsouffle_la-Transformer.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast/utility/libsouffle_la-SipsMetric.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-SipsMetric.Tpo -c -o ast/utility/libsouffle_la-SipsMetric.lo `test -f 'ast/utility/SipsMetric.cpp' || echo './'`ast/utility/SipsMetric.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/utility/libsouffle_la-SipsMetric.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-SipsMetric.Tpo -c ast/utility/SipsMetric.cpp  -fPIC -DPIC -o ast/utility/.libs/libsouffle_la-SipsMetric.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-UniqueAggregationVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Tpo -c ast/transform/UniqueAggregationVariables.cpp -o ast/transform/libsouffle_la-UniqueAggregationVariables.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/utility/libsouffle_la-BindingStore.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-BindingStore.Tpo -c ast/utility/BindingStore.cpp -o ast/utility/libsouffle_la-BindingStore.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/transform/libsouffle_la-SemanticChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SemanticChecker.Tpo -c ast/transform/SemanticChecker.cpp -o ast/transform/libsouffle_la-SemanticChecker.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Tpo ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast/utility/libsouffle_la-Utils.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-Utils.Tpo -c -o ast/utility/libsouffle_la-Utils.lo `test -f 'ast/utility/Utils.cpp' || echo './'`ast/utility/Utils.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/utility/libsouffle_la-Utils.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-Utils.Tpo -c ast/utility/Utils.cpp  -fPIC -DPIC -o ast/utility/.libs/libsouffle_la-Utils.o
mv -f ast/utility/.deps/libsouffle_la-BindingStore.Tpo ast/utility/.deps/libsouffle_la-BindingStore.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ast2ram/libsouffle_la-AstToRamTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-AstToRamTranslator.Tpo -c -o ast2ram/libsouffle_la-AstToRamTranslator.lo `test -f 'ast2ram/AstToRamTranslator.cpp' || echo './'`ast2ram/AstToRamTranslator.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast2ram/libsouffle_la-AstToRamTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-AstToRamTranslator.Tpo -c ast2ram/AstToRamTranslator.cpp  -fPIC -DPIC -o ast2ram/.libs/libsouffle_la-AstToRamTranslator.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/utility/libsouffle_la-SipsMetric.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-SipsMetric.Tpo -c ast/utility/SipsMetric.cpp -o ast/utility/libsouffle_la-SipsMetric.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast/utility/libsouffle_la-Utils.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-Utils.Tpo -c ast/utility/Utils.cpp -o ast/utility/libsouffle_la-Utils.o >/dev/null 2>&1
mv -f ast/utility/.deps/libsouffle_la-SipsMetric.Tpo ast/utility/.deps/libsouffle_la-SipsMetric.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT interpreter/libsouffle_la-InterpreterEngine.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterEngine.Tpo -c -o interpreter/libsouffle_la-InterpreterEngine.lo `test -f 'interpreter/InterpreterEngine.cpp' || echo './'`interpreter/InterpreterEngine.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT interpreter/libsouffle_la-InterpreterEngine.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterEngine.Tpo -c interpreter/InterpreterEngine.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-InterpreterEngine.o
In file included from interpreter/InterpreterEngine.cpp:16:
In file included from ./interpreter/InterpreterEngine.h:21:
In file included from ./interpreter/InterpreterGenerator.h:23:
./interpreter/InterpreterNode.h:41:1: warning: class 'InterpreterRelationWrapper' was previously declared as a struct; this is valid, but may result in linker errors under the Microsoft C++ ABI [-Wmismatched-tags]
class InterpreterRelationWrapper;
^
./interpreter/InterpreterRelation.h:40:8: note: previous use is here
struct InterpreterRelationWrapper {
       ^
./interpreter/InterpreterNode.h:41:1: note: did you mean struct here?
class InterpreterRelationWrapper;
^~~~~
struct
mv -f ast/transform/.deps/libsouffle_la-SemanticChecker.Tpo ast/transform/.deps/libsouffle_la-SemanticChecker.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT interpreter/libsouffle_la-InterpreterBrieIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterBrieIndex.Tpo -c -o interpreter/libsouffle_la-InterpreterBrieIndex.lo `test -f 'interpreter/InterpreterBrieIndex.cpp' || echo './'`interpreter/InterpreterBrieIndex.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT interpreter/libsouffle_la-InterpreterBrieIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterBrieIndex.Tpo -c interpreter/InterpreterBrieIndex.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-InterpreterBrieIndex.o
mv -f ast/utility/.deps/libsouffle_la-Utils.Tpo ast/utility/.deps/libsouffle_la-Utils.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT interpreter/libsouffle_la-InterpreterBTreeIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterBTreeIndex.Tpo -c -o interpreter/libsouffle_la-InterpreterBTreeIndex.lo `test -f 'interpreter/InterpreterBTreeIndex.cpp' || echo './'`interpreter/InterpreterBTreeIndex.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT interpreter/libsouffle_la-InterpreterBTreeIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterBTreeIndex.Tpo -c interpreter/InterpreterBTreeIndex.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-InterpreterBTreeIndex.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT interpreter/libsouffle_la-InterpreterBrieIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterBrieIndex.Tpo -c interpreter/InterpreterBrieIndex.cpp -o interpreter/libsouffle_la-InterpreterBrieIndex.o >/dev/null 2>&1
mv -f interpreter/.deps/libsouffle_la-InterpreterBrieIndex.Tpo interpreter/.deps/libsouffle_la-InterpreterBrieIndex.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT interpreter/libsouffle_la-InterpreterEqrelIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterEqrelIndex.Tpo -c -o interpreter/libsouffle_la-InterpreterEqrelIndex.lo `test -f 'interpreter/InterpreterEqrelIndex.cpp' || echo './'`interpreter/InterpreterEqrelIndex.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT interpreter/libsouffle_la-InterpreterEqrelIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterEqrelIndex.Tpo -c interpreter/InterpreterEqrelIndex.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-InterpreterEqrelIndex.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ast2ram/libsouffle_la-AstToRamTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-AstToRamTranslator.Tpo -c ast2ram/AstToRamTranslator.cpp -o ast2ram/libsouffle_la-AstToRamTranslator.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT interpreter/libsouffle_la-InterpreterEqrelIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterEqrelIndex.Tpo -c interpreter/InterpreterEqrelIndex.cpp -o interpreter/libsouffle_la-InterpreterEqrelIndex.o >/dev/null 2>&1
mv -f interpreter/.deps/libsouffle_la-InterpreterEqrelIndex.Tpo interpreter/.deps/libsouffle_la-InterpreterEqrelIndex.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT interpreter/libsouffle_la-InterpreterProvenanceIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterProvenanceIndex.Tpo -c -o interpreter/libsouffle_la-InterpreterProvenanceIndex.lo `test -f 'interpreter/InterpreterProvenanceIndex.cpp' || echo './'`interpreter/InterpreterProvenanceIndex.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT interpreter/libsouffle_la-InterpreterProvenanceIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterProvenanceIndex.Tpo -c interpreter/InterpreterProvenanceIndex.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-InterpreterProvenanceIndex.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT interpreter/libsouffle_la-InterpreterBTreeIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterBTreeIndex.Tpo -c interpreter/InterpreterBTreeIndex.cpp -o interpreter/libsouffle_la-InterpreterBTreeIndex.o >/dev/null 2>&1
mv -f ast2ram/.deps/libsouffle_la-AstToRamTranslator.Tpo ast2ram/.deps/libsouffle_la-AstToRamTranslator.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT parser/libsouffle_la-ParserDriver.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserDriver.Tpo -c -o parser/libsouffle_la-ParserDriver.lo `test -f 'parser/ParserDriver.cpp' || echo './'`parser/ParserDriver.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT parser/libsouffle_la-ParserDriver.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserDriver.Tpo -c parser/ParserDriver.cpp  -fPIC -DPIC -o parser/.libs/libsouffle_la-ParserDriver.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT parser/libsouffle_la-ParserDriver.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserDriver.Tpo -c parser/ParserDriver.cpp -o parser/libsouffle_la-ParserDriver.o >/dev/null 2>&1
mv -f parser/.deps/libsouffle_la-ParserDriver.Tpo parser/.deps/libsouffle_la-ParserDriver.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT parser/libsouffle_la-ParserUtils.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserUtils.Tpo -c -o parser/libsouffle_la-ParserUtils.lo `test -f 'parser/ParserUtils.cpp' || echo './'`parser/ParserUtils.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT parser/libsouffle_la-ParserUtils.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserUtils.Tpo -c parser/ParserUtils.cpp  -fPIC -DPIC -o parser/.libs/libsouffle_la-ParserUtils.o
mv -f interpreter/.deps/libsouffle_la-InterpreterBTreeIndex.Tpo interpreter/.deps/libsouffle_la-InterpreterBTreeIndex.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT parser/libsouffle_la-SrcLocation.lo -MD -MP -MF parser/.deps/libsouffle_la-SrcLocation.Tpo -c -o parser/libsouffle_la-SrcLocation.lo `test -f 'parser/SrcLocation.cpp' || echo './'`parser/SrcLocation.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT parser/libsouffle_la-SrcLocation.lo -MD -MP -MF parser/.deps/libsouffle_la-SrcLocation.Tpo -c parser/SrcLocation.cpp  -fPIC -DPIC -o parser/.libs/libsouffle_la-SrcLocation.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT parser/libsouffle_la-SrcLocation.lo -MD -MP -MF parser/.deps/libsouffle_la-SrcLocation.Tpo -c parser/SrcLocation.cpp -o parser/libsouffle_la-SrcLocation.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT parser/libsouffle_la-ParserUtils.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserUtils.Tpo -c parser/ParserUtils.cpp -o parser/libsouffle_la-ParserUtils.o >/dev/null 2>&1
mv -f parser/.deps/libsouffle_la-SrcLocation.Tpo parser/.deps/libsouffle_la-SrcLocation.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT parser/libsouffle_la-parser.lo -MD -MP -MF parser/.deps/libsouffle_la-parser.Tpo -c -o parser/libsouffle_la-parser.lo `test -f 'parser/parser.cc' || echo './'`parser/parser.cc
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT parser/libsouffle_la-parser.lo -MD -MP -MF parser/.deps/libsouffle_la-parser.Tpo -c parser/parser.cc  -fPIC -DPIC -o parser/.libs/libsouffle_la-parser.o
mv -f parser/.deps/libsouffle_la-ParserUtils.Tpo parser/.deps/libsouffle_la-ParserUtils.Plo
flex -o parser/scanner.cc ./parser/scanner.ll
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/analysis/libsouffle_la-Complexity.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Complexity.Tpo -c -o ram/analysis/libsouffle_la-Complexity.lo `test -f 'ram/analysis/Complexity.cpp' || echo './'`ram/analysis/Complexity.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/analysis/libsouffle_la-Complexity.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Complexity.Tpo -c ram/analysis/Complexity.cpp  -fPIC -DPIC -o ram/analysis/.libs/libsouffle_la-Complexity.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT interpreter/libsouffle_la-InterpreterProvenanceIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterProvenanceIndex.Tpo -c interpreter/InterpreterProvenanceIndex.cpp -o interpreter/libsouffle_la-InterpreterProvenanceIndex.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/analysis/libsouffle_la-Complexity.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Complexity.Tpo -c ram/analysis/Complexity.cpp -o ram/analysis/libsouffle_la-Complexity.o >/dev/null 2>&1
mv -f ram/analysis/.deps/libsouffle_la-Complexity.Tpo ram/analysis/.deps/libsouffle_la-Complexity.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/analysis/libsouffle_la-Index.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Index.Tpo -c -o ram/analysis/libsouffle_la-Index.lo `test -f 'ram/analysis/Index.cpp' || echo './'`ram/analysis/Index.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/analysis/libsouffle_la-Index.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Index.Tpo -c ram/analysis/Index.cpp  -fPIC -DPIC -o ram/analysis/.libs/libsouffle_la-Index.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/analysis/libsouffle_la-Index.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Index.Tpo -c ram/analysis/Index.cpp -o ram/analysis/libsouffle_la-Index.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT parser/libsouffle_la-parser.lo -MD -MP -MF parser/.deps/libsouffle_la-parser.Tpo -c parser/parser.cc -o parser/libsouffle_la-parser.o >/dev/null 2>&1
mv -f ram/analysis/.deps/libsouffle_la-Index.Tpo ram/analysis/.deps/libsouffle_la-Index.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/analysis/libsouffle_la-Level.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Level.Tpo -c -o ram/analysis/libsouffle_la-Level.lo `test -f 'ram/analysis/Level.cpp' || echo './'`ram/analysis/Level.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/analysis/libsouffle_la-Level.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Level.Tpo -c ram/analysis/Level.cpp  -fPIC -DPIC -o ram/analysis/.libs/libsouffle_la-Level.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/analysis/libsouffle_la-Level.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Level.Tpo -c ram/analysis/Level.cpp -o ram/analysis/libsouffle_la-Level.o >/dev/null 2>&1
mv -f ram/analysis/.deps/libsouffle_la-Level.Tpo ram/analysis/.deps/libsouffle_la-Level.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-ChoiceConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ChoiceConversion.Tpo -c -o ram/transform/libsouffle_la-ChoiceConversion.lo `test -f 'ram/transform/ChoiceConversion.cpp' || echo './'`ram/transform/ChoiceConversion.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-ChoiceConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ChoiceConversion.Tpo -c ram/transform/ChoiceConversion.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-ChoiceConversion.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-ChoiceConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ChoiceConversion.Tpo -c ram/transform/ChoiceConversion.cpp -o ram/transform/libsouffle_la-ChoiceConversion.o >/dev/null 2>&1
mv -f parser/.deps/libsouffle_la-parser.Tpo parser/.deps/libsouffle_la-parser.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-CollapseFilters.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-CollapseFilters.Tpo -c -o ram/transform/libsouffle_la-CollapseFilters.lo `test -f 'ram/transform/CollapseFilters.cpp' || echo './'`ram/transform/CollapseFilters.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-CollapseFilters.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-CollapseFilters.Tpo -c ram/transform/CollapseFilters.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-CollapseFilters.o
mv -f ram/transform/.deps/libsouffle_la-ChoiceConversion.Tpo ram/transform/.deps/libsouffle_la-ChoiceConversion.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-EliminateDuplicates.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo -c -o ram/transform/libsouffle_la-EliminateDuplicates.lo `test -f 'ram/transform/EliminateDuplicates.cpp' || echo './'`ram/transform/EliminateDuplicates.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-EliminateDuplicates.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo -c ram/transform/EliminateDuplicates.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-EliminateDuplicates.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-CollapseFilters.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-CollapseFilters.Tpo -c ram/transform/CollapseFilters.cpp -o ram/transform/libsouffle_la-CollapseFilters.o >/dev/null 2>&1
mv -f interpreter/.deps/libsouffle_la-InterpreterProvenanceIndex.Tpo interpreter/.deps/libsouffle_la-InterpreterProvenanceIndex.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-ExpandFilter.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ExpandFilter.Tpo -c -o ram/transform/libsouffle_la-ExpandFilter.lo `test -f 'ram/transform/ExpandFilter.cpp' || echo './'`ram/transform/ExpandFilter.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-ExpandFilter.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ExpandFilter.Tpo -c ram/transform/ExpandFilter.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-ExpandFilter.o
mv -f ram/transform/.deps/libsouffle_la-CollapseFilters.Tpo ram/transform/.deps/libsouffle_la-CollapseFilters.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-HoistAggregate.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistAggregate.Tpo -c -o ram/transform/libsouffle_la-HoistAggregate.lo `test -f 'ram/transform/HoistAggregate.cpp' || echo './'`ram/transform/HoistAggregate.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-EliminateDuplicates.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo -c ram/transform/EliminateDuplicates.cpp -o ram/transform/libsouffle_la-EliminateDuplicates.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-HoistAggregate.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistAggregate.Tpo -c ram/transform/HoistAggregate.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-HoistAggregate.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-ExpandFilter.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ExpandFilter.Tpo -c ram/transform/ExpandFilter.cpp -o ram/transform/libsouffle_la-ExpandFilter.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-HoistAggregate.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistAggregate.Tpo -c ram/transform/HoistAggregate.cpp -o ram/transform/libsouffle_la-HoistAggregate.o >/dev/null 2>&1
mv -f ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo ram/transform/.deps/libsouffle_la-EliminateDuplicates.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-HoistConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistConditions.Tpo -c -o ram/transform/libsouffle_la-HoistConditions.lo `test -f 'ram/transform/HoistConditions.cpp' || echo './'`ram/transform/HoistConditions.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-HoistConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistConditions.Tpo -c ram/transform/HoistConditions.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-HoistConditions.o
mv -f ram/transform/.deps/libsouffle_la-ExpandFilter.Tpo ram/transform/.deps/libsouffle_la-ExpandFilter.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-IfConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IfConversion.Tpo -c -o ram/transform/libsouffle_la-IfConversion.lo `test -f 'ram/transform/IfConversion.cpp' || echo './'`ram/transform/IfConversion.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-IfConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IfConversion.Tpo -c ram/transform/IfConversion.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-IfConversion.o
mv -f ram/transform/.deps/libsouffle_la-HoistAggregate.Tpo ram/transform/.deps/libsouffle_la-HoistAggregate.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-IndexedInequality.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IndexedInequality.Tpo -c -o ram/transform/libsouffle_la-IndexedInequality.lo `test -f 'ram/transform/IndexedInequality.cpp' || echo './'`ram/transform/IndexedInequality.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-IndexedInequality.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IndexedInequality.Tpo -c ram/transform/IndexedInequality.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-IndexedInequality.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-HoistConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistConditions.Tpo -c ram/transform/HoistConditions.cpp -o ram/transform/libsouffle_la-HoistConditions.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-IfConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IfConversion.Tpo -c ram/transform/IfConversion.cpp -o ram/transform/libsouffle_la-IfConversion.o >/dev/null 2>&1
mv -f ram/transform/.deps/libsouffle_la-HoistConditions.Tpo ram/transform/.deps/libsouffle_la-HoistConditions.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-MakeIndex.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-MakeIndex.Tpo -c -o ram/transform/libsouffle_la-MakeIndex.lo `test -f 'ram/transform/MakeIndex.cpp' || echo './'`ram/transform/MakeIndex.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-MakeIndex.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-MakeIndex.Tpo -c ram/transform/MakeIndex.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-MakeIndex.o
ram/transform/MakeIndex.cpp:171:65: warning: moving a temporary object prevents copy elision [-Wpessimizing-move]
            [](const std::unique_ptr<Condition>& cond) { return std::move(clone(cond)); });
                                                                ^
ram/transform/MakeIndex.cpp:171:65: note: remove std::move call here
            [](const std::unique_ptr<Condition>& cond) { return std::move(clone(cond)); });
                                                                ^~~~~~~~~~           ~
mv -f ram/transform/.deps/libsouffle_la-IfConversion.Tpo ram/transform/.deps/libsouffle_la-IfConversion.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-Parallel.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Parallel.Tpo -c -o ram/transform/libsouffle_la-Parallel.lo `test -f 'ram/transform/Parallel.cpp' || echo './'`ram/transform/Parallel.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-Parallel.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Parallel.Tpo -c ram/transform/Parallel.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-Parallel.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-IndexedInequality.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IndexedInequality.Tpo -c ram/transform/IndexedInequality.cpp -o ram/transform/libsouffle_la-IndexedInequality.o >/dev/null 2>&1
1 warning generated.
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-MakeIndex.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-MakeIndex.Tpo -c ram/transform/MakeIndex.cpp -o ram/transform/libsouffle_la-MakeIndex.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-Parallel.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Parallel.Tpo -c ram/transform/Parallel.cpp -o ram/transform/libsouffle_la-Parallel.o >/dev/null 2>&1
mv -f ram/transform/.deps/libsouffle_la-IndexedInequality.Tpo ram/transform/.deps/libsouffle_la-IndexedInequality.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-ReorderConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderConditions.Tpo -c -o ram/transform/libsouffle_la-ReorderConditions.lo `test -f 'ram/transform/ReorderConditions.cpp' || echo './'`ram/transform/ReorderConditions.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-ReorderConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderConditions.Tpo -c ram/transform/ReorderConditions.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-ReorderConditions.o
mv -f ram/transform/.deps/libsouffle_la-MakeIndex.Tpo ram/transform/.deps/libsouffle_la-MakeIndex.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-ReorderFilterBreak.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Tpo -c -o ram/transform/libsouffle_la-ReorderFilterBreak.lo `test -f 'ram/transform/ReorderFilterBreak.cpp' || echo './'`ram/transform/ReorderFilterBreak.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-ReorderFilterBreak.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Tpo -c ram/transform/ReorderFilterBreak.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-ReorderFilterBreak.o
mv -f ram/transform/.deps/libsouffle_la-Parallel.Tpo ram/transform/.deps/libsouffle_la-Parallel.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-Transformer.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Transformer.Tpo -c -o ram/transform/libsouffle_la-Transformer.lo `test -f 'ram/transform/Transformer.cpp' || echo './'`ram/transform/Transformer.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-Transformer.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Transformer.Tpo -c ram/transform/Transformer.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-Transformer.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-ReorderConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderConditions.Tpo -c ram/transform/ReorderConditions.cpp -o ram/transform/libsouffle_la-ReorderConditions.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-ReorderFilterBreak.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Tpo -c ram/transform/ReorderFilterBreak.cpp -o ram/transform/libsouffle_la-ReorderFilterBreak.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-Transformer.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Transformer.Tpo -c ram/transform/Transformer.cpp -o ram/transform/libsouffle_la-Transformer.o >/dev/null 2>&1
mv -f ram/transform/.deps/libsouffle_la-ReorderConditions.Tpo ram/transform/.deps/libsouffle_la-ReorderConditions.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT ram/transform/libsouffle_la-TupleId.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-TupleId.Tpo -c -o ram/transform/libsouffle_la-TupleId.lo `test -f 'ram/transform/TupleId.cpp' || echo './'`ram/transform/TupleId.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-TupleId.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-TupleId.Tpo -c ram/transform/TupleId.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-TupleId.o
mv -f ram/transform/.deps/libsouffle_la-Transformer.Tpo ram/transform/.deps/libsouffle_la-Transformer.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT reports/libsouffle_la-DebugReport.lo -MD -MP -MF reports/.deps/libsouffle_la-DebugReport.Tpo -c -o reports/libsouffle_la-DebugReport.lo `test -f 'reports/DebugReport.cpp' || echo './'`reports/DebugReport.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT reports/libsouffle_la-DebugReport.lo -MD -MP -MF reports/.deps/libsouffle_la-DebugReport.Tpo -c reports/DebugReport.cpp  -fPIC -DPIC -o reports/.libs/libsouffle_la-DebugReport.o
mv -f ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Tpo ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT synthesiser/libsouffle_la-Synthesiser.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Synthesiser.Tpo -c -o synthesiser/libsouffle_la-Synthesiser.lo `test -f 'synthesiser/Synthesiser.cpp' || echo './'`synthesiser/Synthesiser.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT synthesiser/libsouffle_la-Synthesiser.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Synthesiser.Tpo -c synthesiser/Synthesiser.cpp  -fPIC -DPIC -o synthesiser/.libs/libsouffle_la-Synthesiser.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT reports/libsouffle_la-DebugReport.lo -MD -MP -MF reports/.deps/libsouffle_la-DebugReport.Tpo -c reports/DebugReport.cpp -o reports/libsouffle_la-DebugReport.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-TupleId.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-TupleId.Tpo -c ram/transform/TupleId.cpp -o ram/transform/libsouffle_la-TupleId.o >/dev/null 2>&1
mv -f reports/.deps/libsouffle_la-DebugReport.Tpo reports/.deps/libsouffle_la-DebugReport.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT synthesiser/libsouffle_la-Relation.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Relation.Tpo -c -o synthesiser/libsouffle_la-Relation.lo `test -f 'synthesiser/Relation.cpp' || echo './'`synthesiser/Relation.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT synthesiser/libsouffle_la-Relation.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Relation.Tpo -c synthesiser/Relation.cpp  -fPIC -DPIC -o synthesiser/.libs/libsouffle_la-Relation.o
mv -f ram/transform/.deps/libsouffle_la-TupleId.Tpo ram/transform/.deps/libsouffle_la-TupleId.Plo
/bin/bash ../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp     -o souffle-profile souffle_profile-souffle_prof.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -o souffle-profile souffle_profile-souffle_prof.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT parser/libsouffle_la-scanner.lo -MD -MP -MF parser/.deps/libsouffle_la-scanner.Tpo -c -o parser/libsouffle_la-scanner.lo `test -f 'parser/scanner.cc' || echo './'`parser/scanner.cc
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT parser/libsouffle_la-scanner.lo -MD -MP -MF parser/.deps/libsouffle_la-scanner.Tpo -c parser/scanner.cc  -fPIC -DPIC -o parser/.libs/libsouffle_la-scanner.o
1 warning generated.
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT interpreter/libsouffle_la-InterpreterEngine.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterEngine.Tpo -c interpreter/InterpreterEngine.cpp -o interpreter/libsouffle_la-InterpreterEngine.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT synthesiser/libsouffle_la-Relation.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Relation.Tpo -c synthesiser/Relation.cpp -o synthesiser/libsouffle_la-Relation.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT parser/libsouffle_la-scanner.lo -MD -MP -MF parser/.deps/libsouffle_la-scanner.Tpo -c parser/scanner.cc -o parser/libsouffle_la-scanner.o >/dev/null 2>&1
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT synthesiser/libsouffle_la-Synthesiser.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Synthesiser.Tpo -c synthesiser/Synthesiser.cpp -o synthesiser/libsouffle_la-Synthesiser.o >/dev/null 2>&1
mv -f synthesiser/.deps/libsouffle_la-Relation.Tpo synthesiser/.deps/libsouffle_la-Relation.Plo
mv -f parser/.deps/libsouffle_la-scanner.Tpo parser/.deps/libsouffle_la-scanner.Plo
mv -f synthesiser/.deps/libsouffle_la-Synthesiser.Tpo synthesiser/.deps/libsouffle_la-Synthesiser.Plo
mv -f interpreter/.deps/libsouffle_la-InterpreterEngine.Tpo interpreter/.deps/libsouffle_la-InterpreterEngine.Plo
/bin/bash ../libtool  --tag=CXX   --mode=link clang++ -std=c++17 -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   --static --dlopen --pic -ldl -lffi  -o libsouffle.la  libsouffle_la-FunctorOps.lo libsouffle_la-Global.lo ast/libsouffle_la-Program.lo ast/analysis/libsouffle_la-AuxArity.lo ast/analysis/libsouffle_la-ClauseNormalisation.lo ast/analysis/libsouffle_la-ComponentLookup.lo ast/analysis/libsouffle_la-Functor.lo ast/analysis/libsouffle_la-Ground.lo ast/analysis/libsouffle_la-IOType.lo ast/analysis/libsouffle_la-PrecedenceGraph.lo ast/analysis/libsouffle_la-ProfileUse.lo ast/analysis/libsouffle_la-RecursiveClauses.lo ast/analysis/libsouffle_la-RedundantRelations.lo ast/analysis/libsouffle_la-RelationDetailCache.lo ast/analysis/libsouffle_la-RelationSchedule.lo ast/analysis/libsouffle_la-SCCGraph.lo ast/analysis/libsouffle_la-SumTypeBranches.lo ast/analysis/libsouffle_la-TopologicallySortedSCCGraph.lo ast/analysis/libsouffle_la-Type.lo ast/analysis/libsouffle_la-TypeSystem.lo ast/analysis/libsouffle_la-TypeEnvironment.lo ast/transform/libsouffle_la-ADTtoRecords.lo ast/transform/libsouffle_la-AddNullariesToAtomlessAggregates.lo ast/transform/libsouffle_la-ComponentChecker.lo ast/transform/libsouffle_la-ComponentInstantiation.lo ast/transform/libsouffle_la-DebugReporter.lo ast/transform/libsouffle_la-ExecutionPlanChecker.lo ast/transform/libsouffle_la-FoldAnonymousRecords.lo ast/transform/libsouffle_la-GroundedTermsChecker.lo ast/transform/libsouffle_la-InlineRelations.lo ast/transform/libsouffle_la-MagicSet.lo ast/transform/libsouffle_la-MaterializeAggregationQueries.lo ast/transform/libsouffle_la-MaterializeSingletonAggregation.lo ast/transform/libsouffle_la-Meta.lo ast/transform/libsouffle_la-MinimiseProgram.lo ast/transform/libsouffle_la-NameUnnamedVariables.lo ast/transform/libsouffle_la-NormaliseConstraints.lo ast/transform/libsouffle_la-PartitionBodyLiterals.lo ast/transform/libsouffle_la-PolymorphicObjects.lo ast/transform/libsouffle_la-PragmaChecker.lo ast/transform/libsouffle_la-Provenance.lo ast/transform/libsouffle_la-ReduceExistentials.lo ast/transform/libsouffle_la-RemoveBooleanConstraints.lo ast/transform/libsouffle_la-RemoveEmptyRelations.lo ast/transform/libsouffle_la-RemoveRedundantRelations.lo ast/transform/libsouffle_la-RemoveRedundantSums.lo ast/transform/libsouffle_la-RemoveRelationCopies.lo ast/transform/libsouffle_la-RemoveTypecasts.lo ast/transform/libsouffle_la-ReorderLiterals.lo ast/transform/libsouffle_la-ReplaceSingletonVariables.lo ast/transform/libsouffle_la-ResolveAliases.lo ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo ast/transform/libsouffle_la-SemanticChecker.lo ast/transform/libsouffle_la-Transformer.lo ast/transform/libsouffle_la-UniqueAggregationVariables.lo ast/utility/libsouffle_la-BindingStore.lo ast/utility/libsouffle_la-SipsMetric.lo ast/utility/libsouffle_la-Utils.lo ast2ram/libsouffle_la-AstToRamTranslator.lo interpreter/libsouffle_la-InterpreterEngine.lo interpreter/libsouffle_la-InterpreterBrieIndex.lo interpreter/libsouffle_la-InterpreterBTreeIndex.lo interpreter/libsouffle_la-InterpreterEqrelIndex.lo interpreter/libsouffle_la-InterpreterProvenanceIndex.lo parser/libsouffle_la-ParserDriver.lo parser/libsouffle_la-ParserUtils.lo parser/libsouffle_la-SrcLocation.lo parser/libsouffle_la-parser.lo parser/libsouffle_la-scanner.lo ram/analysis/libsouffle_la-Complexity.lo ram/analysis/libsouffle_la-Index.lo ram/analysis/libsouffle_la-Level.lo ram/transform/libsouffle_la-ChoiceConversion.lo ram/transform/libsouffle_la-CollapseFilters.lo ram/transform/libsouffle_la-EliminateDuplicates.lo ram/transform/libsouffle_la-ExpandFilter.lo ram/transform/libsouffle_la-HoistAggregate.lo ram/transform/libsouffle_la-HoistConditions.lo ram/transform/libsouffle_la-IfConversion.lo ram/transform/libsouffle_la-IndexedInequality.lo ram/transform/libsouffle_la-MakeIndex.lo ram/transform/libsouffle_la-Parallel.lo ram/transform/libsouffle_la-ReorderConditions.lo ram/transform/libsouffle_la-ReorderFilterBreak.lo ram/transform/libsouffle_la-Transformer.lo ram/transform/libsouffle_la-TupleId.lo reports/libsouffle_la-DebugReport.lo synthesiser/libsouffle_la-Synthesiser.lo synthesiser/libsouffle_la-Relation.lo  -ldl -lpthread -lsqlite3 -lz -lncursesw
copying selected object files to avoid basename conflicts...
libtool: link: ln ram/transform/.libs/libsouffle_la-Transformer.o .libs/libsouffle.lax/lt1-libsouffle_la-Transformer.o || cp ram/transform/.libs/libsouffle_la-Transformer.o .libs/libsouffle.lax/lt1-libsouffle_la-Transformer.o
libtool: link: ar cr .libs/libsouffle.a .libs/libsouffle_la-FunctorOps.o .libs/libsouffle_la-Global.o ast/.libs/libsouffle_la-Program.o ast/analysis/.libs/libsouffle_la-AuxArity.o ast/analysis/.libs/libsouffle_la-ClauseNormalisation.o ast/analysis/.libs/libsouffle_la-ComponentLookup.o ast/analysis/.libs/libsouffle_la-Functor.o ast/analysis/.libs/libsouffle_la-Ground.o ast/analysis/.libs/libsouffle_la-IOType.o ast/analysis/.libs/libsouffle_la-PrecedenceGraph.o ast/analysis/.libs/libsouffle_la-ProfileUse.o ast/analysis/.libs/libsouffle_la-RecursiveClauses.o ast/analysis/.libs/libsouffle_la-RedundantRelations.o ast/analysis/.libs/libsouffle_la-RelationDetailCache.o ast/analysis/.libs/libsouffle_la-RelationSchedule.o ast/analysis/.libs/libsouffle_la-SCCGraph.o ast/analysis/.libs/libsouffle_la-SumTypeBranches.o ast/analysis/.libs/libsouffle_la-TopologicallySortedSCCGraph.o ast/analysis/.libs/libsouffle_la-Type.o ast/analysis/.libs/libsouffle_la-TypeSystem.o ast/analysis/.libs/libsouffle_la-TypeEnvironment.o ast/transform/.libs/libsouffle_la-ADTtoRecords.o ast/transform/.libs/libsouffle_la-AddNullariesToAtomlessAggregates.o ast/transform/.libs/libsouffle_la-ComponentChecker.o ast/transform/.libs/libsouffle_la-ComponentInstantiation.o ast/transform/.libs/libsouffle_la-DebugReporter.o ast/transform/.libs/libsouffle_la-ExecutionPlanChecker.o ast/transform/.libs/libsouffle_la-FoldAnonymousRecords.o ast/transform/.libs/libsouffle_la-GroundedTermsChecker.o ast/transform/.libs/libsouffle_la-InlineRelations.o ast/transform/.libs/libsouffle_la-MagicSet.o ast/transform/.libs/libsouffle_la-MaterializeAggregationQueries.o ast/transform/.libs/libsouffle_la-MaterializeSingletonAggregation.o ast/transform/.libs/libsouffle_la-Meta.o ast/transform/.libs/libsouffle_la-MinimiseProgram.o ast/transform/.libs/libsouffle_la-NameUnnamedVariables.o ast/transform/.libs/libsouffle_la-NormaliseConstraints.o ast/transform/.libs/libsouffle_la-PartitionBodyLiterals.o ast/transform/.libs/libsouffle_la-PolymorphicObjects.o ast/transform/.libs/libsouffle_la-PragmaChecker.o ast/transform/.libs/libsouffle_la-Provenance.o ast/transform/.libs/libsouffle_la-ReduceExistentials.o ast/transform/.libs/libsouffle_la-RemoveBooleanConstraints.o ast/transform/.libs/libsouffle_la-RemoveEmptyRelations.o ast/transform/.libs/libsouffle_la-RemoveRedundantRelations.o ast/transform/.libs/libsouffle_la-RemoveRedundantSums.o ast/transform/.libs/libsouffle_la-RemoveRelationCopies.o ast/transform/.libs/libsouffle_la-RemoveTypecasts.o ast/transform/.libs/libsouffle_la-ReorderLiterals.o ast/transform/.libs/libsouffle_la-ReplaceSingletonVariables.o ast/transform/.libs/libsouffle_la-ResolveAliases.o ast/transform/.libs/libsouffle_la-ResolveAnonymousRecordAliases.o ast/transform/.libs/libsouffle_la-SemanticChecker.o ast/transform/.libs/libsouffle_la-Transformer.o ast/transform/.libs/libsouffle_la-UniqueAggregationVariables.o ast/utility/.libs/libsouffle_la-BindingStore.o ast/utility/.libs/libsouffle_la-SipsMetric.o ast/utility/.libs/libsouffle_la-Utils.o ast2ram/.libs/libsouffle_la-AstToRamTranslator.o interpreter/.libs/libsouffle_la-InterpreterEngine.o interpreter/.libs/libsouffle_la-InterpreterBrieIndex.o interpreter/.libs/libsouffle_la-InterpreterBTreeIndex.o interpreter/.libs/libsouffle_la-InterpreterEqrelIndex.o interpreter/.libs/libsouffle_la-InterpreterProvenanceIndex.o parser/.libs/libsouffle_la-ParserDriver.o parser/.libs/libsouffle_la-ParserUtils.o parser/.libs/libsouffle_la-SrcLocation.o parser/.libs/libsouffle_la-parser.o parser/.libs/libsouffle_la-scanner.o ram/analysis/.libs/libsouffle_la-Complexity.o ram/analysis/.libs/libsouffle_la-Index.o ram/analysis/.libs/libsouffle_la-Level.o ram/transform/.libs/libsouffle_la-ChoiceConversion.o ram/transform/.libs/libsouffle_la-CollapseFilters.o ram/transform/.libs/libsouffle_la-EliminateDuplicates.o ram/transform/.libs/libsouffle_la-ExpandFilter.o ram/transform/.libs/libsouffle_la-HoistAggregate.o ram/transform/.libs/libsouffle_la-HoistConditions.o ram/transform/.libs/libsouffle_la-IfConversion.o ram/transform/.libs/libsouffle_la-IndexedInequality.o ram/transform/.libs/libsouffle_la-MakeIndex.o ram/transform/.libs/libsouffle_la-Parallel.o ram/transform/.libs/libsouffle_la-ReorderConditions.o ram/transform/.libs/libsouffle_la-ReorderFilterBreak.o .libs/libsouffle.lax/lt1-libsouffle_la-Transformer.o ram/transform/.libs/libsouffle_la-TupleId.o reports/.libs/libsouffle_la-DebugReport.o synthesiser/.libs/libsouffle_la-Synthesiser.o synthesiser/.libs/libsouffle_la-Relation.o
libtool: link: ranlib .libs/libsouffle.a
libtool: link: rm -fr .libs/libsouffle.lax
libtool: link: ( cd ".libs" && rm -f "libsouffle.la" && ln -s "../libsouffle.la" "libsouffle.la" )
/bin/bash ../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp     -o souffle souffle-main.o libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -o souffle souffle-main.o  ./.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
make[3]: Leaving directory '/souffle/src'
Making all in tests
make[3]: Entering directory '/souffle/src/tests'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/souffle/src/tests'
Making all in ast/tests
make[3]: Entering directory '/souffle/src/ast/tests'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/souffle/src/ast/tests'
Making all in ram/tests
make[3]: Entering directory '/souffle/src/ram/tests'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/souffle/src/ram/tests'
Making all in interpreter/tests
make[3]: Entering directory '/souffle/src/interpreter/tests'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/souffle/src/interpreter/tests'
make[2]: Leaving directory '/souffle/src'
make[1]: Leaving directory '/souffle/src'
Making all in tests
make[1]: Entering directory '/souffle/tests'
Making all in interface/functors
make[2]: Entering directory '/souffle/tests/interface/functors'
make[2]: Nothing to be done for 'all'.
make[2]: Leaving directory '/souffle/tests/interface/functors'
make[2]: Entering directory '/souffle/tests'
make[2]: Nothing to be done for 'all-am'.
make[2]: Leaving directory '/souffle/tests'
make[1]: Leaving directory '/souffle/tests'
make[1]: Entering directory '/souffle'
make[1]: Nothing to be done for 'all-am'.
make[1]: Leaving directory '/souffle'
Making check in src
make[1]: Entering directory '/souffle/src'
Making check in .
make[2]: Entering directory '/souffle/src'
make[2]: Leaving directory '/souffle/src'
Making check in tests
make[2]: Entering directory '/souffle/src/tests'
make  profile_util_test util_test table_test btree_set_test btree_multiset_test binary_relation_test eqrel_datastructure_test compiled_tuple_test symbol_table_test graph_utils_test brie_test parallel_utils_test record_table_test
make[3]: Entering directory '/souffle/src/tests'
depbase=`echo profile_util_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include -MT profile_util_test.o -MD -MP -MF $depbase.Tpo -c -o profile_util_test.o profile_util_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo util_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include -MT util_test.o -MD -MP -MF $depbase.Tpo -c -o util_test.o util_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo table_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include -MT table_test.o -MD -MP -MF $depbase.Tpo -c -o table_test.o table_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo btree_set_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include -MT btree_set_test.o -MD -MP -MF $depbase.Tpo -c -o btree_set_test.o btree_set_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo btree_multiset_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include -MT btree_multiset_test.o -MD -MP -MF $depbase.Tpo -c -o btree_multiset_test.o btree_multiset_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo binary_relation_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include -MT binary_relation_test.o -MD -MP -MF $depbase.Tpo -c -o binary_relation_test.o binary_relation_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo eqrel_datastructure_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include -MT eqrel_datastructure_test.o -MD -MP -MF $depbase.Tpo -c -o eqrel_datastructure_test.o eqrel_datastructure_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo compiled_tuple_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include -MT compiled_tuple_test.o -MD -MP -MF $depbase.Tpo -c -o compiled_tuple_test.o compiled_tuple_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo symbol_table_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include -MT symbol_table_test.o -MD -MP -MF $depbase.Tpo -c -o symbol_table_test.o symbol_table_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo graph_utils_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include -MT graph_utils_test.o -MD -MP -MF $depbase.Tpo -c -o graph_utils_test.o graph_utils_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo brie_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include -MT brie_test.o -MD -MP -MF $depbase.Tpo -c -o brie_test.o brie_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo parallel_utils_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include -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
depbase=`echo record_table_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include -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 clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o profile_util_test profile_util_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o util_test util_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../src -I../../src/include -o profile_util_test profile_util_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../src -I../../src/include -o util_test util_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o table_test table_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o btree_set_test btree_set_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../src -I../../src/include -o table_test table_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../src -I../../src/include -o btree_set_test btree_set_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o btree_multiset_test btree_multiset_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o binary_relation_test binary_relation_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../src -I../../src/include -o btree_multiset_test btree_multiset_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../src -I../../src/include -o binary_relation_test binary_relation_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o eqrel_datastructure_test eqrel_datastructure_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o compiled_tuple_test compiled_tuple_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../src -I../../src/include -o eqrel_datastructure_test eqrel_datastructure_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../src -I../../src/include -o compiled_tuple_test compiled_tuple_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o symbol_table_test symbol_table_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o graph_utils_test graph_utils_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../src -I../../src/include -o symbol_table_test symbol_table_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../src -I../../src/include -o graph_utils_test graph_utils_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o parallel_utils_test parallel_utils_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../src -I../../src/include -o parallel_utils_test parallel_utils_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o record_table_test record_table_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../src -I../../src/include -o record_table_test record_table_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o brie_test brie_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../src -I../../src/include -o brie_test brie_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
make[3]: Leaving directory '/souffle/src/tests'
make  check-TESTS
make[3]: Entering directory '/souffle/src/tests'
make[4]: Entering directory '/souffle/src/tests'
PASS: profile_util_test
PASS: util_test
PASS: table_test
PASS: binary_relation_test
PASS: compiled_tuple_test
PASS: symbol_table_test
PASS: graph_utils_test
PASS: eqrel_datastructure_test
PASS: parallel_utils_test
PASS: record_table_test
PASS: btree_multiset_test
PASS: btree_set_test
PASS: brie_test
============================================================================
Testsuite summary for souffle 2.0.2-82-ge47a12f4c
============================================================================
# TOTAL: 13
# PASS:  13
# SKIP:  0
# XFAIL: 0
# FAIL:  0
# XPASS: 0
# ERROR: 0
============================================================================
make[4]: Leaving directory '/souffle/src/tests'
make[3]: Leaving directory '/souffle/src/tests'
make[2]: Leaving directory '/souffle/src/tests'
Making check in ast/tests
make[2]: Entering directory '/souffle/src/ast/tests'
make  ast_print_test ast_program_test ast_transformers_test ast_utils_test ast_parser_utils_test type_system_test constraints_test
make[3]: Entering directory '/souffle/src/ast/tests'
depbase=`echo ast_print_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -MT ast_print_test.o -MD -MP -MF $depbase.Tpo -c -o ast_print_test.o ast_print_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ast_program_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -MT ast_program_test.o -MD -MP -MF $depbase.Tpo -c -o ast_program_test.o ast_program_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ast_transformers_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -MT ast_transformers_test.o -MD -MP -MF $depbase.Tpo -c -o ast_transformers_test.o ast_transformers_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ast_utils_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -MT ast_utils_test.o -MD -MP -MF $depbase.Tpo -c -o ast_utils_test.o ast_utils_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ast_parser_utils_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -MT ast_parser_utils_test.o -MD -MP -MF $depbase.Tpo -c -o ast_parser_utils_test.o ast_parser_utils_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo type_system_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -MT type_system_test.o -MD -MP -MF $depbase.Tpo -c -o type_system_test.o type_system_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo constraints_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -MT constraints_test.o -MD -MP -MF $depbase.Tpo -c -o constraints_test.o constraints_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ast_print_test ast_print_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ast_program_test ast_program_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ast_print_test ast_print_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ast_program_test ast_program_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ast_transformers_test ast_transformers_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ast_utils_test ast_utils_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ast_parser_utils_test ast_parser_utils_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ast_transformers_test ast_transformers_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ast_utils_test ast_utils_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ast_parser_utils_test ast_parser_utils_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o constraints_test constraints_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o constraints_test constraints_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o type_system_test type_system_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o type_system_test type_system_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
make[3]: Leaving directory '/souffle/src/ast/tests'
make  check-TESTS
make[3]: Entering directory '/souffle/src/ast/tests'
make[4]: Entering directory '/souffle/src/ast/tests'
PASS: ast_print_test
PASS: ast_program_test
PASS: ast_utils_test
PASS: ast_transformers_test
PASS: ast_parser_utils_test
PASS: constraints_test
PASS: type_system_test
============================================================================
Testsuite summary for souffle 2.0.2-82-ge47a12f4c
============================================================================
# TOTAL: 7
# PASS:  7
# SKIP:  0
# XFAIL: 0
# FAIL:  0
# XPASS: 0
# ERROR: 0
============================================================================
make[4]: Leaving directory '/souffle/src/ast/tests'
make[3]: Leaving directory '/souffle/src/ast/tests'
make[2]: Leaving directory '/souffle/src/ast/tests'
Making check in ram/tests
make[2]: Entering directory '/souffle/src/ram/tests'
make  ram_condition_equal_clone_test ram_statement_equal_clone_test ram_expression_equal_clone_test ram_operation_equal_clone_test ram_relation_equal_clone_test ram_relation_test ram_arithmetic_test ram_type_conversion_test matching_test max_matching_test
make[3]: Entering directory '/souffle/src/ram/tests'
depbase=`echo ram_condition_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -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
depbase=`echo ram_statement_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -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
depbase=`echo ram_expression_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -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
depbase=`echo ram_operation_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -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
depbase=`echo ram_relation_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -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
depbase=`echo ram_relation_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -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
depbase=`echo ram_arithmetic_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -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
In file included from ram_relation_test.cpp:21:
In file included from ../../../src/interpreter/InterpreterEngine.h:21:
In file included from ../../../src/interpreter/InterpreterGenerator.h:23:
../../../src/interpreter/InterpreterNode.h:41:1: warning: class 'InterpreterRelationWrapper' was previously declared as a struct; this is valid, but may result in linker errors under the Microsoft C++ ABI [-Wmismatched-tags]
class InterpreterRelationWrapper;
^
../../../src/interpreter/InterpreterRelation.h:40:8: note: previous use is here
struct InterpreterRelationWrapper {
       ^
../../../src/interpreter/InterpreterNode.h:41:1: note: did you mean struct here?
class InterpreterRelationWrapper;
^~~~~
struct
In file included from ram_arithmetic_test.cpp:21:
In file included from ../../../src/interpreter/InterpreterEngine.h:21:
In file included from ../../../src/interpreter/InterpreterGenerator.h:23:
../../../src/interpreter/InterpreterNode.h:41:1: warning: class 'InterpreterRelationWrapper' was previously declared as a struct; this is valid, but may result in linker errors under the Microsoft C++ ABI [-Wmismatched-tags]
class InterpreterRelationWrapper;
^
../../../src/interpreter/InterpreterRelation.h:40:8: note: previous use is here
struct InterpreterRelationWrapper {
       ^
../../../src/interpreter/InterpreterNode.h:41:1: note: did you mean struct here?
class InterpreterRelationWrapper;
^~~~~
struct
depbase=`echo ram_type_conversion_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -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
depbase=`echo matching_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -MT matching_test.o -MD -MP -MF $depbase.Tpo -c -o matching_test.o matching_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo max_matching_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -MT max_matching_test.o -MD -MP -MF $depbase.Tpo -c -o max_matching_test.o max_matching_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ram_condition_equal_clone_test ram_condition_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ram_condition_equal_clone_test ram_condition_equal_clone_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ram_statement_equal_clone_test ram_statement_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ram_statement_equal_clone_test ram_statement_equal_clone_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ram_expression_equal_clone_test ram_expression_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ram_expression_equal_clone_test ram_expression_equal_clone_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ram_operation_equal_clone_test ram_operation_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ram_relation_equal_clone_test ram_relation_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ram_operation_equal_clone_test ram_operation_equal_clone_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ram_relation_equal_clone_test ram_relation_equal_clone_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ram_type_conversion_test ram_type_conversion_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o matching_test matching_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ram_type_conversion_test ram_type_conversion_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o matching_test matching_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o max_matching_test max_matching_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o max_matching_test max_matching_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
1 warning generated.
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ram_arithmetic_test ram_arithmetic_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ram_arithmetic_test ram_arithmetic_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
1 warning generated.
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ram_relation_test ram_relation_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ram_relation_test ram_relation_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
make[3]: Leaving directory '/souffle/src/ram/tests'
make  check-TESTS
make[3]: Entering directory '/souffle/src/ram/tests'
make[4]: Entering directory '/souffle/src/ram/tests'
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_type_conversion_test
PASS: ram_relation_test
PASS: matching_test
PASS: max_matching_test
PASS: ram_arithmetic_test
============================================================================
Testsuite summary for souffle 2.0.2-82-ge47a12f4c
============================================================================
# TOTAL: 10
# PASS:  10
# SKIP:  0
# XFAIL: 0
# FAIL:  0
# XPASS: 0
# ERROR: 0
============================================================================
make[4]: Leaving directory '/souffle/src/ram/tests'
make[3]: Leaving directory '/souffle/src/ram/tests'
make[2]: Leaving directory '/souffle/src/ram/tests'
Making check in interpreter/tests
make[2]: Entering directory '/souffle/src/interpreter/tests'
make  interpreter_relation_test
make[3]: Entering directory '/souffle/src/interpreter/tests'
depbase=`echo interpreter_relation_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include -MT interpreter_relation_test.o -MD -MP -MF $depbase.Tpo -c -o interpreter_relation_test.o interpreter_relation_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
In file included from interpreter_relation_test.cpp:19:
In file included from ../../../src/interpreter/InterpreterProgInterface.h:19:
In file included from ../../../src/interpreter/InterpreterEngine.h:21:
In file included from ../../../src/interpreter/InterpreterGenerator.h:23:
../../../src/interpreter/InterpreterNode.h:41:1: warning: class 'InterpreterRelationWrapper' was previously declared as a struct; this is valid, but may result in linker errors under the Microsoft C++ ABI [-Wmismatched-tags]
class InterpreterRelationWrapper;
^
../../../src/interpreter/InterpreterRelation.h:40:8: note: previous use is here
struct InterpreterRelationWrapper {
       ^
../../../src/interpreter/InterpreterNode.h:41:1: note: did you mean struct here?
class InterpreterRelationWrapper;
^~~~~
struct
1 warning generated.
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o interpreter_relation_test interpreter_relation_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o interpreter_relation_test interpreter_relation_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
make[3]: Leaving directory '/souffle/src/interpreter/tests'
make  check-TESTS
make[3]: Entering directory '/souffle/src/interpreter/tests'
make[4]: Entering directory '/souffle/src/interpreter/tests'
PASS: interpreter_relation_test
============================================================================
Testsuite summary for souffle 2.0.2-82-ge47a12f4c
============================================================================
# TOTAL: 1
# PASS:  1
# SKIP:  0
# XFAIL: 0
# FAIL:  0
# XPASS: 0
# ERROR: 0
============================================================================
make[4]: Leaving directory '/souffle/src/interpreter/tests'
make[3]: Leaving directory '/souffle/src/interpreter/tests'
make[2]: Leaving directory '/souffle/src/interpreter/tests'
make[1]: Leaving directory '/souffle/src'
Making check in tests
make[1]: Entering directory '/souffle/tests'
Making check in interface/functors
make[2]: Entering directory '/souffle/tests/interface/functors'
make  libfunctors.la
make[3]: Entering directory '/souffle/tests/interface/functors'
/bin/bash ../../../libtool  --tag=CXX   --mode=compile clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src  -I../../../src/include   -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -MT libfunctors_la-functors.lo -MD -MP -MF .deps/libfunctors_la-functors.Tpo -c -o libfunctors_la-functors.lo `test -f 'functors.cpp' || echo './'`functors.cpp
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -I../../../src/include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT libfunctors_la-functors.lo -MD -MP -MF .deps/libfunctors_la-functors.Tpo -c functors.cpp  -fPIC -DPIC -o .libs/libfunctors_la-functors.o
libtool: compile:  clang++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -I../../../src/include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT libfunctors_la-functors.lo -MD -MP -MF .deps/libfunctors_la-functors.Tpo -c functors.cpp -o libfunctors_la-functors.o >/dev/null 2>&1
mv -f .deps/libfunctors_la-functors.Tpo .deps/libfunctors_la-functors.Plo
/bin/bash ../../../libtool  --tag=CXX   --mode=link clang++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -avoid-version -shared -rpath /tmp  -o libfunctors.la  libfunctors_la-functors.lo  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: clang++  -fPIC -DPIC -shared -nostdlib /usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../x86_64-linux-gnu/crti.o /usr/bin/../lib/gcc/x86_64-linux-gnu/10/crtbeginS.o  .libs/libfunctors_la-functors.o   -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -L/usr/bin/../lib/gcc/x86_64-linux-gnu/10 -L/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../x86_64-linux-gnu -L/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../../lib64 -L/lib/x86_64-linux-gnu -L/lib/../lib64 -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib64 -L/usr/lib/x86_64-linux-gnu/../../lib64 -L/usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../.. -L/usr/lib/llvm-10/bin/../lib -L/lib -L/usr/lib -lstdc++ -lm -lc -lgcc_s -lgcc /usr/bin/../lib/gcc/x86_64-linux-gnu/10/crtendS.o /usr/bin/../lib/gcc/x86_64-linux-gnu/10/../../../x86_64-linux-gnu/crtn.o  -O3 -fopenmp   -fopenmp -Wl,-soname -Wl,libfunctors.so -o .libs/libfunctors.so
libtool: link: ( cd ".libs" && rm -f "libfunctors.la" && ln -s "../libfunctors.la" "libfunctors.la" )
make[3]: Leaving directory '/souffle/tests/interface/functors'
make[2]: Leaving directory '/souffle/tests/interface/functors'
make[2]: Entering directory '/souffle/tests'
make  check-local
make[3]: Entering directory '/souffle/tests'
/bin/bash /souffle/auxfiles/missing autom4te --language=autotest -I '.' -o testsuite.tmp testsuite.at
mv testsuite.tmp testsuite
test -e /souffle/include || ln -s /souffle/src/include /souffle/include
/bin/bash './testsuite' -j4
## ------------------------------------------------ ##
## souffle 2.0.2-82-ge47a12f4c test suite: Souffle. ##
## ------------------------------------------------ ##

  3: comment -j8                                     ok
  1: binary -j8                                      ok
  5: comment2 -j8                                    ok
  7: comment_rule -j8                                ok
  2: binary   -c -j8                                 ok
  4: comment   -c -j8                                ok
  9: cpp_keywords -j8                                ok
 11: duplicates -j8                                  ok
  8: comment_rule   -c -j8                            ok
 13: empty -j8                                       ok
  6: comment2   -c -j8                               ok
 15: execution_plan -j8                              ok
 16: execution_plan   -c -j8                            ok
 17: input -j8                                       ok
 14: empty   -c -j8                                  ok
 18: input   -c -j8                                  ok
 19: input_directive3 -j8                            ok
 21: input_directive4 -j8                            ok
 10: cpp_keywords   -c -j8                            ok
 23: input_directive_quotes2 -j8                     ok
 12: duplicates   -c -j8                             ok
 25: input_directive_quotes4 -j8                     ok
 20: input_directive3   -c -j8                            ok
 27: input_directive_quotes -j8                      ok
 22: input_directive4   -c -j8                            ok
 29: liberal_identifiers -j8                         ok
 24: input_directive_quotes2   -c -j8                            ok
 31: multiple_heads -j8                              ok
 26: input_directive_quotes4   -c -j8                            ok
 33: name_clash -j8                                  ok
 32: multiple_heads   -c -j8                            ok
 35: output -j8                                      ok
 36: output   -c -j8                                 ok
 37: output_directive1 -j8                           ok
 28: input_directive_quotes   -c -j8                            ok
 39: output_directive_quotes2 -j8                    ok
 30: liberal_identifiers   -c -j8                            ok
 41: output_directive_quotes3 -j8                    ok
 34: name_clash   -c -j8                             ok
 43: printsize -j8                                   ok
 44: printsize   -c -j8                              ok
 45: printsize_directive2 -j8                        ok
 46: printsize_directive2   -c -j8                            ok
 47: printsize_directive -j8                         ok
 48: printsize_directive   -c -j8                            ok
 49: qualifiers -j8                                  ok
 50: qualifiers   -c -j8                             ok
 51: qualifiers2 -j8                                 ok
 52: qualifiers2   -c -j8                            ok
 53: qualifiers3 -j8                                 ok
 40: output_directive_quotes2   -c -j8                            ok
 38: output_directive1   -c -j8                            ok
 55: relation -j8                                    ok
 57: rule -j8                                        ok
 58: rule   -c -j8                                   ok
 59: string -j8                                      ok
 42: output_directive_quotes3   -c -j8                            ok
 61: syntax1 -j8                                     ok
 62: syntax1   -c -j8                                ok
 63: syntax2 -j8                                     ok
 64: syntax2   -c -j8                                ok
 65: syntax3 -j8                                     ok
 66: syntax3   -c -j8                                ok
 67: syntax4 -j8                                     ok
 68: syntax4   -c -j8                                ok
 69: syntax5 -j8                                     ok
 70: syntax5   -c -j8                                ok
 71: syntax6 -j8                                     ok
 72: syntax6   -c -j8                                ok
 73: syntax7 -j8                                     ok
 74: syntax7   -c -j8                                ok
 75: syntax8 -j8                                     ok
 76: syntax8   -c -j8                                ok
 77: syntax9 -j8                                     ok
 78: syntax9   -c -j8                                ok
 79: syntax10 -j8                                    ok
 80: syntax10   -c -j8                               ok
 81: type -j8                                        ok
 82: type   -c -j8                                   ok
 83: union_comp_type -j8                             ok
 54: qualifiers3   -c -j8                            ok
 85: adt_invalid_arity -j8                           ok
 86: adt_invalid_arity   -c -j8                            ok
 87: agg_checks -j8                                  ok
 88: agg_checks   -c -j8                             ok
 89: agg_checks2 -j8                                 ok
 90: agg_checks2   -c -j8                            ok
 91: agg_checks3 -j8                                 ok
 60: string   -c -j8                                 ok
 93: aggregate1 -j8                                  ok
 56: relation   -c -j8                               ok
 95: aggregate2 -j8                                  ok
 84: union_comp_type   -c -j8                            ok
 97: aggregate3 -j8                                  ok
 92: agg_checks3   -c -j8                            ok
 99: agg_nested -j8                                  ok
 94: aggregate1   -c -j8                             ok
101: alias -j8                                       ok
 96: aggregate2   -c -j8                             ok
103: attrib_dupl -j8                                 ok
104: attrib_dupl   -c -j8                            ok
105: bin1 -j8                                        ok
 98: aggregate3   -c -j8                             ok
107: bin -j8                                         ok
100: agg_nested   -c -j8                             ok
109: binhex -j8                                      ok
102: alias   -c -j8                                  ok
111: bitwise -j8                                     ok
106: bin1   -c -j8                                   ok
113: bool -j8                                        ok
108: bin   -c -j8                                    ok
115: choice -j8                                      ok
116: choice   -c -j8                                 ok
117: comp_clauses -j8                                ok
118: comp_clauses   -c -j8                            ok
119: comp_infinite_recursion -j8                     ok
120: comp_infinite_recursion   -c -j8                            ok
121: comp_inner_types -j8                            ok
110: binhex   -c -j8                                 ok
123: comp_name_resolution -j8                        ok
124: comp_name_resolution   -c -j8                            ok
125: comp_nonexistent_type -j8                       ok
126: comp_nonexistent_type   -c -j8                            ok
127: comp_override -j8                               ok
128: comp_override   -c -j8                            ok
129: comp_params_inheritance -j8                     ok
130: comp_params_inheritance   -c -j8                            ok
131: comp_relation -j8                               ok
132: comp_relation   -c -j8                            ok
133: comp_types -j8                                  ok
134: comp_types   -c -j8                             ok
135: comp_opt -j8                                    ok
114: bool   -c -j8                                   ok
112: bitwise   -c -j8                                ok
137: counter2 -j8                                    ok
138: counter2   -c -j8                               ok
139: counter -j8                                     ok
141: disjoint_names -j8                              ok
142: disjoint_names   -c -j8                            ok
143: duplicates -j8                                  ok
122: comp_inner_types   -c -j8                            ok
145: eqrel_tests -j8                                 ok
136: comp_opt   -c -j8                               ok
147: eqrel_tests2 -j8                                ok
140: counter   -c -j8                                ok
149: eqrel_tests3 -j8                                ok
144: duplicates   -c -j8                             ok
151: equivalent -j8                                  ok
146: eqrel_tests   -c -j8                            ok
153: execution_plan -j8                              ok
154: execution_plan   -c -j8                            ok
148: eqrel_tests2   -c -j8                            ok
155: extended_subtypes -j8                           ok
157: extended_subtypes2 -j8                          ok
158: extended_subtypes2   -c -j8                            ok
159: extended_subtypes3 -j8                          ok
160: extended_subtypes3   -c -j8                            ok
161: fact_arity -j8                                  ok
162: fact_arity   -c -j8                             ok
163: fact_cat -j8                                    ok
164: fact_cat   -c -j8                               ok
165: fact_ctr -j8                                    ok
166: fact_ctr   -c -j8                               ok
167: fact_empty -j8                                  ok
168: fact_empty   -c -j8                             ok
169: fact_number2 -j8                                ok
170: fact_number2   -c -j8                            ok
171: fact_number -j8                                 ok
172: fact_number   -c -j8                            ok
173: fact_plus -j8                                   ok
174: fact_plus   -c -j8                              ok
175: fact_variable -j8                               ok
176: fact_variable   -c -j8                            ok
177: func_in_rec -j8                                 ok
150: eqrel_tests3   -c -j8                            ok
179: hex1 -j8                                        ok
152: equivalent   -c -j8                             ok
181: hex -j8                                         ok
156: extended_subtypes   -c -j8                            ok
183: inline_cycle1 -j8                               ok
184: inline_cycle1   -c -j8                            ok
185: inline_cycle2 -j8                               ok
180: hex1   -c -j8                                   ok
187: inline_ungrounded -j8                           ok
188: inline_ungrounded   -c -j8                            ok
178: func_in_rec   -c -j8                            ok
189: inline_negation -j8                             ok
190: inline_negation   -c -j8                            ok
191: inline_output -j8                               ok
192: inline_output   -c -j8                            ok
193: ipv4 -j8                                        ok
195: ipv4_1 -j8                                      ok
182: hex   -c -j8                                    ok
197: json -j8                                        ok
186: inline_cycle2   -c -j8                            ok
199: jsonfile -j8                                    ok
194: ipv4   -c -j8                                   ok
196: ipv4_1   -c -j8                                 ok
201: limitsize -j8                                   ok
203: load2 -j8                                       ok
198: json   -c -j8                                   ok
205: load3 -j8                                       ok
200: jsonfile   -c -j8                               ok
207: load4 -j8                                       ok
204: load2   -c -j8                                  ok
209: load6 -j8                                       ok
202: limitsize   -c -j8                              ok
211: load7 -j8                                       ok
206: load3   -c -j8                                  ok
213: load8 -j8                                       ok
208: load4   -c -j8                                  ok
215: load9 -j8                                       ok
210: load6   -c -j8                                  ok
217: load10 -j8                                      ok
212: load7   -c -j8                                  ok
219: load_adt -j8                                    ok
214: load8   -c -j8                                  ok
221: load_adt2 -j8                                   ok
216: load9   -c -j8                                  ok
223: load_adt3 -j8                                   ok
220: load_adt   -c -j8                               ok
225: load_record_delimiter -j8                       ok
218: load10   -c -j8                                 ok
227: load_record_large -j8                           ok
222: load_adt2   -c -j8                              ok
229: load_record_large2 -j8                          ok
226: load_record_delimiter   -c -j8                            ok
231: load_record_invalid_parenthesis -j8             ok
224: load_adt3   -c -j8                              ok
233: load_simple_record -j8                          ok
228: load_record_large   -c -j8                            ok
235: load_simple_record2 -j8                         ok
230: load_record_large2   -c -j8                            ok
237: load_symbol_in_record -j8                       ok
232: load_record_invalid_parenthesis   -c -j8                            ok
239: logical -j8                                     ok
234: load_simple_record   -c -j8                            ok
241: lrg_attr_id -j8                                 ok
236: load_simple_record2   -c -j8                            ok
243: lrg_rel_id1 -j8                                 ok
238: load_symbol_in_record   -c -j8                            ok
245: lrg_rel_id2 -j8                                 ok
242: lrg_attr_id   -c -j8                            ok
247: negative_numbers -j8                            ok
240: logical   -c -j8                                ok
249: not_copy1 -j8                                   ok
244: lrg_rel_id1   -c -j8                            ok
251: not_copy2 -j8                                   ok
246: lrg_rel_id2   -c -j8                            ok
253: not_copy -j8                                    ok
248: negative_numbers   -c -j8                            ok
255: plan1 -j8                                       ok
256: plan1   -c -j8                                  ok
257: plan2 -j8                                       ok
250: not_copy1   -c -j8                              ok
258: plan2   -c -j8                                  ok
259: plan3 -j8                                       ok
261: progmin1 -j8                                    ok
252: not_copy2   -c -j8                              ok
263: progmin2 -j8                                    ok
254: not_copy   -c -j8                               ok
265: range -j8                                       ok
260: plan3   -c -j8                                  ok
267: record_null -j8                                 ok
268: record_null   -c -j8                            ok
269: records0 -j8                                    ok
262: progmin1   -c -j8                               ok
271: records1 -j8                                    ok
264: progmin2   -c -j8                               ok
273: records2 -j8                                    ok
266: range   -c -j8                                  ok
275: records3 -j8                                    ok
270: records0   -c -j8                               ok
277: records4 -j8                                    ok
272: records1   -c -j8                               ok
279: records5 -j8                                    ok
274: records2   -c -j8                               ok
281: records6 -j8                                    ok
276: records3   -c -j8                               ok
283: records7 -j8                                    ok
278: records4   -c -j8                               ok
285: records8 -j8                                    ok
280: records5   -c -j8                               ok
287: records9 -j8                                    ok
282: records6   -c -j8                               ok
289: recursive_unions -j8                            ok
290: recursive_unions   -c -j8                            ok
291: recursive_unions2 -j8                           ok
292: recursive_unions2   -c -j8                            ok
293: rel_copy_cycles -j8                             ok
284: records7   -c -j8                               ok
295: rel_dupl -j8                                    ok
296: rel_dupl   -c -j8                               ok
297: rel_list -j8                                    ok
286: records8   -c -j8                               ok
299: rel_nullary -j8                                 ok
288: records9   -c -j8                               ok
301: rel_stratification2 -j8                         ok
302: rel_stratification2   -c -j8                            ok
303: rel_stratification -j8                          ok
304: rel_stratification   -c -j8                            ok
305: rel_udef -j8                                    ok
306: rel_udef   -c -j8                               ok
307: rqualifiers -j8                                 ok
294: rel_copy_cycles   -c -j8                            ok
309: rule_arity -j8                                  ok
310: rule_arity   -c -j8                             ok
311: rule_grounded -j8                               ok
312: rule_grounded   -c -j8                            ok
313: rule_typecompat -j8                             ok
314: rule_typecompat   -c -j8                            ok
315: rule_undeclared_relation2 -j8                   ok
316: rule_undeclared_relation2   -c -j8                            ok
317: rule_undeclared_relation -j8                    ok
318: rule_undeclared_relation   -c -j8                            ok
319: store -j8                                       ok
298: rel_list   -c -j8                               ok
321: store2 -j8                                      ok
308: rqualifiers   -c -j8                            ok
320: store   -c -j8                                  ok
323: store3 -j8                                      ok
300: rel_nullary   -c -j8                            ok
325: store4 -j8                                      ok
327: store5 -j8                                      ok
322: store2   -c -j8                                 ok
329: store_adt -j8                                   ok
328: store5   -c -j8                                 ok
331: store_adt2 -j8                                  ok
326: store4   -c -j8                                 ok
333: store_adt3 -j8                                  ok
324: store3   -c -j8                                 ok
335: store_record_multilevel -j8                     ok
330: store_adt   -c -j8                              ok
337: store_record_large -j8                          ok
332: store_adt2   -c -j8                             ok
339: store_record_one_level -j8                      ok
334: store_adt3   -c -j8                             ok
341: strconv -j8                                     ok
336: store_record_multilevel   -c -j8                            ok
343: string_len -j8                                  ok
338: store_record_large   -c -j8                            ok
345: string_minmax -j8                               ok
340: store_record_one_level   -c -j8                            ok
347: string_substr1 -j8                              ok
342: strconv   -c -j8                                ok
349: string_substr -j8                               ok
344: string_len   -c -j8                             ok
351: suppress_warnings -j8                           ok
346: string_minmax   -c -j8                            ok
353: type_as -j8                                     ok
350: string_substr   -c -j8                            ok
355: type_as2 -j8                                    ok
356: type_as2   -c -j8                               ok
357: type_as3 -j8                                    ok
358: type_as3   -c -j8                               ok
359: type_dupl -j8                                   ok
360: type_dupl   -c -j8                              ok
348: string_substr1   -c -j8                            ok
361: type_system1 -j8                                ok
362: type_system1   -c -j8                            ok
352: suppress_warnings   -c -j8                            ok
363: type_system2 -j8                                ok
364: type_system2   -c -j8                            ok
365: type_system3 -j8                                ok
366: type_system3   -c -j8                            ok
367: type_system4 -j8                                ok
369: type_system5 -j8                                ok
371: type_system6 -j8                                ok
372: type_system6   -c -j8                            ok
373: type_system7 -j8                                ok
374: type_system7   -c -j8                            ok
375: type_system8 -j8                                ok
354: type_as   -c -j8                                ok
377: type_system9 -j8                                ok
368: type_system4   -c -j8                            ok
379: type_system10 -j8                               ok
376: type_system8   -c -j8                            ok
381: type_system11 -j8                               ok
382: type_system11   -c -j8                            ok
383: type_system12 -j8                               ok
384: type_system12   -c -j8                            ok
385: type_system13 -j8                               ok
386: type_system13   -c -j8                            ok
387: type_system14 -j8                               ok
388: type_system14   -c -j8                            ok
389: type_system_sum_types -j8                       ok
390: type_system_sum_types   -c -j8                            ok
391: type_system_sum_types2 -j8                      ok
392: type_system_sum_types2   -c -j8                            ok
393: type_system_records -j8                         ok
370: type_system5   -c -j8                            ok
395: type_system_records2 -j8                        ok
396: type_system_records2   -c -j8                            ok
397: type_udef -j8                                   ok
398: type_udef   -c -j8                              ok
399: types_components -j8                            ok
378: type_system9   -c -j8                            ok
401: underscore2 -j8                                 ok
380: type_system10   -c -j8                            ok
403: underscore3 -j8                                 ok
400: types_components   -c -j8                            ok
405: underscore4 -j8                                 ok
394: type_system_records   -c -j8                            ok
407: underscore -j8                                  ok
408: underscore   -c -j8                             ok
409: union_types -j8                                 ok
410: union_types   -c -j8                            ok
411: var_single -j8                                  ok
412: var_single   -c -j8                             ok
413: witness_check -j8                               ok
414: witness_check   -c -j8                            ok
415: access1 -j8                                     ok
402: underscore2   -c -j8                            ok
417: access2 -j8                                     ok
404: underscore3   -c -j8                            ok
419: access3 -j8                                     ok
406: underscore4   -c -j8                            ok
421: adt-binary-constraint -j8                       ok
416: access1   -c -j8                                ok
423: aggregates -j8                                  ok
418: access2   -c -j8                                ok
425: aggregates2 -j8                                 ok
422: adt-binary-constraint   -c -j8                            ok
427: aggregates3 -j8                                 ok
420: access3   -c -j8                                ok
429: aggregates4 -j8                                 ok
424: aggregates   -c -j8                             ok
431: aggregates5 -j8                                 ok
426: aggregates2   -c -j8                            ok
433: aggregates6 -j8                                 ok
428: aggregates3   -c -j8                            ok
435: aggregates_complex -j8                          ok
430: aggregates4   -c -j8                            ok
437: aggregates_nested -j8                           ok
432: aggregates5   -c -j8                            ok
439: aggregates_non_materialised -j8                 ok
434: aggregates6   -c -j8                            ok
441: aggregates7 -j8                                 ok
436: aggregates_complex   -c -j8                            ok
443: aliases -j8                                     ok
440: aggregates_non_materialised   -c -j8                            ok
445: arithm -j8                                      ok
438: aggregates_nested   -c -j8                            ok
447: average -j8                                     ok
444: aliases   -c -j8                                ok
449: binop -j8                                       ok
442: aggregates7   -c -j8                            ok
451: cat -j8                                         ok
446: arithm   -c -j8                                 ok
453: comp-override1 -j8                              ok
448: average   -c -j8                                ok
455: comp-override2 -j8                              ok
450: binop   -c -j8                                  ok
457: comp-override3 -j8                              ok
452: cat   -c -j8                                    ok
459: components1 -j8                                 ok
454: comp-override1   -c -j8                            ok
461: components2 -j8                                 ok
456: comp-override2   -c -j8                            ok
463: components3 -j8                                 ok
460: components1   -c -j8                            ok
458: comp-override3   -c -j8                            ok
465: components -j8                                  ok
467: components_generic -j8                          ok
462: components2   -c -j8                            ok
469: contains -j8                                    ok
464: components3   -c -j8                            ok
471: count -j8                                       ok
468: components_generic   -c -j8                            ok
473: count_sccs1 -j8                                 ok
466: components   -c -j8                             ok
475: counter -j8                                     ok
470: contains   -c -j8                               ok
477: cprog1 -j8                                      ok
472: count   -c -j8                                  ok
479: cprog2 -j8                                      ok
474: count_sccs1   -c -j8                            ok
476: counter   -c -j8                                ok
481: cprog3 -j8                                      ok
483: cprog4 -j8                                      ok
478: cprog1   -c -j8                                 ok
485: cprog5 -j8                                      ok
480: cprog2   -c -j8                                 ok
487: cproject -j8                                    ok
482: cprog3   -c -j8                                 ok
489: empty_relations -j8                             ok
484: cprog4   -c -j8                                 ok
491: existential -j8                                 ok
486: cprog5   -c -j8                                 ok
493: facts -j8                                       ok
488: cproject   -c -j8                               ok
495: facts2 -j8                                      ok
490: empty_relations   -c -j8                            ok
497: float_operations -j8                            ok
494: facts   -c -j8                                  ok
499: functor_arity -j8                               ok
492: existential   -c -j8                            ok
501: grammar -j8                                     ok
496: facts2   -c -j8                                 ok
503: hex -j8                                         ok
498: float_operations   -c -j8                            ok
505: independent_body1 -j8                           ok
500: functor_arity   -c -j8                            ok
507: independent_body2 -j8                           ok
502: grammar   -c -j8                                ok
509: index -j8                                       ok
504: hex   -c -j8                                    ok
511: indexed_inequalities -j8                        ok
506: independent_body1   -c -j8                            ok
513: indirect_negation -j8                           ok
508: independent_body2   -c -j8                            ok
510: index   -c -j8                                  ok
515: inline_functors -j8                             ok
517: inline_negation1 -j8                            ok
512: indexed_inequalities   -c -j8                            ok
519: inline_negation2 -j8                            ok
514: indirect_negation   -c -j8                            ok
518: inline_negation1   -c -j8                            ok
516: inline_functors   -c -j8                            ok
523: inline_records -j8                              ok
520: inline_negation2   -c -j8                            ok
525: inline_underscore -j8                           ok
524: inline_records   -c -j8                            ok
527: inline_unification -j8                          ok
526: inline_underscore   -c -j8                            ok
529: list -j8                                        ok
528: inline_unification   -c -j8                            ok
531: magic_2sat -j8                                  ok
521: inline_nqueens -j8                              ok
533: magic_aggregates -j8                            ok
530: list   -c -j8                                   ok
535: magic_bindings -j8                              ok
522: inline_nqueens   -c -j8                            ok
537: magic_centroids -j8                             ok
536: magic_bindings   -c -j8                            ok
539: magic_circuit_sat -j8                           ok
534: magic_aggregates   -c -j8                            ok
541: magic_components -j8                            ok
532: magic_2sat   -c -j8                             ok
543: magic_cprog1 -j8                                ok
538: magic_centroids   -c -j8                            ok
545: magic_dfa -j8                                   ok
542: magic_components   -c -j8                            ok
547: magic_dominance -j8                             ok
544: magic_cprog1   -c -j8                            ok
549: magic_factoring -j8                             ok
540: magic_circuit_sat   -c -j8                            ok
551: magic_goal -j8                                  ok
546: magic_dfa   -c -j8                              ok
553: magic_infbinding -j8                            ok
550: magic_factoring   -c -j8                            ok
555: magic_lrg_attr_id -j8                           ok
552: magic_goal   -c -j8                             ok
557: magic_movies -j8                                ok
548: magic_dominance   -c -j8                            ok
559: magic_names1 -j8                                ok
554: magic_infbinding   -c -j8                            ok
561: magic_neglabel -j8                              ok
556: magic_lrg_attr_id   -c -j8                            ok
563: magic_nqueens -j8                               ok
560: magic_names1   -c -j8                            ok
565: magic_perfect_numbers -j8                       ok
558: magic_movies   -c -j8                            ok
567: magic_poslabel -j8                              ok
562: magic_neglabel   -c -j8                            ok
569: magic_records4 -j8                              ok
564: magic_nqueens   -c -j8                            ok
571: magic_samegen -j8                               ok
566: magic_perfect_numbers   -c -j8                            ok
573: magic_strategies -j8                            ok
570: magic_records4   -c -j8                            ok
575: magic_string_substr -j8                         ok
568: magic_poslabel   -c -j8                            ok
577: magic_turing1 -j8                               ok
576: magic_string_substr   -c -j8                            ok
579: match2 -j8                                      ok
572: magic_samegen   -c -j8                            ok
581: match3 -j8                                      ok
574: magic_strategies   -c -j8                            ok
583: match -j8                                       ok
578: magic_turing1   -c -j8                            ok
585: max -j8                                         ok
580: match2   -c -j8                                 ok
587: minmax -j8                                      ok
582: match3   -c -j8                                 ok
589: minmaxnum -j8                                   ok
584: match   -c -j8                                  ok
591: mrtc -j8                                        ok
586: max   -c -j8                                    ok
593: mul -j8                                         ok
590: minmaxnum   -c -j8                              ok
595: multiple_heads -j8                              ok
588: minmax   -c -j8                                 ok
597: mutrecursion -j8                                ok
592: mrtc   -c -j8                                   ok
599: neg1 -j8                                        ok
594: mul   -c -j8                                    ok
601: neg2 -j8                                        ok
596: multiple_heads   -c -j8                            ok
603: neg3 -j8                                        ok
598: mutrecursion   -c -j8                            ok
605: neg4 -j8                                        ok
600: neg1   -c -j8                                   ok
607: neg5 -j8                                        ok
602: neg2   -c -j8                                   ok
609: neg6 -j8                                        ok
604: neg3   -c -j8                                   ok
611: number_constants -j8                            ok
606: neg4   -c -j8                                   ok
613: numeric_binary_constraint_op -j8                ok
608: neg5   -c -j8                                   ok
615: numeric_conversions -j8                         ok
610: neg6   -c -j8                                   ok
617: ordinals -j8                                    ok
612: number_constants   -c -j8                            ok
619: plus -j8                                        ok
614: numeric_binary_constraint_op   -c -j8                            ok
621: range -j8                                       ok
616: numeric_conversions   -c -j8                            ok
623: rec_lists2 -j8                                  ok
618: ordinals   -c -j8                               ok
625: rec_lists -j8                                   ok
620: plus   -c -j8                                   ok
627: rec_underscore -j8                              ok
622: range   -c -j8                                  ok
629: recursion -j8                                   ok
624: rec_lists2   -c -j8                             ok
631: relop -j8                                       ok
626: rec_lists   -c -j8                              ok
633: rmut2 -j8                                       ok
628: rec_underscore   -c -j8                            ok
635: rmut -j8                                        ok
630: recursion   -c -j8                              ok
637: set_ops -j8                                     ok
632: relop   -c -j8                                  ok
639: set_ops_output -j8                              ok
634: rmut2   -c -j8                                  ok
641: simple -j8                                      ok
636: rmut   -c -j8                                   ok
643: singleton -j8                                   ok
638: set_ops   -c -j8                                ok
645: subsumption -j8                                 ok
640: set_ops_output   -c -j8                            ok
647: subtype2 -j8                                    ok
642: simple   -c -j8                                 ok
649: subtype -j8                                     ok
644: singleton   -c -j8                              ok
651: sum-aggregate -j8                               ok
648: subtype2   -c -j8                               ok
650: subtype   -c -j8                                ok
653: sum-aggregate2 -j8                              ok
655: term -j8                                        ok
646: subsumption   -c -j8                            ok
657: unpacking -j8                                   ok
652: sum-aggregate   -c -j8                            ok
659: unsigned_operations -j8                         ok
654: sum-aggregate2   -c -j8                            ok
661: unused_constraints -j8                          ok
658: unpacking   -c -j8                              ok
663: x9 -j8                                          ok
656: term   -c -j8                                   ok
660: unsigned_operations   -c -j8                            ok
662: unused_constraints   -c -j8                            ok
664: x9   -c -j8                                     ok
665: insert_print                                    ok
666: insert_for                                      ok
670: functors -j8                                    ok
669: signal_error                                    ok
672: lrg_attr_id -j8 souffle-profile -c "rel"        ok
673: lrg_attr_id -j8 souffle-profile -c "rel R2"     ok
674: lrg_attr_id -j8 souffle-profile -c "rul"        ok
675: lrg_attr_id -j8 souffle-profile -c "rul C2.1"   ok
676: lrg_attr_id -j8 souffle-profile -c "rul id N2.1" ok
677: lrg_attr_id -j8 souffle-profile -c "graph R2 copy_t" ok
678: lrg_attr_id -j8 souffle-profile -c "graph C2.1 tot_t" ok
679: lrg_attr_id -j8 souffle-profile -c "graph ver C2.1 tuples" ok
668: load_print                                      ok
680: lrg_attr_id -j8 souffle-profile -c "top"        ok
681: lrg_attr_id -j8 souffle-profile -c "help"       ok
667: repeat_analysis                                 ok
671: functors   -c -j8                               ok
683: lrg_attr_id   -c -j8                            souffle-profile -c "rel R2" ok
682: lrg_attr_id   -c -j8                            souffle-profile -c "rel" ok
684: lrg_attr_id   -c -j8                            souffle-profile -c "rul" ok
685: lrg_attr_id   -c -j8                            souffle-profile -c "rul C2.1" ok
686: lrg_attr_id   -c -j8                            souffle-profile -c "rul id N2.1" ok
687: lrg_attr_id   -c -j8                            souffle-profile -c "graph R2 copy_t" ok
688: lrg_attr_id   -c -j8                            souffle-profile -c "graph C2.1 tot_t" ok
692: recursive -j8 souffle-profile -c "rel"          ok
693: recursive -j8 souffle-profile -c "rel R2"       ok
694: recursive -j8 souffle-profile -c "rul"          ok
695: recursive -j8 souffle-profile -c "rul C2.1"     ok
696: recursive -j8 souffle-profile -c "rul id N2.1"  ok
697: recursive -j8 souffle-profile -c "graph R2 copy_t" ok
698: recursive -j8 souffle-profile -c "graph C2.1 tot_t" ok
699: recursive -j8 souffle-profile -c "graph ver C2.1 tuples" ok
700: recursive -j8 souffle-profile -c "top"          ok
701: recursive -j8 souffle-profile -c "help"         ok
689: lrg_attr_id   -c -j8                            souffle-profile -c "graph ver C2.1 tuples" ok
690: lrg_attr_id   -c -j8                            souffle-profile -c "top" ok
691: lrg_attr_id   -c -j8                            souffle-profile -c "help" ok
702: recursive   -c -j8                            souffle-profile -c "rel" ok
703: recursive   -c -j8                            souffle-profile -c "rel R2" ok
704: recursive   -c -j8                            souffle-profile -c "rul" ok
705: recursive   -c -j8                            souffle-profile -c "rul C2.1" ok
706: recursive   -c -j8                            souffle-profile -c "rul id N2.1" ok
707: recursive   -c -j8                            souffle-profile -c "graph R2 copy_t" ok
708: recursive   -c -j8                            souffle-profile -c "graph C2.1 tot_t" ok
712: components -j8                                  ok
709: recursive   -c -j8                            souffle-profile -c "graph ver C2.1 tuples" ok
714: constraints -j8                                 ok
710: recursive   -c -j8                            souffle-profile -c "top" ok
716: cprog1 -j8                                      ok
711: recursive   -c -j8                            souffle-profile -c "help" ok
718: eqrel_tests3 -j8                                ok
713: components -c -j8                               ok
720: explain_float_unsigned -j8                      ok
715: constraints -c -j8                              ok
722: high_arity -j8                                  ok
717: cprog1 -c -j8                                   ok
724: negation -j8                                    ok
719: eqrel_tests3 -c -j8                             ok
726: path -j8                                        ok
723: high_arity -c -j8                               ok
728: path_explain_negation -j8                       ok
721: explain_float_unsigned -c -j8                   ok
730: path_explain_output -j8                         ok
725: negation -c -j8                                 ok
732: same_gen -j8                                    ok
727: path -c -j8                                     ok
734: query_1 -j8                                     ok
729: path_explain_negation -c -j8                    ok
736: query_2 -j8                                     ok
731: path_explain_output -c -j8                      ok
738: query_3 -j8                                     ok
733: same_gen -c -j8                                 ok
740: query_float_unsigned -j8                        ok
735: query_1 -c -j8                                  ok
737: query_2 -c -j8                                  ok
739: query_3 -c -j8                                  ok
741: query_float_unsigned -c -j8                     ok

## ------------- ##
## Test results. ##
## ------------- ##

All 741 tests were successful.
make[3]: Leaving directory '/souffle/tests'
make[2]: Leaving directory '/souffle/tests'
make[1]: Leaving directory '/souffle/tests'
make[1]: Entering directory '/souffle'
make[1]: Nothing to be done for 'check-am'.
make[1]: Leaving directory '/souffle'
[Checks API] No suitable checks publisher found.
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] done
Finished: SUCCESS