1.6.0-DEV-4c805d2310.log

Julia Version 1.6.0-DEV.913
Commit 4c805d2310 (2020-09-14 14:07 UTC)
Platform Info:
  OS: Linux (x86_64-pc-linux-gnu)
  CPU: Intel(R) Xeon(R) Silver 4114 CPU @ 2.20GHz
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-9.0.1 (ORCJIT, skylake-avx512)
Environment:
  JULIA_DEPOT_PATH = ::/usr/local/share/julia
  JULIA_NUM_THREADS = 2

  Resolving package versions...
[ Info: LEGAL NOTICE: package operations send anonymous data about your system to https://pkg.julialang.org (your current package server), including the operating system and Julia versions you are using, and a random client UUID. Running `Pkg.telemetryinfo()` will show exactly what data is sent. See https://julialang.org/legal/data/ for more details about what this data is used for, how long it is retained, and how to opt out of sending it.
  Installed z3_jll ─────────────── v4.8.8+0
  Installed libcxxwrap_julia_jll ─ v0.7.1+1
  Installed CxxWrap ────────────── v0.10.2
  Installed Z3 ─────────────────── v0.4.1
  Installed MacroTools ─────────── v0.5.5
Updating `~/.julia/environments/v1.6/Project.toml`
  [06b161dc] + Z3 v0.4.1
Updating `~/.julia/environments/v1.6/Manifest.toml`
  [1f15a43c] + CxxWrap v0.10.2
  [1914dd2f] + MacroTools v0.5.5
  [06b161dc] + Z3 v0.4.1
  [3eaa8342] + libcxxwrap_julia_jll v0.7.1+1
  [1bc4e1ec] + z3_jll v4.8.8+0
  [2a0f44e3] + Base64
  [ade2ca70] + Dates
  [b77e0a4c] + InteractiveUtils
  [76f85450] + LibGit2
  [8f399da3] + Libdl
  [56ddb016] + Logging
  [d6f4376e] + Markdown
  [44cfe95a] + Pkg
  [de0858da] + Printf
  [3fa0cd96] + REPL
  [9a3f8284] + Random
  [ea8e919c] + SHA
  [9e88b42a] + Serialization
  [6462fe0b] + Sockets
  [fa267f1f] + TOML
  [cf7118a7] + UUIDs
  [4ec0a83e] + Unicode
    Testing Z3
Status `/tmp/jl_uasA8K/Project.toml`
  [1f15a43c] CxxWrap v0.10.2
  [06b161dc] Z3 v0.4.1
  [1bc4e1ec] z3_jll v4.8.8+0
  [8dfed614] Test
Status `/tmp/jl_uasA8K/Manifest.toml`
  [1f15a43c] CxxWrap v0.10.2
  [1914dd2f] MacroTools v0.5.5
  [06b161dc] Z3 v0.4.1
  [3eaa8342] libcxxwrap_julia_jll v0.7.1+1
  [1bc4e1ec] z3_jll v4.8.8+0
  [2a0f44e3] Base64
  [ade2ca70] Dates
  [8ba89e20] Distributed
  [b77e0a4c] InteractiveUtils
  [76f85450] LibGit2
  [8f399da3] Libdl
  [56ddb016] Logging
  [d6f4376e] Markdown
  [44cfe95a] Pkg
  [de0858da] Printf
  [3fa0cd96] REPL
  [9a3f8284] Random
  [ea8e919c] SHA
  [9e88b42a] Serialization
  [6462fe0b] Sockets
  [fa267f1f] TOML
  [8dfed614] Test
  [cf7118a7] UUIDs
  [4ec0a83e] Unicode
    Testing Running tests...
    Testing Z3 tests passed