Failed to install using command:pip3 install z3-solver

[LanYunDev]

➜ ~ pip3 install z3-solver DEPRECATION: Configuring installation scheme with distutils config files is deprecated and will no longer work in the near future. If you are using a Homebrew or Linuxbrew Python, please see discussion at https://github.com/Homebrew/homebrew-core/issues/76621 Collecting z3-solver Using cached z3-solver-4.8.17.0.tar.gz (4.5 MB) Installing build dependencies ... done Getting requirements to build wheel ... done Preparing metadata (pyproject.toml) ... done Building wheels for collected packages: z3-solver Building wheel for z3-solver (pyproject.toml) ... error error: subprocess-exited-with-error

× Building wheel for z3-solver (pyproject.toml) did not run successfully. │ exit code: 1 ╰─> [204 lines of output] running bdist_wheel running build Configuring Z3 -- The CXX compiler identification is AppleClang 13.1.6.13160021 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Z3 version 4.8.17.0 -- Failed to find git directory. CMake Warning at CMakeLists.txt:51 (message): Disabling Z3_INCLUDE_GIT_DESCRIBE Call Stack (most recent call first): CMakeLists.txt:100 (disable_git_describe)

  CMake Warning at CMakeLists.txt:55 (message):
    Disabling Z3_INCLUDE_GIT_HASH
  Call Stack (most recent call first):
    CMakeLists.txt:101 (disable_git_hash)

  -- CMake generator: Unix Makefiles
  -- Build type: Release
  -- Found PythonInterp: /Library/Frameworks/Python.framework/Versions/2.7/bin/python
  -- PYTHON_EXECUTABLE: /Library/Frameworks/Python.framework/Versions/2.7/bin/python
  -- Detected target architecture: arm64
  -- Platform: Darwin
  -- Not using libgmp
  -- Not using Z3_API_LOG_SYNC
  -- Thread-safe build
  -- Looking for C++ include pthread.h
  -- Looking for C++ include pthread.h - found
  -- Performing Test CMAKE_HAVE_LIBC_PTHREAD
  -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
  -- Found Threads: TRUE
  -- Performing Test HAS__Wall
  -- Performing Test HAS__Wall - Success
  -- C++ compiler supports -Wall
  -- Treating only serious compiler warnings as errors
  -- Performing Test HAS__Werror_odr
  -- Performing Test HAS__Werror_odr - Success
  -- C++ compiler supports -Werror=odr
  -- Performing Test HAS__Werror_delete_non_virtual_dtor
  -- Performing Test HAS__Werror_delete_non_virtual_dtor - Success
  -- C++ compiler supports -Werror=delete-non-virtual-dtor
  -- Performing Test HAS__Werror_overloaded_virtual
  -- Performing Test HAS__Werror_overloaded_virtual - Success
  -- C++ compiler supports -Werror=overloaded-virtual
  -- Performing Test HAS__Werror_non_virtual_dtor
  -- Performing Test HAS__Werror_non_virtual_dtor - Success
  -- C++ compiler supports -Werror=non-virtual-dtor
  -- Performing Test HAS__Werror_null_dereference
  -- Performing Test HAS__Werror_null_dereference - Success
  -- C++ compiler supports -Werror=null-dereference
  -- Performing Test HAS__Werror_no_unreachable_code_return
  -- Performing Test HAS__Werror_no_unreachable_code_return - Failed
  -- C++ compiler does not support -Werror=no-unreachable-code-return
  -- Performing Test HAS__fvisibility_hidden
  -- Performing Test HAS__fvisibility_hidden - Success
  -- C++ compiler supports -fvisibility=hidden
  -- Performing Test HAS__fvisibility_inlines_hidden
  -- Performing Test HAS__fvisibility_inlines_hidden - Success
  -- C++ compiler supports -fvisibility-inlines-hidden
  -- Performing Test HAS__fPIC
  -- Performing Test HAS__fPIC - Success
  -- C++ compiler supports -fPIC
  -- LTO enabled
  -- Performing Test HAS_LTO
  -- Performing Test HAS_LTO - Success
  -- Performing Test BUILTIN_ATOMIC
  -- Performing Test BUILTIN_ATOMIC - Success
  -- CMAKE_CXX_FLAGS: "-std=c++11 -Werror=odr  -Werror=delete-non-virtual-dtor  -Werror=overloaded-virtual  -Werror=non-virtual-dtor  -Werror=null-dereference "
  -- CMAKE_EXE_LINKER_FLAGS: ""
  -- CMAKE_STATIC_LINKER_FLAGS: ""
  -- CMAKE_SHARED_LINKER_FLAGS: ""
  -- CMAKE_CXX_FLAGS_RELEASE: "-O3 -DNDEBUG -flto"
  -- CMAKE_EXE_LINKER_FLAGS_RELEASE: " -flto"
  -- CMAKE_SHARED_LINKER_FLAGS_RELEASE: " -flto"
  -- CMAKE_STATIC_LINKER_FLAGS_RELEASE: " -flto"
  -- Z3_COMPONENT_CXX_DEFINES: $<$<CONFIG:Debug>:Z3DEBUG>;$<$<CONFIG:Release>:_EXTERNAL_RELEASE>;$<$<CONFIG:RelWithDebInfo>:_EXTERNAL_RELEASE>;-D_MP_INTERNAL;$<$<CONFIG:Debug>:_TRACE>
  -- Z3_COMPONENT_CXX_FLAGS: -Wall;-fvisibility=hidden;-fvisibility-inlines-hidden;-fPIC
  -- Z3_DEPENDENT_LIBS: Threads::Threads
  -- Z3_COMPONENT_EXTRA_INCLUDE_DIRS: /private/var/folders/9y/mkk3rkyd065g3x6jwd3pl1hc0000gn/T/pip-install-2dhlww0x/z3-solver_d2e7ef9364d14dbba481c184d869d774/core/build/src;/private/var/folders/9y/mkk3rkyd065g3x6jwd3pl1hc0000gn/T/pip-install-2dhlww0x/z3-solver_d2e7ef9364d14dbba481c184d869d774/core/src
  -- Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS:
  -- CMAKE_INSTALL_LIBDIR: "lib"
  -- CMAKE_INSTALL_BINDIR: "bin"
  -- CMAKE_INSTALL_INCLUDEDIR: "include"
  -- CMAKE_INSTALL_PKGCONFIGDIR: "lib/pkgconfig"
  -- CMAKE_INSTALL_Z3_CMAKE_PACKAGE_DIR: "lib/cmake/z3"
  -- Adding component util
  -- Adding component polynomial
  -- Adding rule to generate "algebraic_params.hpp"
  -- Adding component dd
  -- Adding component hilbert
  -- Adding component simplex
  -- Adding component automata
  -- Adding component interval
  -- Adding component realclosure
  -- Adding rule to generate "rcf_params.hpp"
  -- Adding component subpaving
  -- Adding component ast
  -- Adding rule to generate "pp_params.hpp"
  -- Adding component params
  -- Adding rule to generate "arith_rewriter_params.hpp"
  -- Adding rule to generate "array_rewriter_params.hpp"
  -- Adding rule to generate "bool_rewriter_params.hpp"
  -- Adding rule to generate "bv_rewriter_params.hpp"
  -- Adding rule to generate "fpa_rewriter_params.hpp"
  -- Adding rule to generate "fpa2bv_rewriter_params.hpp"
  -- Adding rule to generate "pattern_inference_params_helper.hpp"
  -- Adding rule to generate "poly_rewriter_params.hpp"
  -- Adding rule to generate "rewriter_params.hpp"
  -- Adding rule to generate "seq_rewriter_params.hpp"
  -- Adding component rewriter
  -- Adding component normal_forms
  -- Adding rule to generate "nnf_params.hpp"
  -- Adding component macros
  -- Adding component model
  -- Adding rule to generate "model_evaluator_params.hpp"
  -- Adding rule to generate "model_params.hpp"
  -- Adding component tactic
  -- Adding rule to generate "tactic_params.hpp"
  -- Adding component substitution
  -- Adding component euf
  -- Adding component smt_params
  -- Adding rule to generate "smt_params_helper.hpp"
  -- Adding component parser_util
  -- Adding rule to generate "parser_params.hpp"
  -- Adding component grobner
  -- Adding component sat
  -- Adding rule to generate "sat_asymm_branch_params.hpp"
  -- Adding rule to generate "sat_params.hpp"
  -- Adding rule to generate "sat_scc_params.hpp"
  -- Adding rule to generate "sat_simplifier_params.hpp"
  -- Adding component nlsat
  -- Adding rule to generate "nlsat_params.hpp"
  -- Adding component core_tactics
  -- Adding component subpaving_tactic
  -- Adding component aig_tactic
  -- Adding component arith_tactics
  -- Adding component solver
  -- Adding rule to generate "combined_solver_params.hpp"
  -- Adding rule to generate "parallel_params.hpp"
  -- Adding rule to generate "solver_params.hpp"
  -- Adding component cmd_context
  -- Adding component extra_cmds
  -- Adding component smt2parser
  -- Adding component mbp
  -- Adding component qe_lite
  -- Adding component solver_assertions
  -- Adding component pattern
  -- Adding component bit_blaster
  -- Adding component lp
  -- Adding component sat_smt
  -- Adding component sat_tactic
  -- Adding component nlsat_tactic
  -- Adding component ackermannization
  -- Adding rule to generate "ackermannization_params.hpp"
  -- Adding rule to generate "ackermannize_bv_tactic_params.hpp"
  -- Adding component proofs
  -- Adding component fpa
  -- Adding component proto_model
  -- Adding component smt
  -- Adding component bv_tactics
  -- Adding component smt_tactic
  -- Adding component sls_tactic
  -- Adding rule to generate "sls_params.hpp"
  -- Adding component qe
  -- Adding component muz
  -- Adding rule to generate "fp_params.hpp"
  -- Adding component dataflow
  -- Adding component transforms
  -- Adding component rel
  -- Adding component clp
  -- Adding component tab
  -- Adding component bmc
  -- Adding component ddnf
  -- Adding component spacer
  -- Adding component fp
  -- Adding component ufbv_tactic
  -- Adding component sat_solver
  -- Adding component smtlogic_tactics
  -- Adding rule to generate "qfufbv_tactic_params.hpp"
  -- Adding component fpa_tactics
  -- Adding component fd_solver
  -- Adding component portfolio
  -- Adding component opt
  -- Adding rule to generate "opt_params.hpp"
  -- Adding component api
  -- Adding component api_dll
  -- Emitting rules to build Z3 python bindings
  -- Emitting rules to install Z3 python bindings
  -- CMAKE_INSTALL_PYTHON_PKG_DIR not set. Trying to guess
  AttributeError: DistutilsMetaFinder instance has no attribute 'find_module'
  CMake Error at src/api/python/CMakeLists.txt:107 (message):
    Failed to determine your Python package directory

  -- Configuring incomplete, errors occurred!
  See also "/private/var/folders/9y/mkk3rkyd065g3x6jwd3pl1hc0000gn/T/pip-install-2dhlww0x/z3-solver_d2e7ef9364d14dbba481c184d869d774/core/build/CMakeFiles/CMakeOutput.log".
  See also "/private/var/folders/9y/mkk3rkyd065g3x6jwd3pl1hc0000gn/T/pip-install-2dhlww0x/z3-solver_d2e7ef9364d14dbba481c184d869d774/core/build/CMakeFiles/CMakeError.log".
  error: Unable to configure Z3.
  [end of output]

note: This error originates from a subprocess, and is likely not a problem with pip. ERROR: Failed building wheel for z3-solver Failed to build z3-solver ERROR: Could not build wheels for z3-solver, which is required to install pyproject.toml-based projects

Above is the error message, below is my python 3.10 location and other information

➜ ~ which python3.10 /opt/local/bin/python3.10 ➜ ~ python3.10 -m site sys.path = [ '/Users/lanyun', '/opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python310.zip', '/opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10', '/opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/lib-dynload', '/opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages', ] USER_BASE: '/Users/lanyun/Library/Python/3.10' (exists) USER_SITE: '/Users/lanyun/Library/Python/3.10/lib/python/site-packages' (doesn't exist) ENABLE_USER_SITE: True

[NikolajBjorner]

We don't have native wheels released for M1 at this point, so pip relies on you building it. Unfortunately, there may be some platform issues.

The error appears to be: "AttributeError: DistutilsMetaFinder instance has no attribute 'find_module'"

At this point you are on your own for M1/M2/.. and would have to figure out what is the issue. A web search for AttributeError DistutilsMetaFinder suggests there are some similar issues to take inspiration from.

[LanYunDev]

I'm sorry, I looked up some similar issues through the search engine, but it still didn't solve the problem, I tried to build the build to install it, but it still seems to have problems.

Tried

python3.10 scripts/mk_make.py --prefix=/opt/local/Library/Frameworks/Python.framework/Versions/3.10 --python --pypkgdir=/opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages && cd build && make && sudo make install 

Still no solution to the problem of not being able to use z3 If you can help me or tell me what to do, I would appreciate it.

[LanYunDev]

When I use this command.

python3.10 scripts/mk_make.py --python --pypkgdir=/opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/site-packages

when rebuilding and installing, this error occurred.

Click on me to see the error message.

------------------------------------- Translated Report (Full Report Below) ------------------------------------- Process: Python [66269] Path: /opt/local/Library/Frameworks/Python.framework/Versions/3.10/Resources/Python.app/Contents/MacOS/Python Identifier: org.python.python Version: 3.10.4 (3.10.4) Code Type: ARM-64 (Native) Parent Process: pycharm [65827] Responsible: pycharm [65827] User ID: 501 Date/Time: 2022-05-13 10:17:50.4033 +0800 OS Version: macOS 12.3.1 (21E258) Report Version: 12 Anonymous UUID: 45766FCD-D3FD-B3CF-BD92-66324EB4DF58 Sleep/Wake UUID: 392FF425-4DB5-4ECC-A48F-00F681979DF0 Time Awake Since Boot: 150000 seconds Time Since Wake: 7081 seconds System Integrity Protection: enabled Crashed Thread: 0 Dispatch queue: com.apple.main-thread Exception Type: EXC_BAD_ACCESS (SIGKILL (Code Signature Invalid)) Exception Codes: UNKNOWN_0x32 at 0x00000001039cc000 Exception Codes: 0x0000000000000032, 0x00000001039cc000 Exception Note: EXC_CORPSE_NOTIFY Termination Reason: Namespace CODESIGNING, Code 2 VM Region Info: 0x1039cc000 is in 0x1039cc000-0x104ebc000; bytes after start: 0 bytes before end: 21954559 REGION TYPE START - END [ VSIZE] PRT/MAX SHRMOD REGION DETAIL VM_ALLOCATE 1038cc000-1039cc000 [ 1024K] rw-/rwx SM=PRV ---> mapped file 1039cc000-104ebc000 [ 20.9M] r--/rwx SM=COW ...t_id=7e8f36ad GAP OF 0x2f44000 BYTES MALLOC_TINY 107e00000-107f00000 [ 1024K] rw-/rwx SM=PRV Thread 0 Crashed:: Dispatch queue: com.apple.main-thread 0 dyld 0x10279a510 dyld3::MachOFile::compatibleSlice(Diagnostics&, void const*, unsigned long, char const*, dyld3::Platform, bool, dyld3::GradedArchs const&) + 76 1 dyld 0x10277e940 invocation function for block in dyld4::JustInTimeLoader::makeJustInTimeLoaderDisk(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&, bool, unsigned int) + 96 2 dyld 0x10277e940 invocation function for block in dyld4::JustInTimeLoader::makeJustInTimeLoaderDisk(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&, bool, unsigned int) + 96 3 dyld 0x102783d3c dyld4::SyscallDelegate::withReadOnlyMappedFile(Diagnostics&, char const*, bool, void (void const*, unsigned long, bool, dyld4::FileID const&, char const*) block_pointer) const + 132 4 dyld 0x10277e8ac dyld4::JustInTimeLoader::makeJustInTimeLoaderDisk(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&, bool, unsigned int) + 204 5 dyld 0x1027786e4 invocation function for block in dyld4::Loader::getLoader(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&) + 1384 6 dyld 0x102777bd4 dyld4::Loader::forEachResolvedAtPathVar(dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&, dyld4::ProcessConfig::PathOverrides::Type, bool&, void (char const*, dyld4::ProcessConfig::PathOverrides::Type, bool&) block_pointer) + 780 7 dyld 0x102777800 invocation function for block in dyld4::Loader::forEachPath(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&, void (char const*, dyld4::ProcessConfig::PathOverrides::Type, bool&) block_pointer) + 148 8 dyld 0x10276dec4 dyld4::ProcessConfig::PathOverrides::forEachPathVariant(char const*, dyld3::Platform, bool, bool&, void (char const*, dyld4::ProcessConfig::PathOverrides::Type, bool&) block_pointer) const + 672 9 dyld 0x102777754 dyld4::Loader::forEachPath(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&, void (char const*, dyld4::ProcessConfig::PathOverrides::Type, bool&) block_pointer) + 172 10 dyld 0x102777f74 dyld4::Loader::getLoader(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&) + 864 11 dyld 0x102789c90 invocation function for block in dyld4::APIs::dlopen_from(char const*, int, void*) + 248 12 dyld 0x10276ea5c dyld4::RuntimeState::withLoadersWriteLock(void () block_pointer) + 100 13 dyld 0x1027899ac dyld4::APIs::dlopen_from(char const*, int, void*) + 528 14 _ctypes.cpython-310-darwin.so 0x102b70648 py_dl_open + 144 15 Python 0x102ce3628 cfunction_call + 96 16 Python 0x102c90bbc _PyObject_MakeTpCall + 136 17 Python 0x102d8cfa0 call_function + 272 18 Python 0x102d8ac64 _PyEval_EvalFrameDefault + 42868 19 Python 0x102d7f244 _PyEval_Vector + 376 20 Python 0x102c90e24 _PyObject_FastCallDictTstate + 96 21 Python 0x102d082e4 slot_tp_init + 196 22 Python 0x102d0023c type_call + 288 23 Python 0x102c90bbc _PyObject_MakeTpCall + 136 24 Python 0x102d8cfa0 call_function + 272 25 Python 0x102d8ac3c _PyEval_EvalFrameDefault + 42828 26 Python 0x102d7f244 _PyEval_Vector + 376 27 Python 0x102d7f0b8 PyEval_EvalCode + 104 28 Python 0x102d79eec builtin_exec + 388 29 Python 0x102ce3f28 cfunction_vectorcall_FASTCALL + 88 30 Python 0x102d8ae0c _PyEval_EvalFrameDefault + 43292 31 Python 0x102d7f244 _PyEval_Vector + 376 32 Python 0x102d8cf10 call_function + 128 33 Python 0x102d8ac3c _PyEval_EvalFrameDefault + 42828 34 Python 0x102d7f244 _PyEval_Vector + 376 35 Python 0x102d8cf10 call_function + 128 36 Python 0x102d8abc4 _PyEval_EvalFrameDefault + 42708 37 Python 0x102d7f244 _PyEval_Vector + 376 38 Python 0x102d8cf10 call_function + 128 39 Python 0x102d8ac64 _PyEval_EvalFrameDefault + 42868 40 Python 0x102d7f244 _PyEval_Vector + 376 41 Python 0x102d8cf10 call_function + 128 42 Python 0x102d8ac64 _PyEval_EvalFrameDefault + 42868 43 Python 0x102d7f244 _PyEval_Vector + 376 44 Python 0x102c92620 object_vacall + 224 45 Python 0x102c927e8 _PyObject_CallMethodIdObjArgs + 112 46 Python 0x102db3818 PyImport_ImportModuleLevelObject + 2588 47 Python 0x102d7890c builtin___import__ + 108 48 Python 0x102ce3604 cfunction_call + 60 49 Python 0x102c915dc _PyObject_Call + 128 50 Python 0x102d8ae0c _PyEval_EvalFrameDefault + 43292 51 Python 0x102d7f244 _PyEval_Vector + 376 52 Python 0x102d8cf10 call_function + 128 53 Python 0x102d8ac64 _PyEval_EvalFrameDefault + 42868 54 Python 0x102d7f244 _PyEval_Vector + 376 55 Python 0x102c92620 object_vacall + 224 56 Python 0x102c927e8 _PyObject_CallMethodIdObjArgs + 112 57 Python 0x102db30f0 PyImport_ImportModuleLevelObject + 756 58 Python 0x102d87cec _PyEval_EvalFrameDefault + 30716 59 Python 0x102d7f244 _PyEval_Vector + 376 60 Python 0x102d7f0b8 PyEval_EvalCode + 104 61 Python 0x102d79eec builtin_exec + 388 62 Python 0x102ce3f28 cfunction_vectorcall_FASTCALL + 88 63 Python 0x102d8ae0c _PyEval_EvalFrameDefault + 43292 64 Python 0x102d7f244 _PyEval_Vector + 376 65 Python 0x102d8cf10 call_function + 128 66 Python 0x102d8ac3c _PyEval_EvalFrameDefault + 42828 67 Python 0x102d7f244 _PyEval_Vector + 376 68 Python 0x102d8cf10 call_function + 128 69 Python 0x102d8abc4 _PyEval_EvalFrameDefault + 42708 70 Python 0x102d7f244 _PyEval_Vector + 376 71 Python 0x102d8cf10 call_function + 128 72 Python 0x102d8ac64 _PyEval_EvalFrameDefault + 42868 73 Python 0x102d7f244 _PyEval_Vector + 376 74 Python 0x102d8cf10 call_function + 128 75 Python 0x102d8ac64 _PyEval_EvalFrameDefault + 42868 76 Python 0x102d7f244 _PyEval_Vector + 376 77 Python 0x102c92620 object_vacall + 224 78 Python 0x102c927e8 _PyObject_CallMethodIdObjArgs + 112 79 Python 0x102db3818 PyImport_ImportModuleLevelObject + 2588 80 Python 0x102d87cec _PyEval_EvalFrameDefault + 30716 81 Python 0x102d7f244 _PyEval_Vector + 376 82 Python 0x102d7f0b8 PyEval_EvalCode + 104 83 Python 0x102d79eec builtin_exec + 388 84 Python 0x102ce3f28 cfunction_vectorcall_FASTCALL + 88 85 Python 0x102d8ae0c _PyEval_EvalFrameDefault + 43292 86 Python 0x102d7f244 _PyEval_Vector + 376 87 Python 0x102d8cf10 call_function + 128 88 Python 0x102d8ac3c _PyEval_EvalFrameDefault + 42828 89 Python 0x102d7f244 _PyEval_Vector + 376 90 Python 0x102d8cf10 call_function + 128 91 Python 0x102d8abc4 _PyEval_EvalFrameDefault + 42708 92 Python 0x102d7f244 _PyEval_Vector + 376 93 Python 0x102d8cf10 call_function + 128 94 Python 0x102d8ac64 _PyEval_EvalFrameDefault + 42868 95 Python 0x102d7f244 _PyEval_Vector + 376 96 Python 0x102d8cf10 call_function + 128 97 Python 0x102d8ac64 _PyEval_EvalFrameDefault + 42868 98 Python 0x102d7f244 _PyEval_Vector + 376 99 Python 0x102c92620 object_vacall + 224 100 Python 0x102c927e8 _PyObject_CallMethodIdObjArgs + 112 101 Python 0x102db3818 PyImport_ImportModuleLevelObject + 2588 102 Python 0x102d87cec _PyEval_EvalFrameDefault + 30716 103 Python 0x102d7f244 _PyEval_Vector + 376 104 Python 0x102d7f0b8 PyEval_EvalCode + 104 105 Python 0x102dd7cb4 run_eval_code_obj + 84 106 Python 0x102dd7bfc run_mod + 112 107 Python 0x102dd7868 pyrun_file + 148 108 Python 0x102dd717c _PyRun_SimpleFileObject + 268 109 Python 0x102dd67b0 _PyRun_AnyFileObject + 232 110 Python 0x102df899c pymain_run_file_obj + 220 111 Python 0x102df80ec pymain_run_file + 72 112 Python 0x102df795c Py_RunMain + 868 113 Python 0x102df8b08 pymain_main + 36 114 Python 0x102df8d7c Py_BytesMain + 40 115 dyld 0x102769088 start + 516 Thread 0 crashed with ARM Thread State (64-bit): x0: 0x000000016d81c438 x1: 0x00000001039cc000 x2: 0x00000000014efaf8 x3: 0x00000001038db380 x4: 0x0000000000000001 x5: 0x0000000000000000 x6: 0x00000001027b7160 x7: 0x0000000000000980 x8: 0x33a20a1dd1670050 x9: 0x000000010277e8e0 x10: 0x0000000000000000 x11: 0x0000000000000001 x12: 0x00000001038db382 x13: 0x0000000000000000 x14: 0x000000024c9d001a x15: 0x0000000102f18c40 x16: 0x0000000000000006 x17: 0x6ae100016d81c360 x18: 0x0000000000000000 x19: 0x000000016d81c438 x20: 0x00000001038db380 x21: 0x0000000000000001 x22: 0x00000001039cc000 x23: 0x00000001027b7160 x24: 0x0000000000000000 x25: 0x00000000014efaf8 x26: 0x00000001025ebfe8 x27: 0x0000000000000000 x28: 0x0000000000000000 fp: 0x000000016d81bdd0 lr: 0xfe0380010277e940 sp: 0x000000016d81bc30 pc: 0x000000010279a510 cpsr: 0x00001000 far: 0x00000001039cc000 esr: 0x92000007 (Data Abort) byte read Translation fault Binary Images: 0x102764000 - 0x1027c3fff dyld (*) /usr/lib/dyld 0x102b64000 - 0x102b77fff _ctypes.cpython-310-darwin.so (*) <1b80f9b7-78fb-3fe4-98e2-2e887a442ad2> /opt/local/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/lib-dynload/_ctypes.cpython-310-darwin.so 0x102c20000 - 0x102efbfff org.python.python (3.10.4, (c) 2001-2021 Python Software Foundation.) /opt/local/Library/Frameworks/Python.framework/Versions/3.10/Python 0x0 - 0xffffffffffffffff ??? (*) <00000000-0000-0000-0000-000000000000> ??? External Modification Summary: Calls made by other processes targeting this process: task_for_pid: 0 thread_create: 0 thread_set_state: 0 Calls made by this process: task_for_pid: 0 thread_create: 0 thread_set_state: 0 Calls made by all processes on this machine: task_for_pid: 0 thread_create: 0 thread_set_state: 0 VM Region Summary: ReadOnly portion of Libraries: Total=603.1M resident=0K(0%) swapped_out_or_unallocated=603.1M(100%) Writable regions: Total=1.3G written=0K(0%) resident=0K(0%) swapped_out=0K(0%) unallocated=1.3G(100%) VIRTUAL REGION REGION TYPE SIZE COUNT (non-coalesced) =========== ======= ======= Kernel Alloc Once 32K 1 MALLOC 230.2M 27 MALLOC guard page 96K 4 MALLOC_MEDIUM (reserved) 720.0M 6 reserved VM address space (unallocated) MALLOC_NANO (reserved) 384.0M 1 reserved VM address space (unallocated) STACK GUARD 16K 1 Stack 16.0M 1 VM_ALLOCATE 10.0M 10 __AUTH 53K 12 __AUTH_CONST 1023K 43 __DATA 835K 66 __DATA_CONST 3234K 73 __DATA_DIRTY 93K 23 __LINKEDIT 585.5M 31 __OBJC_CONST 37K 6 __OBJC_RO 82.9M 1 __OBJC_RW 3152K 1 __TEXT 17.6M 76 __UNICODE 592K 1 dyld private memory 1024K 1 mapped file 20.9M 1 shared memory 32K 2 =========== ======= ======= TOTAL 2.0G 388 TOTAL, minus reserved VM space 973.1M 388 ----------- Full Report ----------- {"app_name":"Python","timestamp":"2022-05-13 10:17:50.00 +0800","app_version":"3.10.4","slice_uuid":"ae6e2452-4e9f-32b5-b293-9a11f7bb56b6","build_version":"3.10.4","platform":1,"bundleID":"org.python.python","share_with_app_devs":1,"is_first_party":0,"bug_type":"309","os_version":"macOS 12.3.1 (21E258)","incident_id":"FB0C8502-AFFD-4F20-B108-9AADF199BD58","name":"Python"} { "uptime" : 150000, "procLaunch" : "2022-05-13 10:17:50.2672 +0800", "procRole" : "Unspecified", "version" : 2, "userID" : 501, "deployVersion" : 210, "modelCode" : "MacBookPro18,2", "procStartAbsTime" : 3684381816609, "coalitionID" : 15571, "osVersion" : { "train" : "macOS 12.3.1", "build" : "21E258", "releaseType" : "User" }, "captureTime" : "2022-05-13 10:17:50.4033 +0800", "incident" : "FB0C8502-AFFD-4F20-B108-9AADF199BD58", "bug_type" : "309", "pid" : 66269, "procExitAbsTime" : 3684385073408, "translated" : false, "cpuType" : "ARM-64", "procName" : "Python", "procPath" : "\/opt\/local\/Library\/Frameworks\/Python.framework\/Versions\/3.10\/Resources\/Python.app\/Contents\/MacOS\/Python", "bundleInfo" : {"CFBundleShortVersionString":"3.10.4","CFBundleVersion":"3.10.4","CFBundleIdentifier":"org.python.python"}, "storeInfo" : {"deviceIdentifierForVendor":"7540E2E1-8988-52E5-800B-D6D9E1702409","thirdParty":true}, "parentProc" : "pycharm", "parentPid" : 65827, "coalitionName" : "com.jetbrains.pycharm", "crashReporterKey" : "45766FCD-D3FD-B3CF-BD92-66324EB4DF58", "responsiblePid" : 65827, "responsibleProc" : "pycharm", "wakeTime" : 7081, "sleepWakeUUID" : "392FF425-4DB5-4ECC-A48F-00F681979DF0", "sip" : "enabled", "vmRegionInfo" : "0x1039cc000 is in 0x1039cc000-0x104ebc000; bytes after start: 0 bytes before end: 21954559\n REGION TYPE START - END [ VSIZE] PRT\/MAX SHRMOD REGION DETAIL\n VM_ALLOCATE 1038cc000-1039cc000 [ 1024K] rw-\/rwx SM=PRV \n---> mapped file 1039cc000-104ebc000 [ 20.9M] r--\/rwx SM=COW ...t_id=7e8f36ad\n GAP OF 0x2f44000 BYTES\n MALLOC_TINY 107e00000-107f00000 [ 1024K] rw-\/rwx SM=PRV ", "isCorpse" : 1, "exception" : {"codes":"0x0000000000000032, 0x00000001039cc000","rawCodes":[50,4355571712],"type":"EXC_BAD_ACCESS","signal":"SIGKILL (Code Signature Invalid)","subtype":"UNKNOWN_0x32 at 0x00000001039cc000"}, "termination" : {"namespace":"CODESIGNING","flags":0,"code":2}, "vmregioninfo" : "0x1039cc000 is in 0x1039cc000-0x104ebc000; bytes after start: 0 bytes before end: 21954559\n REGION TYPE START - END [ VSIZE] PRT\/MAX SHRMOD REGION DETAIL\n VM_ALLOCATE 1038cc000-1039cc000 [ 1024K] rw-\/rwx SM=PRV \n---> mapped file 1039cc000-104ebc000 [ 20.9M] r--\/rwx SM=COW ...t_id=7e8f36ad\n GAP OF 0x2f44000 BYTES\n MALLOC_TINY 107e00000-107f00000 [ 1024K] rw-\/rwx SM=PRV ", "extMods" : {"caller":{"thread_create":0,"thread_set_state":0,"task_for_pid":0},"system":{"thread_create":0,"thread_set_state":0,"task_for_pid":0},"targeted":{"thread_create":0,"thread_set_state":0,"task_for_pid":0},"warnings":0}, "faultingThread" : 0, "threads" : [{"triggered":true,"id":8540675,"threadState":{"x":[{"value":6132188216},{"value":4355571712},{"value":21953272},{"value":4354585472},{"value":1},{"value":0},{"value":4336611680,"symbolLocation":0,"symbol":"dyld3::GradedArchs::arm64e_keysoff"},{"value":2432},{"value":3720547365344968784},{"value":4336380128,"symbolLocation":0,"symbol":"invocation function for block in dyld4::JustInTimeLoader::makeJustInTimeLoaderDisk(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&, bool, unsigned int)"},{"value":0},{"value":1},{"value":4354585474},{"value":0},{"value":9875292186},{"value":4344351808,"symbolLocation":0,"symbol":"usedpools"},{"value":6},{"value":7701436843912446816},{"value":0},{"value":6132188216},{"value":4354585472},{"value":1},{"value":4355571712},{"value":4336611680,"symbolLocation":0,"symbol":"dyld3::GradedArchs::arm64e_keysoff"},{"value":0},{"value":21953272},{"value":4334731240},{"value":0},{"value":0}],"flavor":"ARM_THREAD_STATE64","lr":{"value":18303614052388563264},"cpsr":{"value":4096},"fp":{"value":6132186576},"sp":{"value":6132186160},"esr":{"value":2449473543,"description":"(Data Abort) byte read Translation fault"},"pc":{"value":4336493840,"matchesCrashFrame":1},"far":{"value":4355571712}},"queue":"com.apple.main-thread","frames":[{"imageOffset":222480,"symbol":"dyld3::MachOFile::compatibleSlice(Diagnostics&, void const*, unsigned long, char const*, dyld3::Platform, bool, dyld3::GradedArchs const&)","symbolLocation":76,"imageIndex":0},{"imageOffset":108864,"symbol":"invocation function for block in dyld4::JustInTimeLoader::makeJustInTimeLoaderDisk(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&, bool, unsigned int)","symbolLocation":96,"imageIndex":0},{"imageOffset":108864,"symbol":"invocation function for block in dyld4::JustInTimeLoader::makeJustInTimeLoaderDisk(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&, bool, unsigned int)","symbolLocation":96,"imageIndex":0},{"imageOffset":130364,"symbol":"dyld4::SyscallDelegate::withReadOnlyMappedFile(Diagnostics&, char const*, bool, void (void const*, unsigned long, bool, dyld4::FileID const&, char const*) block_pointer) const","symbolLocation":132,"imageIndex":0},{"imageOffset":108716,"symbol":"dyld4::JustInTimeLoader::makeJustInTimeLoaderDisk(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&, bool, unsigned int)","symbolLocation":204,"imageIndex":0},{"imageOffset":83684,"symbol":"invocation function for block in dyld4::Loader::getLoader(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&)","symbolLocation":1384,"imageIndex":0},{"imageOffset":80852,"symbol":"dyld4::Loader::forEachResolvedAtPathVar(dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&, dyld4::ProcessConfig::PathOverrides::Type, bool&, void (char const*, dyld4::ProcessConfig::PathOverrides::Type, bool&) block_pointer)","symbolLocation":780,"imageIndex":0},{"imageOffset":79872,"symbol":"invocation function for block in dyld4::Loader::forEachPath(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&, void (char const*, dyld4::ProcessConfig::PathOverrides::Type, bool&) block_pointer)","symbolLocation":148,"imageIndex":0},{"imageOffset":40644,"symbol":"dyld4::ProcessConfig::PathOverrides::forEachPathVariant(char const*, dyld3::Platform, bool, bool&, void (char const*, dyld4::ProcessConfig::PathOverrides::Type, bool&) block_pointer) const","symbolLocation":672,"imageIndex":0},{"imageOffset":79700,"symbol":"dyld4::Loader::forEachPath(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&, void (char const*, dyld4::ProcessConfig::PathOverrides::Type, bool&) block_pointer)","symbolLocation":172,"imageIndex":0},{"imageOffset":81780,"symbol":"dyld4::Loader::getLoader(Diagnostics&, dyld4::RuntimeState&, char const*, dyld4::Loader::LoadOptions const&)","symbolLocation":864,"imageIndex":0},{"imageOffset":154768,"symbol":"invocation function for block in dyld4::APIs::dlopen_from(char const*, int, void*)","symbolLocation":248,"imageIndex":0},{"imageOffset":43612,"symbol":"dyld4::RuntimeState::withLoadersWriteLock(void () block_pointer)","symbolLocation":100,"imageIndex":0},{"imageOffset":154028,"symbol":"dyld4::APIs::dlopen_from(char const*, int, void*)","symbolLocation":528,"imageIndex":0},{"imageOffset":50760,"symbol":"py_dl_open","symbolLocation":144,"imageIndex":1},{"imageOffset":800296,"symbol":"cfunction_call","symbolLocation":96,"imageIndex":2},{"imageOffset":461756,"symbol":"_PyObject_MakeTpCall","symbolLocation":136,"imageIndex":2},{"imageOffset":1494944,"symbol":"call_function","symbolLocation":272,"imageIndex":2},{"imageOffset":1485924,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42868,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":462372,"symbol":"_PyObject_FastCallDictTstate","symbolLocation":96,"imageIndex":2},{"imageOffset":951012,"symbol":"slot_tp_init","symbolLocation":196,"imageIndex":2},{"imageOffset":918076,"symbol":"type_call","symbolLocation":288,"imageIndex":2},{"imageOffset":461756,"symbol":"_PyObject_MakeTpCall","symbolLocation":136,"imageIndex":2},{"imageOffset":1494944,"symbol":"call_function","symbolLocation":272,"imageIndex":2},{"imageOffset":1485884,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42828,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1437880,"symbol":"PyEval_EvalCode","symbolLocation":104,"imageIndex":2},{"imageOffset":1416940,"symbol":"builtin_exec","symbolLocation":388,"imageIndex":2},{"imageOffset":802600,"symbol":"cfunction_vectorcall_FASTCALL","symbolLocation":88,"imageIndex":2},{"imageOffset":1486348,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":43292,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1494800,"symbol":"call_function","symbolLocation":128,"imageIndex":2},{"imageOffset":1485884,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42828,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1494800,"symbol":"call_function","symbolLocation":128,"imageIndex":2},{"imageOffset":1485764,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42708,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1494800,"symbol":"call_function","symbolLocation":128,"imageIndex":2},{"imageOffset":1485924,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42868,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1494800,"symbol":"call_function","symbolLocation":128,"imageIndex":2},{"imageOffset":1485924,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42868,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":468512,"symbol":"object_vacall","symbolLocation":224,"imageIndex":2},{"imageOffset":468968,"symbol":"_PyObject_CallMethodIdObjArgs","symbolLocation":112,"imageIndex":2},{"imageOffset":1652760,"symbol":"PyImport_ImportModuleLevelObject","symbolLocation":2588,"imageIndex":2},{"imageOffset":1411340,"symbol":"builtin___import__","symbolLocation":108,"imageIndex":2},{"imageOffset":800260,"symbol":"cfunction_call","symbolLocation":60,"imageIndex":2},{"imageOffset":464348,"symbol":"_PyObject_Call","symbolLocation":128,"imageIndex":2},{"imageOffset":1486348,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":43292,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1494800,"symbol":"call_function","symbolLocation":128,"imageIndex":2},{"imageOffset":1485924,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42868,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":468512,"symbol":"object_vacall","symbolLocation":224,"imageIndex":2},{"imageOffset":468968,"symbol":"_PyObject_CallMethodIdObjArgs","symbolLocation":112,"imageIndex":2},{"imageOffset":1650928,"symbol":"PyImport_ImportModuleLevelObject","symbolLocation":756,"imageIndex":2},{"imageOffset":1473772,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":30716,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1437880,"symbol":"PyEval_EvalCode","symbolLocation":104,"imageIndex":2},{"imageOffset":1416940,"symbol":"builtin_exec","symbolLocation":388,"imageIndex":2},{"imageOffset":802600,"symbol":"cfunction_vectorcall_FASTCALL","symbolLocation":88,"imageIndex":2},{"imageOffset":1486348,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":43292,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1494800,"symbol":"call_function","symbolLocation":128,"imageIndex":2},{"imageOffset":1485884,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42828,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1494800,"symbol":"call_function","symbolLocation":128,"imageIndex":2},{"imageOffset":1485764,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42708,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1494800,"symbol":"call_function","symbolLocation":128,"imageIndex":2},{"imageOffset":1485924,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42868,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1494800,"symbol":"call_function","symbolLocation":128,"imageIndex":2},{"imageOffset":1485924,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42868,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":468512,"symbol":"object_vacall","symbolLocation":224,"imageIndex":2},{"imageOffset":468968,"symbol":"_PyObject_CallMethodIdObjArgs","symbolLocation":112,"imageIndex":2},{"imageOffset":1652760,"symbol":"PyImport_ImportModuleLevelObject","symbolLocation":2588,"imageIndex":2},{"imageOffset":1473772,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":30716,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1437880,"symbol":"PyEval_EvalCode","symbolLocation":104,"imageIndex":2},{"imageOffset":1416940,"symbol":"builtin_exec","symbolLocation":388,"imageIndex":2},{"imageOffset":802600,"symbol":"cfunction_vectorcall_FASTCALL","symbolLocation":88,"imageIndex":2},{"imageOffset":1486348,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":43292,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1494800,"symbol":"call_function","symbolLocation":128,"imageIndex":2},{"imageOffset":1485884,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42828,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1494800,"symbol":"call_function","symbolLocation":128,"imageIndex":2},{"imageOffset":1485764,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42708,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1494800,"symbol":"call_function","symbolLocation":128,"imageIndex":2},{"imageOffset":1485924,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42868,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1494800,"symbol":"call_function","symbolLocation":128,"imageIndex":2},{"imageOffset":1485924,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":42868,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":468512,"symbol":"object_vacall","symbolLocation":224,"imageIndex":2},{"imageOffset":468968,"symbol":"_PyObject_CallMethodIdObjArgs","symbolLocation":112,"imageIndex":2},{"imageOffset":1652760,"symbol":"PyImport_ImportModuleLevelObject","symbolLocation":2588,"imageIndex":2},{"imageOffset":1473772,"symbol":"_PyEval_EvalFrameDefault","symbolLocation":30716,"imageIndex":2},{"imageOffset":1438276,"symbol":"_PyEval_Vector","symbolLocation":376,"imageIndex":2},{"imageOffset":1437880,"symbol":"PyEval_EvalCode","symbolLocation":104,"imageIndex":2},{"imageOffset":1801396,"symbol":"run_eval_code_obj","symbolLocation":84,"imageIndex":2},{"imageOffset":1801212,"symbol":"run_mod","symbolLocation":112,"imageIndex":2},{"imageOffset":1800296,"symbol":"pyrun_file","symbolLocation":148,"imageIndex":2},{"imageOffset":1798524,"symbol":"_PyRun_SimpleFileObject","symbolLocation":268,"imageIndex":2},{"imageOffset":1796016,"symbol":"_PyRun_AnyFileObject","symbolLocation":232,"imageIndex":2},{"imageOffset":1935772,"symbol":"pymain_run_file_obj","symbolLocation":220,"imageIndex":2},{"imageOffset":1933548,"symbol":"pymain_run_file","symbolLocation":72,"imageIndex":2},{"imageOffset":1931612,"symbol":"Py_RunMain","symbolLocation":868,"imageIndex":2},{"imageOffset":1936136,"symbol":"pymain_main","symbolLocation":36,"imageIndex":2},{"imageOffset":1936764,"symbol":"Py_BytesMain","symbolLocation":40,"imageIndex":2},{"imageOffset":20616,"symbol":"start","symbolLocation":516,"imageIndex":0}]}], "usedImages" : [ { "source" : "P", "arch" : "arm64e", "base" : 4336271360, "size" : 393216, "uuid" : "fbb89662-e6f2-3434-b542-f75185ac5e74", "path" : "\/usr\/lib\/dyld", "name" : "dyld" }, { "source" : "P", "arch" : "arm64", "base" : 4340465664, "size" : 81920, "uuid" : "1b80f9b7-78fb-3fe4-98e2-2e887a442ad2", "path" : "\/opt\/local\/Library\/Frameworks\/Python.framework\/Versions\/3.10\/lib\/python3.10\/lib-dynload\/_ctypes.cpython-310-darwin.so", "name" : "_ctypes.cpython-310-darwin.so" }, { "source" : "P", "arch" : "arm64", "base" : 4341235712, "CFBundleShortVersionString" : "3.10.4, (c) 2001-2021 Python Software Foundation.", "CFBundleIdentifier" : "org.python.python", "size" : 2998272, "uuid" : "fb7e959c-698b-3722-ab50-e2c5f03a28f8", "path" : "\/opt\/local\/Library\/Frameworks\/Python.framework\/Versions\/3.10\/Python", "name" : "Python", "CFBundleVersion" : "3.10.4" }, { "size" : 0, "source" : "A", "base" : 0, "uuid" : "00000000-0000-0000-0000-000000000000" } ], "sharedCache" : { "base" : 6797524992, "size" : 3136438272, "uuid" : "1df3dfc1-141a-35d0-a4e5-f1e113894c6e" }, "vmSummary" : "ReadOnly portion of Libraries: Total=603.1M resident=0K(0%) swapped_out_or_unallocated=603.1M(100%)\nWritable regions: Total=1.3G written=0K(0%) resident=0K(0%) swapped_out=0K(0%) unallocated=1.3G(100%)\n\n VIRTUAL REGION \nREGION TYPE SIZE COUNT (non-coalesced) \n=========== ======= ======= \nKernel Alloc Once 32K 1 \nMALLOC 230.2M 27 \nMALLOC guard page 96K 4 \nMALLOC_MEDIUM (reserved) 720.0M 6 reserved VM address space (unallocated)\nMALLOC_NANO (reserved) 384.0M 1 reserved VM address space (unallocated)\nSTACK GUARD 16K 1 \nStack 16.0M 1 \nVM_ALLOCATE 10.0M 10 \n__AUTH 53K 12 \n__AUTH_CONST 1023K 43 \n__DATA 835K 66 \n__DATA_CONST 3234K 73 \n__DATA_DIRTY 93K 23 \n__LINKEDIT 585.5M 31 \n__OBJC_CONST 37K 6 \n__OBJC_RO 82.9M 1 \n__OBJC_RW 3152K 1 \n__TEXT 17.6M 76 \n__UNICODE 592K 1 \ndyld private memory 1024K 1 \nmapped file 20.9M 1 \nshared memory 32K 2 \n=========== ======= ======= \nTOTAL 2.0G 388 \nTOTAL, minus reserved VM space 973.1M 388 \n", "legacyInfo" : { "threadTriggered" : { "queue" : "com.apple.main-thread" } }, "trialInfo" : { "rollouts" : [ { "rolloutId" : "607844aa04477260f58a8077", "factorPackIds" : { "SIRI_MORPHUN_ASSETS" : "6103050cbfe6dc472e1c982a" }, "deploymentId" : 240000066 }, { "rolloutId" : "5fc94383418129005b4e9ae0", "factorPackIds" : { }, "deploymentId" : 240000370 } ], "experiments" : [ ] } } Model: MacBookPro18,2, BootROM 7459.101.3, proc 10:8:2 processors, 64 GB, SMC Graphics: Apple M1 Max, Apple M1 Max, Built-In Display: Color LCD, 3456 x 2234 Retina, Main, MirrorOff, Online Memory Module: LPDDR5 AirPort: Wi-Fi, wl0: Feb 8 2022 01:51:44 version 20.90.39.0.8.7.114 FWID 01-510a2aee Bluetooth: Version (null), 0 services, 0 devices, 0 incoming serial ports Network Service: Wi-Fi, AirPort, en0 USB Device: USB31Bus USB Device: USB31Bus USB Device: USB31Bus Thunderbolt Bus: MacBook Pro, Apple Inc. Thunderbolt Bus: MacBook Pro, Apple Inc. Thunderbolt Bus: MacBook Pro, Apple Inc.

[imduchuyyy]

Same Issue!

[agurfinkel]

if you error is in building z3 can you paste content of the equivalent files on your system:

See also "/private/var/folders/9y/mkk3rkyd065g3x6jwd3pl1hc0000gn/T/pip-install-2dhlww0x/z3-solver_d2e7ef9364d14dbba481c184d869d774/core/build/CMakeFiles/CMakeOutput.log".
  See also "/private/var/folders/9y/mkk3rkyd065g3x6jwd3pl1hc0000gn/T/pip-install-2dhlww0x/z3-solver_d2e7ef9364d14dbba481c184d869d774/core/build/CMakeFiles/CMakeError.log".

[NikolajBjorner]

Also, now it should be possible to do the following (thanks to Isabelle and Arie): You can try to download

https://github.com/Z3Prover/z3/releases/download/Nightly/z3_solver-4.8.18.0-py2.py3-none-macosx_11_0_arm64.whl

Then "pip install z3_solver-4.8.18.0-py2.py3-none-macosx_11_0_arm64.whl"

[agurfinkel]

You even don't need to download. Just give the http URL to pip install.

However, it is still interesting to see the logs to understand why the build fails...

[LanYunDev]

thanks very much !

[imduchuyyy]

thanks very much!

Also, now it should be possible to do the following (thanks to Isabelle and Arie): You can try to download

https://github.com/Z3Prover/z3/releases/download/Nightly/z3_solver-4.8.18.0-py2.py3-none-macosx_11_0_arm64.whl

Then "pip install z3_solver-4.8.18.0-py2.py3-none-macosx_11_0_arm64.whl"

[NikolajBjorner]

would be fixed with latest release