I wanna use CREST(Concolic Test Generation Tool for C) and installed in my Mac PC along guide of crest github page
However, it occurs error like below when I type make command in src folder to copy crest.h file into ../include folder.
What is wrong for me now?
c++ -I. -I../../yices/include -Wall -O2 -L../../yices/lib run_crest/run_crest.cc run_crest/concolic_search.o base/basic_types.o base/symbolic_execution.o base/symbolic_interpreter.o base/symbolic_path.o base/symbolic_predicate.o base/symbolic_expression.o base/yices_solver.o -lyices -o run_crest/run_crest In file included from run_crest/run_crest.cc:15: In file included from ./run_crest/concolic_search.h:16: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/include/c++/v1/ext/hash_map:213:5: warning: Use of the header is deprecated. Migrate to [-W#warnings]
warning Use of the header is deprecated. Migrate to ...
^ In file included from run_crest/run_crest.cc:15: In file included from ./run_crest/concolic_search.h:17:/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/include/c++/v1/ext/hash_set:205:5: warning: Use of the header is deprecated. Migrate to [-W#warnings]
warning Use of the header is deprecated. Migrate to ...
^ 2 warnings generated. Undefined symbols for architecture x86_64: "std::__basic_file<char>::is_open() const", referenced from: yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) "std::istream::get()", referenced from: yices::lexer::read_bitvector_constant() in libyices.a(yices.o) yices::lexer::new_line() in libyices.a(yices.o) yices::lexer::lexer(std::istream&, yices::position_tracker*) in libyices.a(yices.o) yices::lexer::read_id() in libyices.a(yices.o) yices::lexer::read_numeral() in libyices.a(yices.o) yices::lexer::read_string() in libyices.a(yices.o) yices::lexer::next_token() in libyices.a(yices.o) ... "std::ostream::flush()", referenced from: yices::parser::inconsistent() in libyices.a(yices.o) yices::parser::parse_show_stats(int) in libyices.a(yices.o) yices::parser::parse_status(int) in libyices.a(yices.o) yices::parser::parse_dump_context(int) in libyices.a(yices.o) yices::parser::parse_echo(int) in libyices.a(yices.o) yices::parser::parse_set_maxsat_max_iterations(int) in libyices.a(yices.o) yices::parser::parse_set_maxsat_conflict_limit(int) in libyices.a(yices.o) ... "std::ostream& std::ostream::_M_insert<void const*>(void const*)", referenced from: yices::datatype_theory::show_datatype_class(int, std::ostream&) in libyices.a(yices.o) "std::ostream&std::ostream::_M_insert(bool)", referenced from: yices::dense_bench_detector::display_statistics(std::ostream&) in libyices.a(yices.o) "std::ostream& std::ostream::_M_insert(double)", referenced from: yices::context::display_statistics_for_machine(std::ostream&) in libyices.a(yices.o) yices::context::display_statistics(std::ostream&) in libyices.a(yices.o) "std::ostream& std::ostream::_M_insert(long)", referenced from: yices::context::display_statistics_for_machine(std::ostream&) in libyices.a(yices.o) yices::context::display_statistics(std::ostream&) in libyices.a(yices.o) "std::ostream& std::ostream::_M_insert(unsigned long)", referenced from: yices::ast_manager::display_info(std::ostream&) const in libyices.a(yices.o) yices::context::display_statistics(std::ostream&) in libyices.a(yices.o) yices::gexplanation::display(yices::context*, yices::literal, std::ostream&) in libyices.a(yices.o) yices::linear_arithmetic::display_statistics(std::ostream&) const in libyices.a(yices.o) yices::linear_arithmetic::display_column_size_statistics(std::ostream&) const in libyices.a(yices.o) yices::linear_arithmetic::display_row_size_statistics(std::ostream&) const in libyices.a(yices.o) yices::display_patterns(yices::scoped_ptr_vector >, std::allocator >*> > const&, std::ostream&) in libyices.a(yices.o) ... "std::ostream& std::ostream::_M_insert(long long)", referenced from: _yices_assert_weighted in libyices.a(yices.o) "std::ostream::operator<<(int)", referenced from: yices::numeral::to_string() const in libyices.a(yices.o) yices::ast_manager::display_info(std::ostream&) const in libyices.a(yices.o) yices::parser::display_assertion_id(int, std::ostream&) in libyices.a(yices.o) yices::parser::parse_retract(int) in libyices.a(yices.o) yices::parser::parse_ext_assert(int) in libyices.a(yices.o) yices::smt_lexer::sign_smt_input_error_core(char const*, int) in libyices.a(yices.o) yices::context::display(int, std::ostream&) const in libyices.a(yices.o) ... "std::string::_Rep::_M_destroy(std::allocator const&)", referenced from: yices::assert_context::store_var(char const*, std::string const&) in libyices.a(yices.o) yices::position_tracker::file_info::file_info(int, int, int, int, char const*) in libyices.a(yices.o) yices::position_tracker::file_info::file_info(int, char const*) in libyices.a(yices.o) yices::position_tracker::continue_file(int, int, int, char const*) in libyices.a(yices.o) yices::position_tracker::new_file(char const*) in libyices.a(yices.o) yices::numeral::to_string() const in libyices.a(yices.o) yices::ast_manager::~ast_manager() in libyices.a(yices.o) ... "std::string::_Rep::_S_empty_rep_storage", referenced from: yices::make_core_assert() in libyices.a(yices.o) yices::assert_context::store_var(char const*, std::string const&) in libyices.a(yices.o) yices::position_tracker::file_info::file_info(int, int, int, int, char const*) in libyices.a(yices.o) yices::position_tracker::file_info::file_info(int, char const*) in libyices.a(yices.o) yices::position_tracker::continue_file(int, int, int, char const*) in libyices.a(yices.o) yices::position_tracker::new_file(char const*) in libyices.a(yices.o) yices::numeral::to_string() const in libyices.a(yices.o) ... "std::string::_Rep::_S_create(unsigned long, unsigned long, std::allocator const&)", referenced from: char* std::string::_S_construct(char*, char*, std::allocator const&, std::forward_iterator_tag) in libyices.a(yices.o) "std::string::append(char const*, unsigned long)", referenced from: yices::type_already_defined_exception::what_core() const in libyices.a(yices.o) yices::undefined_name_exception::what_core() const in libyices.a(yices.o) yices::subtype_predicate_exception::what_core() const in libyices.a(yices.o) yices::record_type_with_duplicate_fields_exception::what_core() const in libyices.a(yices.o) yices::constant_already_defined_exception::what_core() const in libyices.a(yices.o) yices::error_opening_file::what_core() const in libyices.a(yices.o) yices::invalid_datatype_occurrence_exception::what_core() const in libyices.a(yices.o) ... "std::string::append(std::string const&)", referenced from: std::basic_string, std::allocator > std::operator+, std::allocator >(char const*, std::basic_string, std::allocator > const&) in libyices.a(yices.o) "std::string::assign(char const*, unsigned long)", referenced from: yices::assert_context::init(char const*, char const*, int, char const*, char const*) in libyices.a(yices.o) yices::core_assert::msg(char const*) in libyices.a(yices.o) yices::core_assert::set_context(char const*, char const*, int, char const*, char const*) in libyices.a(yices.o) yices::context::set_type_error(char const*) in libyices.a(yices.o) yices::context::reset() in libyices.a(yices.o) _yices_parse_command in libyices.a(yices.o) _yices_parse_type in libyices.a(yices.o) ... "std::string::assign(std::string const&)", referenced from: yices::numeral::to_string() const in libyices.a(yices.o) yices::type_already_defined_exception::what_core() const in libyices.a(yices.o) yices::undefined_name_exception::what_core() const in libyices.a(yices.o) yices::subtype_predicate_exception::what_core() const in libyices.a(yices.o) yices::record_type_with_duplicate_fields_exception::what_core() const in libyices.a(yices.o) yices::constant_already_defined_exception::what_core() const in libyices.a(yices.o) yices::error_opening_file::what_core() const in libyices.a(yices.o) ... "std::string::reserve(unsigned long)", referenced from: std::basic_string, std::allocator > std::operator+, std::allocator >(char const*, std::basic_string, std::allocator > const&) in libyices.a(yices.o) "std::basic_string, std::allocator >::basic_string(char const*, std::allocator const&)", referenced from: yices::assert_context::store_var(char const*, std::string const&) in libyices.a(yices.o) yices::pp::line_break::flatten() in libyices.a(yices.o) yices::pp::text_doc::text_doc(char const*) in libyices.a(yices.o) yices::pp::line_break_ext::line_break_ext(char const*) in libyices.a(yices.o) yices::pp::line_break_ext::line_break_ext(char const*) in libyices.a(yices.o) yices::pp::str2doc(char const*) in libyices.a(yices.o) yices::pp::text_doc::text_doc(char const*) in libyices.a(yices.o) ... "std::basic_string, std::allocator >::basic_string(std::string const&)", referenced from: yices::assert_context::store_var(char const*, std::string const&) in libyices.a(yices.o) yices::position_tracker::continue_file(int, int, int, char const*) in libyices.a(yices.o) yices::position_tracker::new_file(char const*) in libyices.a(yices.o) yices::type_already_defined_exception::what_core() const in libyices.a(yices.o) yices::undefined_name_exception::what_core() const in libyices.a(yices.o) yices::subtype_predicate_exception::what_core() const in libyices.a(yices.o) yices::record_type_with_duplicate_fields_exception::what_core() const in libyices.a(yices.o) ... "std::__basic_file::~__basic_file()", referenced from: yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_expr_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_dimacs(yices::context*, char const*, bool) in libyices.a(yices.o) _yicesl_enable_log_file in libyices.a(yices.o) _yicesl_set_output_file in libyices.a(yices.o) ... "std::basic_filebuf >::open(char const*, std::_Ios_Openmode)", referenced from: yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_expr_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_dimacs(yices::context*, char const*, bool) in libyices.a(yices.o) _yicesl_enable_log_file in libyices.a(yices.o) _yicesl_set_output_file in libyices.a(yices.o) ... "std::basic_filebuf >::close()", referenced from: yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_expr_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_dimacs(yices::context*, char const*, bool) in libyices.a(yices.o) _yicesl_enable_log_file in libyices.a(yices.o) _yicesl_set_output_file in libyices.a(yices.o) ... "std::basic_filebuf >::basic_filebuf()", referenced from: yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_expr_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_dimacs(yices::context*, char const*, bool) in libyices.a(yices.o) _yicesl_enable_log_file in libyices.a(yices.o) _yicesl_set_output_file in libyices.a(yices.o) ... "std::basic_ifstream >::basic_ifstream(char const*, std::_Ios_Openmode)", referenced from: yices::read_smt_benchmark(yices::context*, char const*) in libyices.a(yices.o) "std::basic_ifstream >::~basic_ifstream()", referenced from: yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_expr_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_smt_benchmark(yices::context*, char const*) in libyices.a(yices.o) "std::basic_ofstream >::basic_ofstream(char const*, std::_Ios_Openmode)", referenced from: _yices_enable_log_file in libyices.a(yices.o) "std::basic_istringstream, std::allocator >::basic_istringstream(std::string const&, std::_Ios_Openmode)", referenced from: yices::read_expr_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_type_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_from_string(yices::context*, char const*) in libyices.a(yices.o) "std::locale::locale()", referenced from: yices::numeral::to_string() const in libyices.a(yices.o) "std::locale::~locale()", referenced from: yices::numeral::to_string() const in libyices.a(yices.o) yices::read_expr_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_type_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_string(yices::context*, char const*) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) ... "std::ios_base::Init::Init()", referenced from: __static_initialization_and_destruction_0(int, int) in libyices.a(yices.o) __static_initialization_and_destruction_0(int, int) in libyices.a(yices.o) __static_initialization_and_destruction_0(int, int) in libyices.a(yices.o) __static_initialization_and_destruction_0(int, int) in libyices.a(yices.o) __static_initialization_and_destruction_0(int, int) in libyices.a(yices.o) __static_initialization_and_destruction_0(int, int) in libyices.a(yices.o) __static_initialization_and_destruction_0(int, int) in libyices.a(yices.o) ... "std::ios_base::Init::~Init()", referenced from: ___tcf_0 in libyices.a(yices.o) ___tcf_0 in libyices.a(yices.o) ___tcf_5 in libyices.a(yices.o) ___tcf_0 in libyices.a(yices.o) ___tcf_0 in libyices.a(yices.o) ___tcf_0 in libyices.a(yices.o) ___tcf_0 in libyices.a(yices.o) ... "std::ios_base::ios_base()", referenced from: yices::numeral::to_string() const in libyices.a(yices.o) yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_expr_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_dimacs(yices::context*, char const*, bool) in libyices.a(yices.o) _yicesl_enable_log_file in libyices.a(yices.o) ... "std::ios_base::~ios_base()", referenced from: yices::numeral::to_string() const in libyices.a(yices.o) yices::read_expr_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_type_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_string(yices::context*, char const*) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) ... "std::basic_ios >::init(std::basic_streambuf >)", referenced from: yices::numeral::to_string() const in libyices.a(yices.o) yices::read_nested_file(yices::context, char const*, int) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_expr_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_dimacs(yices::context*, char const*, bool) in libyices.a(yices.o) _yicesl_enable_log_file in libyices.a(yices.o) ... "std::basic_ios >::clear(std::_Ios_Iostate)", referenced from: yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_expr_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::smt_lexer::sign_smt_input_error_core(char const*, int) in libyices.a(yices.o) yices::context::display(int, std::ostream&) const in libyices.a(yices.o) yices::context::display_weighted_vars(std::ostream&) const in libyices.a(yices.o) ... "std::basic_ostream >& std::__ostream_insert
(std::basic_ostream >&, char const*, long)", referenced from: yices::attach_to_gdb() in libyices.a(yices.o) yices::pp::text_doc::display_core(yices::pp::layout_context&, int) const in libyices.a(yices.o) yices::pp::line_break::display_core(yices::pp::layout_context&, int) const in libyices.a(yices.o) yices::map_visitor::display_env(std::ostream&) const in libyices.a(yices.o) yices::numeral::to_string() const in libyices.a(yices.o) yices::ast_manager::display_info(std::ostream&) const in libyices.a(yices.o) yices::display_spaces(std::ostream&, int) in libyices.a(yices.o) ... "std::__throw_logic_error(char const*)", referenced from: char* std::string::_S_construct(char*, char*, std::allocator const&, std::forward_iterator_tag) in libyices.a(yices.o) "std::__throw_length_error(char const*)", referenced from: std::vector, std::allocator > ::_M_insert_aux(__gnu_cxx::__normal_iterator*, std::vector, std::allocator > > >, std::pair const&) in libyices.a(yices.o)
"std::cerr", referenced from: yices::attach_to_gdb() in libyices.a(yices.o) yices::smt_lexer::sign_smt_input_error_core(char const*, int) in libyices.a(yices.o) yices::context::decide() in libyices.a(yices.o) yices::context::eval_in_model(yices::shared_ptr&) in libyices.a(yices.o) yices::context::simplify_clauses() in libyices.a(yices.o) yices::context::remove_irrelevant_learned_clauses() in libyices.a(yices.o) yices::context::search_core(unsigned int, unsigned int, bool) in libyices.a(yices.o) ... "std::cout", referenced from: _yices_pp_expr in libyices.a(yices.o) _yices_display_model in libyices.a(yices.o) _yicesl_del_context in libyices.a(yices.o) yices::g_pout in libyices.a(yices.o) "std::basic_ostream >& std::endl (std::basic_ostream >&)", referenced from: yices::ast_manager::display(std::ostream&) const in libyices.a(yices.o) yices::ast_manager::display_as_dag(std::ostream&, bool) const in libyices.a(yices.o) yices::operator<<(std::ostream&, yices::ast_manager const&) in libyices.a(yices.o) yices::ast_manager::display_info(std::ostream&) const in libyices.a(yices.o) "std::basic_ostream & std::operator<< >(std::basic_ostream >&, char const*)", referenced from: yices::parser::inconsistent() in libyices.a(yices.o) yices::parser::display_assertion_id(int, std::ostream&) in libyices.a(yices.o) yices::parser::parse_status(int) in libyices.a(yices.o) yices::parser::parse_echo(int) in libyices.a(yices.o) yices::parser::parse_pop(int) in libyices.a(yices.o) yices::parser::parse_help(int) in libyices.a(yices.o) yices::parser::parse_set_maxsat_max_iterations(int) in libyices.a(yices.o) ... "VTT for std::basic_ifstream >", referenced from: yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_expr_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_dimacs(yices::context*, char const*, bool) in libyices.a(yices.o) "VTT for std::basic_ofstream >", referenced from: _yicesl_enable_log_file in libyices.a(yices.o) _yicesl_set_output_file in libyices.a(yices.o) "VTT for std::basic_istringstream, std::allocator >", referenced from: yices::read_expr_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_type_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_from_string(yices::context*, char const*) in libyices.a(yices.o) "VTT for std::basic_ostringstream, std::allocator >", referenced from: yices::numeral::to_string() const in libyices.a(yices.o) "vtable for std::basic_filebuf >", referenced from: yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_expr_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_dimacs(yices::context*, char const*, bool) in libyices.a(yices.o) _yicesl_enable_log_file in libyices.a(yices.o) _yicesl_set_output_file in libyices.a(yices.o) ... NOTE: a missing vtable usually means the first non-inline virtual member function has no definition. "vtable for std::basic_ifstream >", referenced from: yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_expr_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_dimacs(yices::context*, char const*, bool) in libyices.a(yices.o) NOTE: a missing vtable usually means the first non-inline virtual member function has no definition. "vtable for std::basic_ofstream >", referenced from: _yicesl_enable_log_file in libyices.a(yices.o) _yicesl_set_output_file in libyices.a(yices.o) NOTE: a missing vtable usually means the first non-inline virtual member function has no definition. "vtable for std::basic_streambuf >", referenced from: yices::numeral::to_string() const in libyices.a(yices.o) yices::read_expr_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_type_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_string(yices::context*, char const*) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) ... NOTE: a missing vtable usually means the first non-inline virtual member function has no definition. "vtable for std::basic_stringbuf, std::allocator >", referenced from: yices::numeral::to_string() const in libyices.a(yices.o) yices::read_expr_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_type_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_from_string(yices::context*, char const*) in libyices.a(yices.o) NOTE: a missing vtable usually means the first non-inline virtual member function has no definition. "vtable for std::basic_istringstream, std::allocator >", referenced from: yices::read_expr_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_type_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_from_string(yices::context*, char const*) in libyices.a(yices.o) NOTE: a missing vtable usually means the first non-inline virtual member function has no definition. "vtable for std::basic_ostringstream, std::allocator >", referenced from: yices::numeral::to_string() const in libyices.a(yices.o) NOTE: a missing vtable usually means the first non-inline virtual member function has no definition. "vtable for std::basic_ios >", referenced from: yices::numeral::to_string() const in libyices.a(yices.o) yices::read_expr_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_type_from_string(yices::ast_manager*, char const*) in libyices.a(yices.o) yices::read_nested_file(yices::context*, char const*, int) in libyices.a(yices.o) yices::read_from_string(yices::context*, char const*) in libyices.a(yices.o) yices::read_from_file(yices::context*, char const*) in libyices.a(yices.o) yices::read_type_from_file(yices::ast_manager*, char const*) in libyices.a(yices.o) ... NOTE: a missing vtable usually means the first non-inline virtual member function has no definition. ld: symbol(s) not found for architecture x86_64 clang: error: linker command failed with exit code 1 (use -v to see invocation) make: *** [run_crest/run_crest] Error 1
Aucun commentaire:
Enregistrer un commentaire