From 1bb9a02160d8c4237c4150f682017665bdcb8de8 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Sun, 21 Feb 2021 13:13:19 +0000 Subject: [PATCH] travis timeouts --- .travis.yml | 13 ++++++------- examples/python/all_interval_series.py | 4 ++-- 2 files changed, 8 insertions(+), 9 deletions(-) diff --git a/.travis.yml b/.travis.yml index 41b860d2d..8a01aed20 100644 --- a/.travis.yml +++ b/.travis.yml @@ -22,18 +22,18 @@ env: # amount of time to execute compared to the optimized builds. # clang - - LINUX_BASE=ubuntu_20.04 C_COMPILER=clang CXX_COMPILER=clang++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Debug ASAN_BUILD=1 RUN_UNIT_TESTS=BUILD_AND_RUN DOTNET_BINDINGS=0 JAVA_BINDINGS=0 PYTHON_BINDINGS=0 + - LINUX_BASE=ubuntu_20.04 C_COMPILER=clang CXX_COMPILER=clang++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Debug RUN_UNIT_TESTS=BUILD_AND_RUN - LINUX_BASE=ubuntu_20.04 C_COMPILER=clang CXX_COMPILER=clang++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Release UBSAN_BUILD=1 RUN_UNIT_TESTS=BUILD_AND_RUN - - LINUX_BASE=ubuntu_20.04 C_COMPILER=clang CXX_COMPILER=clang++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=RelWithDebInfo ASAN_BUILD=1 RUN_UNIT_TESTS=BUILD_AND_RUN UBSAN_BUILD=1 RUN_API_EXAMPLES=0 RUN_SYSTEM_TESTS=0 DOTNET_BINDINGS=0 JAVA_BINDINGS=0 PYTHON_BINDINGS=0 + - LINUX_BASE=ubuntu_20.04 C_COMPILER=clang CXX_COMPILER=clang++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Release ASAN_BUILD=1 RUN_UNIT_TESTS=BUILD_AND_RUN DOTNET_BINDINGS=0 JAVA_BINDINGS=0 PYTHON_BINDINGS=0 # gcc # ubsan/msan builds too slow - - LINUX_BASE=ubuntu_20.04 C_COMPILER=gcc CXX_COMPILER=g++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Release UBSAN_BUILD=1 RUN_UNIT_TESTS=BUILD_AND_RUN + - LINUX_BASE=ubuntu_20.04 C_COMPILER=gcc CXX_COMPILER=g++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Release RUN_UNIT_TESTS=BUILD_AND_RUN - LINUX_BASE=ubuntu_20.04 C_COMPILER=gcc CXX_COMPILER=g++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Debug RUN_UNIT_TESTS=BUILD_AND_RUN # GMP library - - LINUX_BASE=ubuntu_20.04 C_COMPILER=gcc CXX_COMPILER=g++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Release USE_LIBGMP=1 RUN_UNIT_TESTS=BUILD_AND_RUN - - LINUX_BASE=ubuntu_20.04 C_COMPILER=gcc CXX_COMPILER=g++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Debug USE_LIBGMP=1 RUN_UNIT_TESTS=BUILD_AND_RUN + - LINUX_BASE=ubuntu_20.04 TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Release USE_LIBGMP=1 RUN_UNIT_TESTS=BUILD_AND_RUN + - LINUX_BASE=ubuntu_20.04 TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Debug USE_LIBGMP=1 RUN_UNIT_TESTS=BUILD_AND_RUN # Test with Python 3 and API docs - LINUX_BASE=ubuntu_20.04 BUILD_DOCS=1 @@ -51,5 +51,4 @@ env: script: # Use `travis_wait` when building because some configurations don't produce an # output for a long time (linking & testing) - #- travis_wait 55 contrib/ci/scripts/travis_ci_entry_point.sh || exit 1; - - contrib/ci/scripts/travis_ci_entry_point.sh || exit 1; + - travis_wait 55 contrib/ci/scripts/travis_ci_entry_point.sh || exit 1; diff --git a/examples/python/all_interval_series.py b/examples/python/all_interval_series.py index 8269303d3..cdea8f721 100644 --- a/examples/python/all_interval_series.py +++ b/examples/python/all_interval_series.py @@ -65,13 +65,13 @@ def process_model(s, xij, n): def all_models(n): count = 0 s, xij = ais(n) - start = time.clock() + start = time.time() while sat == s.check(): block = process_model(s, xij, n) s.add(Not(And(block))) count += 1 print(s.statistics()) - print(time.clock() - start) + print(time.time() - start) print(count) set_option(verbose=1)