1.6.0-DEV-0669b64613.log

Julia Version 1.6.0-DEV.1153
Commit 0669b64613 (2020-10-07 09:01 UTC)
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: AMD EPYC 7502 32-Core Processor
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-10.0.1 (ORCJIT, znver2)
Environment:
  JULIA_DEPOT_PATH = ::/usr/local/share/julia
  JULIA_NUM_THREADS = 2

  Resolving package versions...
  Installed CEnum ────────── v0.4.1
  Installed CUDD ─────────── v0.2.0
  Installed BinaryProvider ─ v0.5.10
Updating `~/.julia/environments/v1.6/Project.toml`
  [345a2cc7] + CUDD v0.2.0
Updating `~/.julia/environments/v1.6/Manifest.toml`
  [b99e7846] + BinaryProvider v0.5.10
  [fa961155] + CEnum v0.4.1
  [345a2cc7] + CUDD v0.2.0
  [8f399da3] + Libdl
  [56ddb016] + Logging
  [ea8e919c] + SHA
   Building CUDD → `~/.julia/scratchspaces/44cfe95a-1eb2-52ea-b672-e2afdf69b78f/5fbf127a62046686418495019423ad824c5c6760/build.log`
    Testing CUDD
Status `/tmp/jl_wyIxrX/Project.toml`
  [b99e7846] BinaryProvider v0.5.10
  [fa961155] CEnum v0.4.1
  [345a2cc7] CUDD v0.2.0
  [8f399da3] Libdl
  [8dfed614] Test
Status `/tmp/jl_wyIxrX/Manifest.toml`
  [b99e7846] BinaryProvider v0.5.10
  [fa961155] CEnum v0.4.1
  [345a2cc7] CUDD v0.2.0
  [2a0f44e3] Base64
  [b77e0a4c] InteractiveUtils
  [8f399da3] Libdl
  [56ddb016] Logging
  [d6f4376e] Markdown
  [9a3f8284] Random
  [ea8e919c] SHA
  [9e88b42a] Serialization
  [8dfed614] Test
    Testing Running tests...
Test Summary: | Pass  Total
BDD           |   24     24
Test Summary: | Pass  Total
ADD           |   81     81
    Testing CUDD tests passed