[Qa-jenkins-scm] Build failed in Jenkins: reproducible_builder_archlinux_6 #330834
jenkins at jenkins.debian.net
jenkins at jenkins.debian.net
Fri Oct 21 09:05:22 BST 2022
See <https://jenkins.debian.net/job/reproducible_builder_archlinux_6/330834/display/redirect>
Changes:
------------------------------------------
[...truncated 373.49 KB...]
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_queues.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_queues.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_sets.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_sets2.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets2.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_stack.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_stack.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/ptr_vectors.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_vectors.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/refcount_int_arrays.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_int_arrays.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/refcount_strings.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_strings.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/resize_arrays.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/resize_arrays.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/simple_cache.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_cache.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/simple_int_stack.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_int_stack.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/sparse_arrays.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/sparse_arrays.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/stable_sort.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/stable_sort.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/string_buffers.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_buffers.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/string_utils.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_utils.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/symbol_tables.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/symbol_tables.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/tag_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/tag_map.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/tuple_hash_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/tuple_hash_map.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/uint_array_sort.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/uint_array_sort2.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort2.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/uint_rbtrees.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_rbtrees.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/use_vectors.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/use_vectors.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/vector_hash_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/vector_hash_map.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/uint_learner.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_learner.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/tracing.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/tracing.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/solver.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/solver.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/variable_db.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_db.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/variable_queue.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_queue.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/value.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/value.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/model.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/model.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/trail.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/trail.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/conflict.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/conflict.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/gc.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/gc.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/eq/equality_graph.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/equality_graph.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/eq/merge_queue.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/merge_queue.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/int_mset.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_mset.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/int_lset.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_lset.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/value_hash_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_hash_map.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/value_vector.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_vector.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/scope_holder.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/scope_holder.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/statistics.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/statistics.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/utils/substitution.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/substitution.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/uf/uf_plugin.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/uf/uf_plugin.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bool/clause_db.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/clause_db.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bool/cnf.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/cnf.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bool/bcp_watch_manager.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bcp_watch_manager.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bool/bool_plugin.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bool_plugin.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/nra/nra_plugin.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/nra/nra_plugin_internal.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_internal.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/nra/nra_plugin_explain.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_explain.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/nra/libpoly_utils.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/libpoly_utils.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/nra/poly_constraint.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/poly_constraint.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/nra/feasible_set_db.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/feasible_set_db.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/ite/ite_plugin.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/ite/ite_plugin.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/bv_plugin.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_plugin.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/bv_bdd_manager.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_bdd_manager.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/bv_evaluator.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_evaluator.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/bv_explainer.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_explainer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/bv_feasible_set_db.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_feasible_set_db.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/bdd_computation.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bdd_computation.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/arith_utils.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_utils.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/arith_norm.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_norm.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/arith_intervals.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_intervals.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/arith.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/eq_ext_con.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/eq_ext_con.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/full_bv_sat.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_sat.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/bv/explain/full_bv_trivial.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_trivial.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/watch_list_manager.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/watch_list_manager.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/preprocessor.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/preprocessor.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c mcsat/options.c -o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/options.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context_parameters.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/context_parameters.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/context_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/context_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/dump_context.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/dump_context.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c context/internalization_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/context/internalization_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/common/assumptions_and_core.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/assumptions_and_core.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/common/assumption_table.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/assumption_table.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/common/bug_report.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/bug_report.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/common/named_term_stacks.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/named_term_stacks.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/common/parameters.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/parameters.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/common/tables.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/tables.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt1/smt_lexer.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_lexer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt1/smt_parser.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_parser.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt1/smt_term_stack.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_term_stack.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/parenthesized_expr.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/parenthesized_expr.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_commands.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_commands.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_expressions.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_expressions.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_lexer.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_lexer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_model_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_model_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_parser.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_parser.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_symbol_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_symbol_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_term_stack.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_term_stack.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/smt2/smt2_type_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_type_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/arith_solver_codes.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/arith_solver_codes.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/labeled_assertions.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/labeled_assertions.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/yices_help.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_help.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices/yices_reval.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_reval.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/large_bvsets.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/large_bvsets.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/rb_bvsets.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/rb_bvsets.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c model/small_bvsets.c -o ../build/x86_64-pc-linux-gnu-release/obj/model/small_bvsets.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c scratch/booleq_table.c -o ../build/x86_64-pc-linux-gnu-release/obj/scratch/booleq_table.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c scratch/bool_vartable.c -o ../build/x86_64-pc-linux-gnu-release/obj/scratch/bool_vartable.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c scratch/update_graph.c -o ../build/x86_64-pc-linux-gnu-release/obj/scratch/update_graph.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/bv/bvsolver_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvsolver_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/clause_pool.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/clause_pool.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/gates_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/sat_solver.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/sat_solver.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/cdcl/smt_core_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/smt_core_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/egraph/egraph_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/floyd_warshall/idl_fw_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/idl_fw_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/floyd_warshall/rdl_fw_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/rdl_fw_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/funs/fun_solver_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_solver_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/dsolver_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/dsolver_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/int_constraint_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/int_constraint_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/simplex_printer.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex_printer.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c solvers/simplex/simplex_prop_table.c -o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex_prop_table.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c terms/arith_buffers.c -o ../build/x86_64-pc-linux-gnu-release/obj/terms/arith_buffers.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/command_line.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/command_line.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/memsize.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/memsize.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/pair_hash_sets.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_sets.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/string_hash_map.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_hash_map.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/timeout.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/timeout.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c utils/union_find.c -o ../build/x86_64-pc-linux-gnu-release/obj/utils/union_find.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c api/yices_release_version.c -o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_version.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_sat.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_sat.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_sat_new.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_sat_new.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_smt.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_smt2.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt2.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_smt2_mt.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt2_mt.o
gcc -I. -Iinclude -DHAVE_MCSAT -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -fPIC -c frontend/yices_smtcomp.c -o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smtcomp.o
In function 'bool_vartable_simplify_and_add_clause',
inlined from 'bool_vartable_simplify_and_add_unit_clause' at scratch/bool_vartable.c:647:3:
scratch/bool_vartable.c:633:9: warning: array subscript 1 is outside array bounds of 'literal_t[1]' {aka 'int[1]'} [-Warray-bounds]
633 | aux = a[i];
| ~~~~^~~~~~
scratch/bool_vartable.c: In function 'bool_vartable_simplify_and_add_unit_clause':
scratch/bool_vartable.c:646:83: note: at offset 4 into object 'l1' of size 4
646 | void bool_vartable_simplify_and_add_unit_clause(bool_vartable_t *table, literal_t l1) {
| ~~~~~~~~~~^~
gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -shared -o ../build/x86_64-pc-linux-gnu-release/lib/libyices.so.2.6.4 \
-Wl,-soname,libyices.so.2.6 -Wl,--no-undefined \
../build/x86_64-pc-linux-gnu-release/obj/api/context_config.o ../build/x86_64-pc-linux-gnu-release/obj/api/search_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/api/smt_logic_codes.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_api.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_error.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_error_report.o ../build/x86_64-pc-linux-gnu-release/obj/api/yval.o ../build/x86_64-pc-linux-gnu-release/obj/context/assumption_stack.o ../build/x86_64-pc-linux-gnu-release/obj/context/common_conjuncts.o ../build/x86_64-pc-linux-gnu-release/obj/context/conditional_definitions.o ../build/x86_64-pc-linux-gnu-release/obj/context/context.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_simplifier.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_solver.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_statistics.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_utils.o ../build/x86_64-pc-linux-gnu-release/obj/context/divmod_table.o ../build/x86_64-pc-linux-gnu-release/obj/context/eq_abstraction.o ../build/x86_64-pc-linux-gnu-release/obj/context/eq_learner.o ../build/x86_64-pc-linux-gnu-release/obj/context/internalization_table.o ../build/x86_64-pc-linux-gnu-release/obj/context/ite_flattener.o ../build/x86_64-pc-linux-gnu-release/obj/context/pseudo_subst.o ../build/x86_64-pc-linux-gnu-release/obj/context/shared_terms.o ../build/x86_64-pc-linux-gnu-release/obj/context/symmetry_breaking.o ../build/x86_64-pc-linux-gnu-release/obj/context/quant_context_utils.o ../build/x86_64-pc-linux-gnu-release/obj/context/quant_context.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_client.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_analyze.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_values.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_skolemize.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/efsolver.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/attribute_values.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_lexer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_parser.o ../build/x86_64-pc-linux-gnu-release/obj/io/concrete_value_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/model_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/pretty_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/reader.o ../build/x86_64-pc-linux-gnu-release/obj/io/simple_printf.o ../build/x86_64-pc-linux-gnu-release/obj/io/term_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/tracer.o ../build/x86_64-pc-linux-gnu-release/obj/io/type_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/yices_pp.o ../build/x86_64-pc-linux-gnu-release/obj/io/writer.o ../build/x86_64-pc-linux-gnu-release/obj/model/abstract_values.o ../build/x86_64-pc-linux-gnu-release/obj/model/arith_projection.o ../build/x86_64-pc-linux-gnu-release/obj/model/concrete_values.o ../build/x86_64-pc-linux-gnu-release/obj/model/fresh_value_maker.o ../build/x86_64-pc-linux-gnu-release/obj/model/fun_maps.o ../build/x86_64-pc-linux-gnu-release/obj/model/fun_trees.o ../build/x86_64-pc-linux-gnu-release/obj/model/generalization.o ../build/x86_64-pc-linux-gnu-release/obj/model/literal_collector.o ../build/x86_64-pc-linux-gnu-release/obj/model/map_to_model.o ../build/x86_64-pc-linux-gnu-release/obj/model/model_eval.o ../build/x86_64-pc-linux-gnu-release/obj/model/model_queries.o ../build/x86_64-pc-linux-gnu-release/obj/model/model_support.o ../build/x86_64-pc-linux-gnu-release/obj/model/models.o ../build/x86_64-pc-linux-gnu-release/obj/model/presburger.o ../build/x86_64-pc-linux-gnu-release/obj/model/projection.o ../build/x86_64-pc-linux-gnu-release/obj/model/term_to_val.o ../build/x86_64-pc-linux-gnu-release/obj/model/val_to_term.o ../build/x86_64-pc-linux-gnu-release/obj/mt/yices_locks.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/lexer.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/parser.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/term_stack2.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/term_stack_error.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bit_blaster.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv64_intervals.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_atomtable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvconst_hmap.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvexp_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_intervals.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvpoly_compiler.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvpoly_dag.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvsolver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/dimacs_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/merge_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/remap_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/delegate.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_hash_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_manager.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gates.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gate_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gate_hash_map2.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_sat_solver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/smt_core.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/truth_tables.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/wide_truth_tables.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/composites.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/diseq_stacks.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_assertion_queues.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_explanations.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_utils.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/theory_explanations.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/dl_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/idl_floyd_warshall.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_level.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_solver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/stratification.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/arith_atomtable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/arith_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/diophantine_systems.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/gomory_cuts.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/integrality_constraints.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/matrices.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/offset_equalities.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ef_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ef_problem.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_pattern.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_cnstr.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/cnstr_learner.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/term_learner.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instr.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instr_stack.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instance.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_compile.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_execute.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_ematching.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_solver.o ../build/x86_64-pc-linux-gnu-release/obj/terms/balanced_arith_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bit_expr.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bit_term_conversion.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_interval_abstraction.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_constants.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_polynomials.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith64_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith64_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_constants.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvfactor_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvlogic_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvpoly_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_polynomials.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_slices.o ../build/x86_64-pc-linux-gnu-release/obj/terms/conditionals.o ../build/x86_64-pc-linux-gnu-release/obj/terms/elim_subst.o ../build/x86_64-pc-linux-gnu-release/obj/terms/extended_rationals.o ../build/x86_64-pc-linux-gnu-release/obj/terms/free_var_collector.o ../build/x86_64-pc-linux-gnu-release/obj/terms/full_subst.o ../build/x86_64-pc-linux-gnu-release/obj/terms/int_rational_hash_maps.o ../build/x86_64-pc-linux-gnu-release/obj/terms/ite_stack.o ../build/x86_64-pc-linux-gnu-release/obj/terms/mpq_aux.o ../build/x86_64-pc-linux-gnu-release/obj/terms/mpq_stores.o ../build/x86_64-pc-linux-gnu-release/obj/terms/poly_buffer.o ../build/x86_64-pc-linux-gnu-release/obj/terms/poly_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/polynomials.o ../build/x86_64-pc-linux-gnu-release/obj/terms/power_products.o ../build/x86_64-pc-linux-gnu-release/obj/terms/pprod_table.o ../build/x86_64-pc-linux-gnu-release/obj/terms/rational_hash_maps.o ../build/x86_64-pc-linux-gnu-release/obj/terms/rationals.o ../build/x86_64-pc-linux-gnu-release/obj/terms/rba_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/renaming_context.o ../build/x86_64-pc-linux-gnu-release/obj/terms/subst_cache.o ../build/x86_64-pc-linux-gnu-release/obj/terms/subst_context.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_explorer.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_manager.o ../build/x86_64-pc-linux-gnu-release/obj/terms/terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_sets.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_substitution.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_utils.o ../build/x86_64-pc-linux-gnu-release/obj/terms/types.o ../build/x86_64-pc-linux-gnu-release/obj/terms/variable_renaming.o ../build/x86_64-pc-linux-gnu-release/obj/utils/arena.o ../build/x86_64-pc-linux-gnu-release/obj/utils/backtrack_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/backtrack_int_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/cache.o ../build/x86_64-pc-linux-gnu-release/obj/utils/csets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/cputime.o ../build/x86_64-pc-linux-gnu-release/obj/utils/dep_tables.o ../build/x86_64-pc-linux-gnu-release/obj/utils/gcd.o ../build/x86_64-pc-linux-gnu-release/obj/utils/generic_heap.o ../build/x86_64-pc-linux-gnu-release/obj/utils/hash_functions.o ../build/x86_64-pc-linux-gnu-release/obj/utils/index_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_hsets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_sort2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_bags.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_bv_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_harray_store.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_classes.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_map2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_tables.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_heap2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_heap.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_partitions.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_powers.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_queues.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/mark_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/memalloc.o ../build/x86_64-pc-linux-gnu-release/obj/utils/object_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/object_stores.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_map2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pointer_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_array_sort2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_array_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_hash_classes.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_heap.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_partitions.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_queues.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_int_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_strings.o ../build/x86_64-pc-linux-gnu-release/obj/utils/resize_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_cache.o ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_int_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/sparse_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/stable_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_utils.o ../build/x86_64-pc-linux-gnu-release/obj/utils/symbol_tables.o ../build/x86_64-pc-linux-gnu-release/obj/utils/tag_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/tuple_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_rbtrees.o ../build/x86_64-pc-linux-gnu-release/obj/utils/use_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/vector_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_learner.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/tracing.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/solver.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_queue.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/value.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/model.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/trail.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/conflict.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/gc.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/equality_graph.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/merge_queue.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_mset.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_lset.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_vector.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/scope_holder.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/statistics.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/substitution.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/uf/uf_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/clause_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/cnf.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bcp_watch_manager.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bool_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_internal.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_explain.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/libpoly_utils.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/poly_constraint.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/feasible_set_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/ite/ite_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_bdd_manager.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_evaluator.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_explainer.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_feasible_set_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bdd_computation.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_utils.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_norm.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_intervals.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/eq_ext_con.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_sat.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_trivial.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/watch_list_manager.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/preprocessor.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/options.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_version.o -lcudd -lpoly -lgmp -lm -lc
strip -x ../build/x86_64-pc-linux-gnu-release/lib/libyices.so.2.6.4
ar cr ../build/x86_64-pc-linux-gnu-release/lib/libyices.a ../build/x86_64-pc-linux-gnu-release/obj/api/context_config.o ../build/x86_64-pc-linux-gnu-release/obj/api/search_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/api/smt_logic_codes.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_api.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_error.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_error_report.o ../build/x86_64-pc-linux-gnu-release/obj/api/yval.o ../build/x86_64-pc-linux-gnu-release/obj/context/assumption_stack.o ../build/x86_64-pc-linux-gnu-release/obj/context/common_conjuncts.o ../build/x86_64-pc-linux-gnu-release/obj/context/conditional_definitions.o ../build/x86_64-pc-linux-gnu-release/obj/context/context.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_simplifier.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_solver.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_statistics.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_utils.o ../build/x86_64-pc-linux-gnu-release/obj/context/divmod_table.o ../build/x86_64-pc-linux-gnu-release/obj/context/eq_abstraction.o ../build/x86_64-pc-linux-gnu-release/obj/context/eq_learner.o ../build/x86_64-pc-linux-gnu-release/obj/context/internalization_table.o ../build/x86_64-pc-linux-gnu-release/obj/context/ite_flattener.o ../build/x86_64-pc-linux-gnu-release/obj/context/pseudo_subst.o ../build/x86_64-pc-linux-gnu-release/obj/context/shared_terms.o ../build/x86_64-pc-linux-gnu-release/obj/context/symmetry_breaking.o ../build/x86_64-pc-linux-gnu-release/obj/context/quant_context_utils.o ../build/x86_64-pc-linux-gnu-release/obj/context/quant_context.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_client.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_analyze.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_values.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/ef_skolemize.o ../build/x86_64-pc-linux-gnu-release/obj/exists_forall/efsolver.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/attribute_values.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_lexer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_parser.o ../build/x86_64-pc-linux-gnu-release/obj/io/concrete_value_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/model_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/pretty_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/reader.o ../build/x86_64-pc-linux-gnu-release/obj/io/simple_printf.o ../build/x86_64-pc-linux-gnu-release/obj/io/term_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/tracer.o ../build/x86_64-pc-linux-gnu-release/obj/io/type_printer.o ../build/x86_64-pc-linux-gnu-release/obj/io/yices_pp.o ../build/x86_64-pc-linux-gnu-release/obj/io/writer.o ../build/x86_64-pc-linux-gnu-release/obj/model/abstract_values.o ../build/x86_64-pc-linux-gnu-release/obj/model/arith_projection.o ../build/x86_64-pc-linux-gnu-release/obj/model/concrete_values.o ../build/x86_64-pc-linux-gnu-release/obj/model/fresh_value_maker.o ../build/x86_64-pc-linux-gnu-release/obj/model/fun_maps.o ../build/x86_64-pc-linux-gnu-release/obj/model/fun_trees.o ../build/x86_64-pc-linux-gnu-release/obj/model/generalization.o ../build/x86_64-pc-linux-gnu-release/obj/model/literal_collector.o ../build/x86_64-pc-linux-gnu-release/obj/model/map_to_model.o ../build/x86_64-pc-linux-gnu-release/obj/model/model_eval.o ../build/x86_64-pc-linux-gnu-release/obj/model/model_queries.o ../build/x86_64-pc-linux-gnu-release/obj/model/model_support.o ../build/x86_64-pc-linux-gnu-release/obj/model/models.o ../build/x86_64-pc-linux-gnu-release/obj/model/presburger.o ../build/x86_64-pc-linux-gnu-release/obj/model/projection.o ../build/x86_64-pc-linux-gnu-release/obj/model/term_to_val.o ../build/x86_64-pc-linux-gnu-release/obj/model/val_to_term.o ../build/x86_64-pc-linux-gnu-release/obj/mt/yices_locks.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/lexer.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/parser.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/term_stack2.o ../build/x86_64-pc-linux-gnu-release/obj/parser_utils/term_stack_error.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bit_blaster.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv64_intervals.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_atomtable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvconst_hmap.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvexp_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_intervals.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvpoly_compiler.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvpoly_dag.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvsolver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bv_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/dimacs_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/merge_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/remap_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/delegate.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_hash_table.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_manager.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gates.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gate_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_gate_hash_map2.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/new_sat_solver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/smt_core.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/truth_tables.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/wide_truth_tables.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/composites.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/diseq_stacks.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_assertion_queues.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_explanations.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_utils.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/theory_explanations.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/dl_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/idl_floyd_warshall.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/rdl_floyd_warshall.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_level.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_solver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/stratification.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/arith_atomtable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/arith_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/diophantine_systems.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/gomory_cuts.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/integrality_constraints.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/matrices.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/offset_equalities.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ef_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ef_problem.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_pattern.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_cnstr.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/cnstr_learner.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/term_learner.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instr.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instr_stack.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_instance.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_compile.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/ematch_execute.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_ematching.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/quant/quant_solver.o ../build/x86_64-pc-linux-gnu-release/obj/terms/balanced_arith_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bit_expr.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bit_term_conversion.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_interval_abstraction.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_constants.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv64_polynomials.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith64_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith64_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvarith_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_constants.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvfactor_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvlogic_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bvpoly_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_polynomials.o ../build/x86_64-pc-linux-gnu-release/obj/terms/bv_slices.o ../build/x86_64-pc-linux-gnu-release/obj/terms/conditionals.o ../build/x86_64-pc-linux-gnu-release/obj/terms/elim_subst.o ../build/x86_64-pc-linux-gnu-release/obj/terms/extended_rationals.o ../build/x86_64-pc-linux-gnu-release/obj/terms/free_var_collector.o ../build/x86_64-pc-linux-gnu-release/obj/terms/full_subst.o ../build/x86_64-pc-linux-gnu-release/obj/terms/int_rational_hash_maps.o ../build/x86_64-pc-linux-gnu-release/obj/terms/ite_stack.o ../build/x86_64-pc-linux-gnu-release/obj/terms/mpq_aux.o ../build/x86_64-pc-linux-gnu-release/obj/terms/mpq_stores.o ../build/x86_64-pc-linux-gnu-release/obj/terms/poly_buffer.o ../build/x86_64-pc-linux-gnu-release/obj/terms/poly_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/polynomials.o ../build/x86_64-pc-linux-gnu-release/obj/terms/power_products.o ../build/x86_64-pc-linux-gnu-release/obj/terms/pprod_table.o ../build/x86_64-pc-linux-gnu-release/obj/terms/rational_hash_maps.o ../build/x86_64-pc-linux-gnu-release/obj/terms/rationals.o ../build/x86_64-pc-linux-gnu-release/obj/terms/rba_buffer_terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/renaming_context.o ../build/x86_64-pc-linux-gnu-release/obj/terms/subst_cache.o ../build/x86_64-pc-linux-gnu-release/obj/terms/subst_context.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_explorer.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_manager.o ../build/x86_64-pc-linux-gnu-release/obj/terms/terms.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_sets.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_substitution.o ../build/x86_64-pc-linux-gnu-release/obj/terms/term_utils.o ../build/x86_64-pc-linux-gnu-release/obj/terms/types.o ../build/x86_64-pc-linux-gnu-release/obj/terms/variable_renaming.o ../build/x86_64-pc-linux-gnu-release/obj/utils/arena.o ../build/x86_64-pc-linux-gnu-release/obj/utils/backtrack_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/backtrack_int_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/cache.o ../build/x86_64-pc-linux-gnu-release/obj/utils/csets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/cputime.o ../build/x86_64-pc-linux-gnu-release/obj/utils/dep_tables.o ../build/x86_64-pc-linux-gnu-release/obj/utils/gcd.o ../build/x86_64-pc-linux-gnu-release/obj/utils/generic_heap.o ../build/x86_64-pc-linux-gnu-release/obj/utils/hash_functions.o ../build/x86_64-pc-linux-gnu-release/obj/utils/index_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_hsets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_sort2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_array_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_bags.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_bv_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_harray_store.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_classes.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_map2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_hash_tables.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_heap2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_heap.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_partitions.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_powers.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_queues.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/int_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/mark_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/memalloc.o ../build/x86_64-pc-linux-gnu-release/obj/utils/object_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/object_stores.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_map2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pointer_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_array_sort2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_array_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_hash_classes.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_heap.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_partitions.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_queues.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_sets2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/ptr_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_int_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/refcount_strings.o ../build/x86_64-pc-linux-gnu-release/obj/utils/resize_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_cache.o ../build/x86_64-pc-linux-gnu-release/obj/utils/simple_int_stack.o ../build/x86_64-pc-linux-gnu-release/obj/utils/sparse_arrays.o ../build/x86_64-pc-linux-gnu-release/obj/utils/stable_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_utils.o ../build/x86_64-pc-linux-gnu-release/obj/utils/symbol_tables.o ../build/x86_64-pc-linux-gnu-release/obj/utils/tag_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/tuple_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_array_sort2.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_rbtrees.o ../build/x86_64-pc-linux-gnu-release/obj/utils/use_vectors.o ../build/x86_64-pc-linux-gnu-release/obj/utils/vector_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/uint_learner.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/tracing.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/solver.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/variable_queue.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/value.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/model.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/trail.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/conflict.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/gc.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/equality_graph.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/eq/merge_queue.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_mset.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/int_lset.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/value_vector.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/scope_holder.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/statistics.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/utils/substitution.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/uf/uf_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/clause_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/cnf.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bcp_watch_manager.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bool/bool_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_internal.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/nra_plugin_explain.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/libpoly_utils.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/poly_constraint.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/nra/feasible_set_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/ite/ite_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_plugin.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_bdd_manager.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_evaluator.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_explainer.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bv_feasible_set_db.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/bdd_computation.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_utils.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_norm.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith_intervals.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/arith.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/eq_ext_con.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_sat.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/bv/explain/full_bv_trivial.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/watch_list_manager.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/preprocessor.o ../build/x86_64-pc-linux-gnu-release/obj/mcsat/options.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_parameters.o ../build/x86_64-pc-linux-gnu-release/obj/context/context_printer.o ../build/x86_64-pc-linux-gnu-release/obj/context/dump_context.o ../build/x86_64-pc-linux-gnu-release/obj/context/internalization_printer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/assumptions_and_core.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/assumption_table.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/bug_report.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/named_term_stacks.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/parameters.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/common/tables.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_lexer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_parser.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt1/smt_term_stack.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/parenthesized_expr.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_commands.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_expressions.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_lexer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_model_printer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_parser.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_printer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_symbol_printer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_term_stack.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/smt2/smt2_type_printer.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/arith_solver_codes.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/labeled_assertions.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_help.o ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices/yices_reval.o ../build/x86_64-pc-linux-gnu-release/obj/model/large_bvsets.o ../build/x86_64-pc-linux-gnu-release/obj/model/rb_bvsets.o ../build/x86_64-pc-linux-gnu-release/obj/model/small_bvsets.o ../build/x86_64-pc-linux-gnu-release/obj/scratch/booleq_table.o ../build/x86_64-pc-linux-gnu-release/obj/scratch/bool_vartable.o ../build/x86_64-pc-linux-gnu-release/obj/scratch/update_graph.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/bv/bvsolver_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/clause_pool.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/gates_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/sat_solver.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/cdcl/smt_core_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/egraph/egraph_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/idl_fw_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/floyd_warshall/rdl_fw_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/funs/fun_solver_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/dsolver_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/int_constraint_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex_printer.o ../build/x86_64-pc-linux-gnu-release/obj/solvers/simplex/simplex_prop_table.o ../build/x86_64-pc-linux-gnu-release/obj/terms/arith_buffers.o ../build/x86_64-pc-linux-gnu-release/obj/utils/command_line.o ../build/x86_64-pc-linux-gnu-release/obj/utils/memsize.o ../build/x86_64-pc-linux-gnu-release/obj/utils/pair_hash_sets.o ../build/x86_64-pc-linux-gnu-release/obj/utils/string_hash_map.o ../build/x86_64-pc-linux-gnu-release/obj/utils/timeout.o ../build/x86_64-pc-linux-gnu-release/obj/utils/union_find.o ../build/x86_64-pc-linux-gnu-release/obj/api/yices_version.o
ranlib ../build/x86_64-pc-linux-gnu-release/lib/libyices.a
gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \
-o ../build/x86_64-pc-linux-gnu-release/bin/yices ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lpoly -lgmp -lm
gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \
-o ../build/x86_64-pc-linux-gnu-release/bin/yices_sat ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_sat.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lm
gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \
-o ../build/x86_64-pc-linux-gnu-release/bin/yices_sat_new ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_sat_new.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lm
gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \
-o ../build/x86_64-pc-linux-gnu-release/bin/yices_smt ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lpoly -lgmp -lm
gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \
-o ../build/x86_64-pc-linux-gnu-release/bin/yices_smt2 ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt2.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lpoly -lgmp -lm
gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \
-o ../build/x86_64-pc-linux-gnu-release/bin/yices_smt2_mt ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smt2_mt.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lpoly -lgmp -lm
gcc -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \
-o ../build/x86_64-pc-linux-gnu-release/bin/yices_smtcomp ../build/x86_64-pc-linux-gnu-release/obj/frontend/yices_smtcomp.o ../build/x86_64-pc-linux-gnu-release/lib/libyices.a -lcudd -lpoly -lgmp -lm
rm -r -f ../build/x86_64-pc-linux-gnu-release/dist/*
mkdir ../build/x86_64-pc-linux-gnu-release/dist/include
cp include/*.h ../build/x86_64-pc-linux-gnu-release/dist/include
mkdir ../build/x86_64-pc-linux-gnu-release/dist/bin
cp ../build/x86_64-pc-linux-gnu-release/bin/yices ../build/x86_64-pc-linux-gnu-release/dist/bin/yices
cp ../build/x86_64-pc-linux-gnu-release/bin/yices_smtcomp ../build/x86_64-pc-linux-gnu-release/dist/bin/yices-smt
cp ../build/x86_64-pc-linux-gnu-release/bin/yices_smt2 ../build/x86_64-pc-linux-gnu-release/dist/bin/yices-smt2
cp ../build/x86_64-pc-linux-gnu-release/bin/yices_sat ../build/x86_64-pc-linux-gnu-release/dist/bin/yices-sat
cp ../build/x86_64-pc-linux-gnu-release/bin/*.dll ../build/x86_64-pc-linux-gnu-release/dist/bin || true
cp: cannot stat '../build/x86_64-pc-linux-gnu-release/bin/*.dll': No such file or directory
mkdir ../build/x86_64-pc-linux-gnu-release/dist/lib
cp ../build/x86_64-pc-linux-gnu-release/lib/* ../build/x86_64-pc-linux-gnu-release/dist/lib
strip ../build/x86_64-pc-linux-gnu-release/dist/bin/yices
strip ../build/x86_64-pc-linux-gnu-release/dist/bin/yices-smt
strip ../build/x86_64-pc-linux-gnu-release/dist/bin/yices-smt2
strip ../build/x86_64-pc-linux-gnu-release/dist/bin/yices-sat
make[2]: Leaving directory '/tmp/yices-archlinuxrb-build-QhyArKSX/yices/trunk/src/yices2-Yices-2.6.4/src'
make[1]: Leaving directory '/tmp/yices-archlinuxrb-build-QhyArKSX/yices/trunk/src/yices2-Yices-2.6.4'
==> Entering fakeroot environment...
==> Starting package()...
Mode: release
Platform: x86_64-pc-linux-gnu
make[1]: Entering directory '/tmp/yices-archlinuxrb-build-QhyArKSX/yices/trunk/src/yices2-Yices-2.6.4'
/usr/sbin/mkdir -p /tmp/yices-archlinuxrb-build-QhyArKSX/yices/trunk/pkg/yices//usr/bin
/usr/sbin/mkdir -p /tmp/yices-archlinuxrb-build-QhyArKSX/yices/trunk/pkg/yices//usr/lib
/usr/sbin/mkdir -p /tmp/yices-archlinuxrb-build-QhyArKSX/yices/trunk/pkg/yices//usr/include
/usr/bin/install -c -m 664 build/x86_64-pc-linux-gnu-release/dist/include/* /tmp/yices-archlinuxrb-build-QhyArKSX/yices/trunk/pkg/yices//usr/include
/usr/bin/install -c build/x86_64-pc-linux-gnu-release/dist/bin/* /tmp/yices-archlinuxrb-build-QhyArKSX/yices/trunk/pkg/yices//usr/bin
/usr/bin/install -c build/x86_64-pc-linux-gnu-release/dist/lib/* /tmp/yices-archlinuxrb-build-QhyArKSX/yices/trunk/pkg/yices//usr/lib
/sbin/ldconfig -n /tmp/yices-archlinuxrb-build-QhyArKSX/yices/trunk/pkg/yices//usr/lib && (cd /tmp/yices-archlinuxrb-build-QhyArKSX/yices/trunk/pkg/yices//usr/lib && ln -s -f libyices.so.2.6.4 libyices.so)
make[1]: Leaving directory '/tmp/yices-archlinuxrb-build-QhyArKSX/yices/trunk/src/yices2-Yices-2.6.4'
==> Tidying install...
-> Removing libtool files...
-> Purging unwanted files...
-> Removing static library files...
-> Stripping unneeded symbols from binaries and libraries...
-> Compressing man and info pages...
==> Checking for packaging issues...
==> Creating package "yices"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: yices 2.6.4-1 (Thu Nov 23 14:23:47 2023)
+ PRESULT=0
+ '[' 0 -eq 124 ']'
+ set +e
+ schroot --end-session -c archlinux-yices-archlinuxrb-build-QhyArKSX
+ tee -a /srv/reproducible-results/archlinuxrb-build-QhyArKSX/b2/yices/build2.log
+ PRESULT=0
+ '[' 0 -ne 0 ']'
+ false
+ set +x
'/tmp/yices-archlinuxrb-build-QhyArKSX/yices/trunk/yices-2.6.4-1-x86_64.pkg.tar.zst' -> '/srv/reproducible-results/archlinuxrb-build-QhyArKSX/b2/yices/yices-2.6.4-1-x86_64.pkg.tar.zst'
Thu Nov 23 14:23:47 UTC 2023 - build #2 for yices on osuosl170-amd64 done.
Thu Nov 23 14:23:47 UTC 2023 - reproducible_build_archlinux_pkg.sh stopped running as /tmp/jenkins-script-JMHSMp0L, removing.
/srv/reproducible-results/archlinuxrb-build-QhyArKSX:
total 8
drwxr-xr-x 3 jenkins jenkins 4096 Oct 21 08:00 b1
drwxr-xr-x 3 jenkins jenkins 4096 Oct 21 08:00 b2
/srv/reproducible-results/archlinuxrb-build-QhyArKSX/b1:
total 4
drwxr-xr-x 2 jenkins jenkins 4096 Oct 21 08:00 yices
/srv/reproducible-results/archlinuxrb-build-QhyArKSX/b1/yices:
total 4416
-rw-r--r-- 1 jenkins jenkins 239004 Oct 21 08:00 build1.log
-rw-r--r-- 1 jenkins jenkins 8 Oct 21 08:00 build1.version
-rw-r--r-- 1 jenkins jenkins 4258779 Oct 21 08:00 yices-2.6.4-1-x86_64.pkg.tar.zst
/srv/reproducible-results/archlinuxrb-build-QhyArKSX/b2:
total 4
drwxr-xr-x 2 jenkins jenkins 4096 Oct 21 08:00 yices
/srv/reproducible-results/archlinuxrb-build-QhyArKSX/b2/yices:
total 4400
-rw-r--r-- 1 jenkins jenkins 238277 Oct 21 08:00 build2.log
-rw-r--r-- 1 jenkins jenkins 8 Oct 21 08:00 build2.version
-rw-r--r-- 1 jenkins jenkins 4258767 Oct 21 08:00 yices-2.6.4-1-x86_64.pkg.tar.zst
Fri Oct 21 08:00:55 UTC 2022 - comparing results now.
Files /srv/reproducible-results/archlinuxrb-build-QhyArKSX/b1/yices/yices-2.6.4-1-x86_64.pkg.tar.zst and /srv/reproducible-results/archlinuxrb-build-QhyArKSX/b2/yices/yices-2.6.4-1-x86_64.pkg.tar.zst differ
Fri Oct 21 08:00:55 UTC 2022 - running diffoscope on the results now:
Fri Oct 21 08:00:57 UTC 2022 - Running diffoscope 224 now...
Fri Oct 21 08:05:22 UTC 2022 - diffoscope 224 found issues, please investigate yices/yices-2.6.4-1-x86_64.pkg.tar.zst
/tmp/jenkins-script-six3NO1P: line 480: echo: write error: No space left on device
cp: error writing '/var/lib/jenkins/userContent/reproducible/archlinux/community/yices/pkg.version': No space left on device
Fri Oct 21 08:05:22 UTC 2022 - /srv/reproducible-results/archlinuxrb-build-QhyArKSX deleted.
Fri Oct 21 08:05:22 UTC 2022 - reproducible_build_archlinux_pkg.sh stopped running as /tmp/jenkins-script-six3NO1P, removing.
Build step 'Execute shell' marked build as failure
More information about the Qa-jenkins-scm
mailing list