From 80879ce58be9b93d746733a0d3e5e71f7248119e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 8 Sep 2020 07:12:30 -0700 Subject: [PATCH] remove xcode Signed-off-by: Nikolaj Bjorner --- .travis.yml | 10 +--------- src/api/c++/z3++.h | 2 ++ 2 files changed, 3 insertions(+), 9 deletions(-) diff --git a/.travis.yml b/.travis.yml index 3195eb995..03e77990b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -63,15 +63,7 @@ env: # Static build. Note we have disable building the bindings because they won't work with a static libz3 - LINUX_BASE=ubuntu_16.04 C_COMPILER=/usr/bin/gcc-5 CXX_COMPILER=/usr/bin/g++-5 TARGET_ARCH=x86_64 Z3_STATIC_BUILD=1 DOTNET_BINDINGS=0 JAVA_BINDINGS=0 PYTHON_BINDINGS=0 -# macOS (a.k.a OSX) support -matrix: - include: - # For now just test a single configuration. macOS builds on TravisCI are - # very slow so we should keep the number of configurations we test on this - # OS to a minimum. - - os: osx - osx_image: xcode9.2 - env: Z3_BUILD_TYPE=RelWithDebInfo DOTNET_BINDINGS=0 + script: # Use `travis_wait` when doing LTO builds because this configuration will # have long link times during which it will not show any output which diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 425e2e314..5511abe08 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -2309,6 +2309,8 @@ namespace z3 { } friend std::ostream & operator<<(std::ostream & out, model const & m); + + std::string to_string() const { return std::string(Z3_model_to_string(ctx(), m_model); } }; inline std::ostream & operator<<(std::ostream & out, model const & m) { out << Z3_model_to_string(m.ctx(), m); return out; }