1.5.0-DEV-1f787492c3.log

Julia Version 1.5.0-DEV.507
Commit 1f787492c3 (2020-03-25 15:03 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)
Environment:
  JULIA_DEPOT_PATH = ::/usr/local/share/julia
  JULIA_NUM_THREADS = 2

  Resolving package versions...
  Installed Compat ───────── v3.8.0
  Installed CUDD ─────────── v0.1.3
  Installed BinaryProvider ─ v0.5.8
   Updating `~/.julia/environments/v1.5/Project.toml`
   345a2cc7 + CUDD v0.1.3
   Updating `~/.julia/environments/v1.5/Manifest.toml`
   b99e7846 + BinaryProvider v0.5.8
   345a2cc7 + CUDD v0.1.3
   34da2185 + Compat v3.8.0
   2a0f44e3 + Base64
   ade2ca70 + Dates
   8bb1440f + DelimitedFiles
   8ba89e20 + Distributed
   b77e0a4c + InteractiveUtils
   76f85450 + LibGit2
   8f399da3 + Libdl
   37e2e46d + LinearAlgebra
   56ddb016 + Logging
   d6f4376e + Markdown
   a63ad114 + Mmap
   44cfe95a + Pkg
   de0858da + Printf
   3fa0cd96 + REPL
   9a3f8284 + Random
   ea8e919c + SHA
   9e88b42a + Serialization
   1a1011a3 + SharedArrays
   6462fe0b + Sockets
   2f01184e + SparseArrays
   10745b16 + Statistics
   8dfed614 + Test
   cf7118a7 + UUIDs
   4ec0a83e + Unicode
   Building CUDD → `~/.julia/packages/CUDD/OjiCm/deps/build.log`
    Testing CUDD
     Status `/tmp/jl_lSOey6/Project.toml`
   b99e7846 BinaryProvider v0.5.8
   345a2cc7 CUDD v0.1.3
   34da2185 Compat v3.8.0
   8dfed614 Test
     Status `/tmp/jl_lSOey6/Manifest.toml`
   b99e7846 BinaryProvider v0.5.8
   345a2cc7 CUDD v0.1.3
   34da2185 Compat v3.8.0
   2a0f44e3 Base64
   ade2ca70 Dates
   8bb1440f DelimitedFiles
   8ba89e20 Distributed
   b77e0a4c InteractiveUtils
   76f85450 LibGit2
   8f399da3 Libdl
   37e2e46d LinearAlgebra
   56ddb016 Logging
   d6f4376e Markdown
   a63ad114 Mmap
   44cfe95a Pkg
   de0858da Printf
   3fa0cd96 REPL
   9a3f8284 Random
   ea8e919c SHA
   9e88b42a Serialization
   1a1011a3 SharedArrays
   6462fe0b Sockets
   2f01184e SparseArrays
   10745b16 Statistics
   8dfed614 Test
   cf7118a7 UUIDs
   4ec0a83e Unicode
WARNING: importing deprecated binding Compat.Libdl into CUDD.
WARNING: Compat.Test is deprecated, use Test instead.
  likely near /home/pkgeval/.julia/packages/CUDD/OjiCm/test/runtests.jl:2
Test Summary: | Pass  Total
addind vars   |   60     60
Test Summary:    | Pass  Total
outputting files |    2      2
Test Summary:               | Pass  Total
applying constant functions |    7      7
Test Summary:    | Pass  Total
addition testing |   11     11
Test Summary:          | Pass  Total
multiplication testing |    1      1
    Testing CUDD tests passed