/usr/bin/c++   -std=c++14 -Wunknown-pragmas -pthread -fmax-errors=5 -fdiagnostics-color=auto -O3 -DNDEBUG -O3  -rdynamic CMakeFiles/runFormulaTests.dir/Test_BVConstraint.cpp.o CMakeFiles/runFormulaTests.dir/Test_BVTerm.cpp.o CMakeFiles/runFormulaTests.dir/Test_BVTermType.cpp.o CMakeFiles/runFormulaTests.dir/Test_BVValue.cpp.o CMakeFiles/runFormulaTests.dir/Test_BVVariable.cpp.o CMakeFiles/runFormulaTests.dir/Test_Formula.cpp.o CMakeFiles/runFormulaTests.dir/Test_Model.cpp.o CMakeFiles/runFormulaTests.dir/Test_ModelEvaluation.cpp.o CMakeFiles/runFormulaTests.dir/Test_OPBParser.cpp.o CMakeFiles/runFormulaTests.dir/Test_PBConstraint.cpp.o CMakeFiles/runFormulaTests.dir/Test_Sort.cpp.o CMakeFiles/runFormulaTests.dir/Test_SymmetryBreaking.cpp.o CMakeFiles/runFormulaTests.dir/Test_UVariable.cpp.o CMakeFiles/runFormulaTests.dir/Test_UninterpretedFunction.cpp.o  -o ../../../bin/runFormulaTests -Wl,-rpath,/home/ae/Desktop/artifact/carl/build ../libTestCommon.a ../../../libcarl.so.14.18 /usr/lib/x86_64-linux-gnu/libgmpxx.so /usr/lib/x86_64-linux-gnu/libgmp.so /usr/lib/x86_64-linux-gnu/libboost_filesystem.so /usr/lib/x86_64-linux-gnu/libboost_system.so /usr/lib/x86_64-linux-gnu/libboost_program_options.so /usr/lib/x86_64-linux-gnu/libboost_regex.so /usr/lib/x86_64-linux-gnu/libboost_unit_test_framework.so /usr/lib/libcln.so /usr/lib/libginac.so ../../../resources/src/GTest-EP-build/googlemock/gtest/libgtest.a ../../../resources/src/GTest-EP-build/googlemock/gtest/libgtest_main.a -lpthread -ldl 
