Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix Julia 0.7 support #121

Closed
schillic opened this issue Jan 6, 2018 · 22 comments
Closed

Fix Julia 0.7 support #121

schillic opened this issue Jan 6, 2018 · 22 comments
Assignees
Labels
robustness 💪 Tests and checks usability 🖱️ Simplifies the usage or interface

Comments

@schillic
Copy link
Member

schillic commented Jan 6, 2018

There are several deprecation warnings and at least one error with the alternative Hyperrectangle constructor:

LazySets.Hyperrectangle: Error During Test at /home/travis/.julia/v0.7/LazySets/test/runtests.jl:15
  Got an exception of type LoadError outside of a @test
  LoadError: MethodError: Cannot `convert` an object of type Float64 to an object of type Symbol
  This may have arisen from a call to the constructor Symbol(...),
  since type constructors fall back to convert methods.
  Stacktrace:
   [1] setindex!(::Dict{Symbol,Any}, ::Float64, ::Float64) at ./dict.jl:416
   [2] Type at ./dict.jl:117 [inlined]
   [3] #Hyperrectangle#22 at /home/travis/.julia/v0.7/LazySets/src/Hyperrectangle.jl:73 [inlined]
   [4] (::getfield(Core, Symbol("#kw#Type")))(::NamedTuple{(:center, :radius),Tuple{Array{Float64,1},Array{Float64,1}}}, ::Type{Hyperrectangle}) at ./<missing>:0
   [5] top-level scope
   [6] include at ./boot.jl:283 [inlined]
   [7] include_relative(::Module, ::String) at ./loading.jl:503
   [8] include(::Module, ::String) at ./sysimg.jl:15
   [9] include(::String) at ./sysimg.jl:54
   [10] macro expansion at /home/travis/.julia/v0.7/LazySets/test/runtests.jl:15 [inlined]
   [11] macro expansion at /buildworker/worker/package_linux64/build/usr/share/julia/site/v0.7/Test/src/Test.jl:968 [inlined]
   [12] macro expansion at /home/travis/.julia/v0.7/LazySets/test/runtests.jl:15 [inlined]
   [13] top-level scope at util.jl:169
   [14] include at ./boot.jl:283 [inlined]
   [15] include_relative(::Module, ::String) at ./loading.jl:503
   [16] include(::Module, ::String) at ./sysimg.jl:15
   [17] process_options(::Base.JLOptions) at ./client.jl:322
   [18] _start() at ./client.jl:373
  in expression starting at /home/travis/.julia/v0.7/LazySets/test/unit_Hyperrectangle.jl:85

Meanwhile there seem to be more errors, just look up the nightly build in any PR.

@schillic schillic added robustness 💪 Tests and checks usability 🖱️ Simplifies the usage or interface labels Jan 6, 2018
@mforets
Copy link
Member

mforets commented Mar 9, 2018

I tried running FemtoCleaner.jl locally.
It gave me:

julia> FemtoCleaner.cleanrepo("/Users/forets/.julia/v0.6/LazySets"; show_diff = true, delete_local = false)
INFO: Cloning /Users/forets/.julia/v0.6/LazySets to /var/folders/b_/qy7kpq613ld0g06jy9g16hz00000gp/T/tmpu6foSc...
INFO: Processing deprecations...
On branch master
Your branch is up-to-date with 'origin/master'.
Changes to be committed:
  (use "git reset HEAD <file>..." to unstage)

	modified:   src/Interval.jl

diff --git a/src/Interval.jl b/src/Interval.jl
index 7d52341..0001d96 100644
--- a/src/Interval.jl
+++ b/src/Interval.jl
@@ -77,7 +77,7 @@ struct Interval{N<:Real, IN <: IA.AbstractInterval{N}} <: AbstractPointSymmetric
    dat::IN
 end
 # type-less convenience constructor
-Interval{N, IN <: IA.AbstractInterval{N}}(interval::IN) = Interval{N, IN}(interval)
+Interval(interval::IN) where {N, IN <: IA.AbstractInterval{N}} = Interval{N, IN}(interval)
 # TODO: adapt show method
 
 # constructor that takes two numbers
true

This is just a single change (now #286), but i don't know why it doesn't list all of them.

@mforets
Copy link
Member

mforets commented May 27, 2018

with PR #353, the status is that it now precompiles.

but there are tons of warnings and the tests don't pass:

$ julia7
               _
   _       _ _(_)_     |  A fresh approach to technical computing
  (_)     | (_) (_)    |  Documentation: https://docs.julialang.org
   _ _   _| |_  __ _   |  Type "?help" for help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 0.7.0-DEV.4524 (2018-03-09 18:53 UTC)
 _/ |\__'_|_|_|\__'_|  |  Commit d1abbf5f6a (79 days old master)
|__/                   |  x86_64-apple-darwin14.5.0

julia> using LazySets
[ Info: Precompiling module LazySets
WARNING: Base.LinAlg is deprecated, run `using LinearAlgebra` instead
  likely near /Users/forets/.julia/v0.7/LazySets/src/LazySet.jl:1
WARNING: Base.LinAlg is deprecated, run `using LinearAlgebra` instead
  likely near /Users/forets/.julia/v0.7/LazySets/src/AbstractHyperrectangle.jl:1
WARNING: Base.LinAlg is deprecated, run `using LinearAlgebra` instead
  likely near /Users/forets/.julia/v0.7/LazySets/src/BallInf.jl:1
┌ Warning: `current_module()` is deprecated, use `@__MODULE__` instead.
│   caller = @require(::LineNumberNode, ::Module, ::Any, ::Any) at require.jl:51
└ @ Requires require.jl:51
┌ Warning: `isdefined(:symbol)` is deprecated, use `@isdefined symbol` instead
│   caller = ip:0x0
└ @ Core :-1
WARNING: Method definition __init__() in module Requires at /Users/forets/.julia/v0.7/Requires/src/init.jl:9 overwritten in module LazySets at /Users/forets/.julia/v0.7/Requires/src/init.jl:9.
WARNING: Base.LinAlg is deprecated, run `using LinearAlgebra` instead
  likely near /Users/forets/.julia/v0.7/LazySets/src/Hyperrectangle.jl:1
WARNING: Method definition __init__() in module LazySets at /Users/forets/.julia/v0.7/Requires/src/init.jl:9 overwritten at /Users/forets/.julia/v0.7/Requires/src/init.jl:9.
WARNING: could not import Base.× into LazySets
WARNING: importing deprecated binding Base.SparseMatrixCSC into LazySets.
WARNING: Base.SparseMatrixCSC is deprecated, run `using SparseArrays` to load sparse array functionality
  likely near /Users/forets/.julia/v0.7/LazySets/src/ExponentialMap.jl:15
WARNING: Base.SparseMatrixCSC is deprecated, run `using SparseArrays` to load sparse array functionality
  likely near /Users/forets/.julia/v0.7/LazySets/src/ExponentialMap.jl:15
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/ExponentialMap.jl:64
WARNING: Base.SparseMatrixCSC is deprecated, run `using SparseArrays` to load sparse array functionality
  likely near /Users/forets/.julia/v0.7/LazySets/src/ExponentialMap.jl:269
WARNING: Base.SparseMatrixCSC is deprecated, run `using SparseArrays` to load sparse array functionality
  likely near /Users/forets/.julia/v0.7/LazySets/src/ExponentialMap.jl:269
WARNING: Base.SparseMatrixCSC is deprecated, run `using SparseArrays` to load sparse array functionality
  likely near /Users/forets/.julia/v0.7/LazySets/src/ExponentialMap.jl:269
WARNING: Base.SparseMatrixCSC is deprecated, run `using SparseArrays` to load sparse array functionality
  likely near /Users/forets/.julia/v0.7/LazySets/src/ExponentialMap.jl:269
WARNING: importing deprecated binding Base.speye into LazySets.
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/LinearMap.jl:60
WARNING: Method definition __init__() in module LazySets at /Users/forets/.julia/v0.7/Requires/src/init.jl:9 overwritten in module Approximations at /Users/forets/.julia/v0.7/Requires/src/init.jl:9.
WARNING: importing deprecated binding Base.Void into Approximations.
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/src/Approximations/decompositions.jl:34
julia> Pkg.test("LazySets")
WARNING: Base.Pkg is deprecated, run `using Pkg` instead
 in module Main
[ Info: Testing LazySets
WARNING: Method definition __init__() in module Requires at /Users/forets/.julia/v0.7/Requires/src/init.jl:9 overwritten in module Approximations at /Users/forets/.julia/v0.7/Requires/src/init.jl:9.
WARNING: Method definition __init__() in module Approximations at /Users/forets/.julia/v0.7/Requires/src/init.jl:9 overwritten in module LazySets at /Users/forets/.julia/v0.7/Requires/src/init.jl:9.
WARNING: Method definition __init__() in module LazySets at /Users/forets/.julia/v0.7/Requires/src/init.jl:9 overwritten at /Users/forets/.julia/v0.7/Requires/src/init.jl:9.
WARNING: Base.Test is deprecated, run `using Test` instead
  likely near /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:2
┌ Warning: `indices(a)` is deprecated, use `axes(a)` instead.
│   caller = #monotone_chain!#69(::Bool, ::Function, ::Array{Array{Float64,1},1}) at convex_hull_algorithms.jl:173
└ @ LazySets convex_hull_algorithms.jl:173
┌ Warning: `indices(a)` is deprecated, use `axes(a)` instead.
│   caller = #monotone_chain!#69(::Bool, ::Function, ::Array{Array{Float64,1},1}) at convex_hull_algorithms.jl:177
└ @ LazySets convex_hull_algorithms.jl:177
┌ Warning: `copy!(dst::AbstractArray, src::AbstractArray)` is deprecated. You can either use `copyto!(dst, src)` or `Future.copy!(dst, src)` instead.
│   caller = #monotone_chain!#69(::Bool, ::Function, ::Array{Array{Float64,1},1}) at convex_hull_algorithms.jl:180
└ @ LazySets convex_hull_algorithms.jl:180
┌ Warning: `copy!(dest::Union{AbstractArray, IndexStyle}, args...)` is deprecated, use `copyto!(dest, args...)` instead.
│   caller = #monotone_chain!#69(::Bool, ::Function, ::Array{Array{Float64,1},1}) at convex_hull_algorithms.jl:181
└ @ LazySets convex_hull_algorithms.jl:181
┌ Warning: `indices(a)` is deprecated, use `axes(a)` instead.
│   caller = #monotone_chain!#69(::Bool, ::Function, ::Array{Array{Rational{Int64},1},1}) at convex_hull_algorithms.jl:173
└ @ LazySets convex_hull_algorithms.jl:173
┌ Warning: `indices(a)` is deprecated, use `axes(a)` instead.
│   caller = #monotone_chain!#69(::Bool, ::Function, ::Array{Array{Rational{Int64},1},1}) at convex_hull_algorithms.jl:177
└ @ LazySets convex_hull_algorithms.jl:177
┌ Warning: `copy!(dst::AbstractArray, src::AbstractArray)` is deprecated. You can either use `copyto!(dst, src)` or `Future.copy!(dst, src)` instead.
│   caller = #monotone_chain!#69(::Bool, ::Function, ::Array{Array{Rational{Int64},1},1}) at convex_hull_algorithms.jl:180
└ @ LazySets convex_hull_algorithms.jl:180
┌ Warning: `copy!(dest::Union{AbstractArray, IndexStyle}, args...)` is deprecated, use `copyto!(dest, args...)` instead.
│   caller = #monotone_chain!#69(::Bool, ::Function, ::Array{Array{Rational{Int64},1},1}) at convex_hull_algorithms.jl:181
└ @ LazySets convex_hull_algorithms.jl:181
┌ Warning: `indices(a)` is deprecated, use `axes(a)` instead.
│   caller = #monotone_chain!#69(::Bool, ::Function, ::Array{Array{Float32,1},1}) at convex_hull_algorithms.jl:173
└ @ LazySets convex_hull_algorithms.jl:173
┌ Warning: `indices(a)` is deprecated, use `axes(a)` instead.
│   caller = #monotone_chain!#69(::Bool, ::Function, ::Array{Array{Float32,1},1}) at convex_hull_algorithms.jl:177
└ @ LazySets convex_hull_algorithms.jl:177
┌ Warning: `copy!(dst::AbstractArray, src::AbstractArray)` is deprecated. You can either use `copyto!(dst, src)` or `Future.copy!(dst, src)` instead.
│   caller = #monotone_chain!#69(::Bool, ::Function, ::Array{Array{Float32,1},1}) at convex_hull_algorithms.jl:180
└ @ LazySets convex_hull_algorithms.jl:180
┌ Warning: `copy!(dest::Union{AbstractArray, IndexStyle}, args...)` is deprecated, use `copyto!(dest, args...)` instead.
│   caller = #monotone_chain!#69(::Bool, ::Function, ::Array{Array{Float32,1},1}) at convex_hull_algorithms.jl:181
└ @ LazySets convex_hull_algorithms.jl:181
Test Summary:      | Pass  Total
LazySets.Singleton |   45     45
  4.812834 seconds (4.70 M allocations: 261.284 MiB, 2.63% gc time)
WARNING: importing deprecated binding Base.sparsevec into LazySets.
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: importing deprecated binding Base.Void into LazySets.
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: importing deprecated binding Base.dot into LazySets.
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = box_approximation_helper at box_approximations.jl:102 [inlined]
└ @ Core box_approximations.jl:102
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = box_approximation_helper at box_approximations.jl:103 [inlined]
└ @ Core box_approximations.jl:103
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Ball2.jl:1
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = box_approximation_helper at box_approximations.jl:102 [inlined]
└ @ Core box_approximations.jl:102
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = box_approximation_helper at box_approximations.jl:103 [inlined]
└ @ Core box_approximations.jl:103
Test Summary:  | Pass  Total
LazySets.Ball2 |   56     56
  2.720746 seconds (2.95 M allocations: 161.647 MiB, 2.20% gc time)
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_BallInf.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_BallInf.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_BallInf.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_BallInf.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_BallInf.jl:1
Test Summary:    | Pass  Total
LazySets.BallInf |   63     63
  0.762741 seconds (740.28 k allocations: 38.485 MiB, 2.20% gc time)
WARNING: Base.iteratorsize is deprecated, use IteratorSize instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Hyperrectangle.jl:66
WARNING: Base.iteratorsize is deprecated, use IteratorSize instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Hyperrectangle.jl:66
WARNING: Base.iteratorsize is deprecated, use IteratorSize instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Hyperrectangle.jl:66
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = start(::IterTools.Product{Tuple{Array{Int64,1},Array{Int64,1}}}) at IterTools.jl:270
└ @ IterTools IterTools.jl:270
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = to_N(::Type{Rational{Int64}}, ::Array{Float64,1}) at to_N.jl:22
└ @ Main to_N.jl:22
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = to_N(::Type{Float32}, ::Array{Float64,1}) at to_N.jl:22
└ @ Main to_N.jl:22
Test Summary:           | Pass  Total
LazySets.Hyperrectangle |  126    126
  8.396218 seconds (6.27 M allocations: 399.815 MiB, 2.43% gc time)
┌ Warning: Deprecated syntax `5./` at /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:65.
│ Use `5 ./` instead.
└ @ nothing unit_Polygon.jl:65
┌ Warning: Deprecated syntax `7./` at /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:65.
│ Use `7 ./` instead.
└ @ nothing unit_Polygon.jl:65
┌ Warning: Use of final value of loop variable `p` around /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:86 is deprecated. In the future the variable will be local to the loop instead.
└ @ nothing unit_Polygon.jl:86
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = HPolygon{Float64}() at HPolygon.jl:31
└ @ LazySets HPolygon.jl:31
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:10
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = HPolytope{Float64}() at HPolytope.jl:28
└ @ LazySets HPolytope.jl:28
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:25
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = Type at HPolygon.jl:31 [inlined]
└ @ Core HPolygon.jl:31
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:30
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = Type at HPolygonOpt.jl:48 [inlined]
└ @ Core HPolygonOpt.jl:48
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = Type at HPolygon.jl:31 [inlined]
└ @ Core HPolygon.jl:31
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = Type at HPolytope.jl:28 [inlined]
└ @ Core HPolytope.jl:28
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: importing deprecated binding Base.findnz into GLPKInterfaceBase.
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: importing deprecated binding Base.scale! into GLPKInterfaceLP.
WARNING: Base.scale! is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.scale! is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:38
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
in in at /Users/forets/.julia/v0.7/LazySets/src/AbstractHPolygon.jl
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
in in at /Users/forets/.julia/v0.7/LazySets/src/AbstractHPolygon.jl
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = vertices_list(::HPolygonOpt{Float64}, ::Bool) at AbstractHPolygon.jl:94
└ @ LazySets AbstractHPolygon.jl:94
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:107
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:107
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:107
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:107
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = vertices_list(::HPolygon{Float64}, ::Bool) at AbstractHPolygon.jl:94
└ @ LazySets AbstractHPolygon.jl:94
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = HPolygon{Float32}() at HPolygon.jl:31
└ @ LazySets HPolygon.jl:31
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:10
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = HPolytope{Float32}() at HPolytope.jl:28
└ @ LazySets HPolytope.jl:28
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:25
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = Type at HPolygon.jl:31 [inlined]
└ @ Core HPolygon.jl:31
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:30
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = Type at HPolygonOpt.jl:48 [inlined]
└ @ Core HPolygonOpt.jl:48
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
in in at /Users/forets/.julia/v0.7/LazySets/src/AbstractHPolygon.jl
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
in in at /Users/forets/.julia/v0.7/LazySets/src/AbstractHPolygon.jl
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = vertices_list(::HPolygonOpt{Float32}, ::Bool) at AbstractHPolygon.jl:94
└ @ LazySets AbstractHPolygon.jl:94
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = to_N(::Type{Float32}, ::Array{Array{Float64,1},1}) at to_N.jl:52
└ @ Main to_N.jl:52
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = to_N(::Type{Float32}, ::Array{Array{Float64,1},1}) at to_N.jl:55
└ @ Main to_N.jl:55
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:107
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:107
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:107
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:107
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = vertices_list(::HPolygon{Float32}, ::Bool) at AbstractHPolygon.jl:94
└ @ LazySets AbstractHPolygon.jl:94
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = HPolygon{Rational{Int64}}() at HPolygon.jl:31
└ @ LazySets HPolygon.jl:31
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:10
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = HPolytope{Rational{Int64}}() at HPolytope.jl:28
└ @ LazySets HPolytope.jl:28
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:25
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = Type at HPolygon.jl:31 [inlined]
└ @ Core HPolygon.jl:31
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:30
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = Type at HPolygonOpt.jl:48 [inlined]
└ @ Core HPolygonOpt.jl:48
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
in in at /Users/forets/.julia/v0.7/LazySets/src/AbstractHPolygon.jl
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:58
in in at /Users/forets/.julia/v0.7/LazySets/src/AbstractHPolygon.jl
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = vertices_list(::HPolygonOpt{Rational{Int64}}, ::Bool) at AbstractHPolygon.jl:94
└ @ LazySets AbstractHPolygon.jl:94
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = to_N(::Type{Rational{Int64}}, ::Array{Array{Float64,1},1}) at to_N.jl:52
└ @ Main to_N.jl:52
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = to_N(::Type{Rational{Int64}}, ::Array{Array{Float64,1},1}) at to_N.jl:55
└ @ Main to_N.jl:55
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:107
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:107
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:107
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polygon.jl:107
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = vertices_list(::HPolygon{Rational{Int64}}, ::Bool) at AbstractHPolygon.jl:94
└ @ LazySets AbstractHPolygon.jl:94
┌ Warning: `Array{T, 1}(m::Int) where T` is deprecated, use `Array{T, 1}(uninitialized, m)` instead.
│   caller = Type at HPolygonOpt.jl:48 [inlined]
└ @ Core HPolygonOpt.jl:48
Test Summary:    | Pass  Total
LazySets.Polygon |  323    323
  8.714813 seconds (8.16 M allocations: 452.386 MiB, 3.46% gc time)
┌ Warning: Deprecated syntax `5./` at /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24.
│ Use `5 ./` instead.
└ @ nothing unit_Polytope.jl:24
┌ Warning: Deprecated syntax `7./` at /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24.
│ Use `7 ./` instead.
└ @ nothing unit_Polytope.jl:24
WARNING: Base.scale! is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:15
in getunboundedray at /Users/forets/.julia/v0.7/GLPKMathProgInterface/src/GLPKInterfaceLP.jl
┌ Warning: `finalizer(o, f::Function)` is deprecated, use `finalizer(f, o)` instead.
│   caller = GLPK.Prob(::Ptr{Nothing}) at GLPK.jl:343
└ @ GLPK GLPK.jl:343
┌ Warning: `Array{T}(m::Int) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = buildlp(::Array{Float64,1}, ::Array{Float64,2}, ::Char, ::Array{Float64,1}, ::Float64, ::Float64, ::GLPKMathProgInterface.GLPKInterfaceLP.GLPKSolverLP) at linprog.jl:50
└ @ MathProgBase.HighLevelInterface linprog.jl:50
┌ Warning: `Array{T}(m::Int) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = buildlp(::Array{Float64,1}, ::Array{Float64,2}, ::Char, ::Array{Float64,1}, ::Float64, ::Float64, ::GLPKMathProgInterface.GLPKInterfaceLP.GLPKSolverLP) at linprog.jl:51
└ @ MathProgBase.HighLevelInterface linprog.jl:51
┌ Warning: `Array{T}(m::Integer) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = getreducedcosts(::GLPKMathProgInterface.GLPKInterfaceLP.GLPKMathProgModelLP) at GLPKInterfaceLP.jl:238
└ @ GLPKMathProgInterface.GLPKInterfaceLP GLPKInterfaceLP.jl:238
┌ Warning: `Array{T}(m::Integer) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = getconstrduals(::GLPKMathProgInterface.GLPKInterfaceLP.GLPKMathProgModelLP) at GLPKInterfaceLP.jl:259
└ @ GLPKMathProgInterface.GLPKInterfaceLP GLPKInterfaceLP.jl:259
┌ Warning: `Array{T}(m::Integer) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = getsolution(::GLPKMathProgInterface.GLPKInterfaceLP.GLPKMathProgModelLP) at GLPKInterfaceLP.jl:198
└ @ GLPKMathProgInterface.GLPKInterfaceLP GLPKInterfaceLP.jl:198
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
in in at /Users/forets/.julia/v0.7/LazySets/src/HPolytope.jl
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:15
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:15
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:15
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:15
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:15
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:15
┌ Warning: `Array{T}(m::Int) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = buildlp(::Array{Rational{Int64},1}, ::Array{Float64,2}, ::Char, ::Array{Float64,1}, ::Float64, ::Float64, ::GLPKMathProgInterface.GLPKInterfaceLP.GLPKSolverLP) at linprog.jl:50
└ @ MathProgBase.HighLevelInterface linprog.jl:50
┌ Warning: `Array{T}(m::Int) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = buildlp(::Array{Rational{Int64},1}, ::Array{Float64,2}, ::Char, ::Array{Float64,1}, ::Float64, ::Float64, ::GLPKMathProgInterface.GLPKInterfaceLP.GLPKSolverLP) at linprog.jl:51
└ @ MathProgBase.HighLevelInterface linprog.jl:51
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
in in at /Users/forets/.julia/v0.7/LazySets/src/HPolytope.jl
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:15
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:15
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:15
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:15
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:15
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:15
┌ Warning: `Array{T}(m::Int) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = buildlp(::Array{Float32,1}, ::Array{Float64,2}, ::Char, ::Array{Float64,1}, ::Float64, ::Float64, ::GLPKMathProgInterface.GLPKInterfaceLP.GLPKSolverLP) at linprog.jl:50
└ @ MathProgBase.HighLevelInterface linprog.jl:50
┌ Warning: `Array{T}(m::Int) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = buildlp(::Array{Float32,1}, ::Array{Float64,2}, ::Char, ::Array{Float64,1}, ::Float64, ::Float64, ::GLPKMathProgInterface.GLPKInterfaceLP.GLPKSolverLP) at linprog.jl:51
└ @ MathProgBase.HighLevelInterface linprog.jl:51
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Polytope.jl:24
in in at /Users/forets/.julia/v0.7/LazySets/src/HPolytope.jl
Test Summary:     | Pass  Total
LazySets.Polytope |   21     21
  1.646322 seconds (682.62 k allocations: 37.615 MiB, 0.90% gc time)
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: importing deprecated binding Base.vecnorm into LazySets.
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: importing deprecated binding Base.diagm into LazySets.
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diag is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diag is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diag is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diag is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in top-level scope at <missing>
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in top-level scope at <missing>
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in top-level scope at <missing>
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in top-level scope at <missing>
WARNING: Base.diag is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in top-level scope at <missing>
┌ Warning: `eye(T::Type, m::Integer)` has been deprecated in favor of `I` and `Matrix` constructors. For a direct replacement, consider `Matrix{T}(I, m, m)`. If `T` element type is not necessary, consider the shorter `Matrix(I, m, m)`(with default `eltype(I)` `Bool`)
│   caller = top-level scope at <missing>:3
└ @ Core <missing>:3
┌ Warning: `eye(T::Type, m::Integer)` has been deprecated in favor of `I` and `Matrix` constructors. For a direct replacement, consider `Matrix{T}(I, m, m)`. If `T` element type is not necessary, consider the shorter `Matrix(I, m, m)`(with default `eltype(I)` `Bool`)
│   caller = top-level scope at <missing>:13
└ @ Core <missing>:13
┌ Warning: `eye(T::Type, m::Integer)` has been deprecated in favor of `I` and `Matrix` constructors. For a direct replacement, consider `Matrix{T}(I, m, m)`. If `T` element type is not necessary, consider the shorter `Matrix(I, m, m)`(with default `eltype(I)` `Bool`)
│   caller = top-level scope at <missing>:27
└ @ Core <missing>:27
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
┌ Warning: `Array{T}(m::Int) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = buildlp(::Array{Float64,1}, ::Array{Float64,2}, ::Array{Char,1}, ::Array{Float64,1}, ::Array{Float64,1}, ::Array{Float64,1}, ::GLPKMathProgInterface.GLPKInterfaceLP.GLPKSolverLP) at linprog.jl:50
└ @ MathProgBase.HighLevelInterface linprog.jl:50
┌ Warning: `Array{T}(m::Int) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = buildlp(::Array{Float64,1}, ::Array{Float64,2}, ::Array{Char,1}, ::Array{Float64,1}, ::Array{Float64,1}, ::Array{Float64,1}, ::GLPKMathProgInterface.GLPKInterfaceLP.GLPKSolverLP) at linprog.jl:51
└ @ MathProgBase.HighLevelInterface linprog.jl:51
┌ Warning: `eye(T::Type, m::Integer)` has been deprecated in favor of `I` and `Matrix` constructors. For a direct replacement, consider `Matrix{T}(I, m, m)`. If `T` element type is not necessary, consider the shorter `Matrix(I, m, m)`(with default `eltype(I)` `Bool`)
│   caller = top-level scope at <missing>:45
└ @ Core <missing>:45
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in is_intersection_empty at /Users/forets/.julia/v0.7/LazySets/src/is_intersection_empty.jl
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in #73 at <missing>
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in reduce_order at /Users/forets/.julia/v0.7/LazySets/src/Zonotope.jl
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in reduce_order at /Users/forets/.julia/v0.7/LazySets/src/Zonotope.jl
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in reduce_order at /Users/forets/.julia/v0.7/LazySets/src/Zonotope.jl
┌ Warning: `sum(a::AbstractArray, dims)` is deprecated, use `sum(a, dims=dims)` instead.
│   caller = reduce_order(::Zonotope{Float64}, ::Int64) at Zonotope.jl:374
└ @ LazySets Zonotope.jl:374
┌ Warning: `diagm(v::AbstractVector)` is deprecated, use `diagm(0 => v)` or `Matrix(Diagonal(v))` instead.
│   caller = reduce_order(::Zonotope{Float64}, ::Int64) at Zonotope.jl:374
└ @ LazySets Zonotope.jl:374
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
┌ Warning: `diagm(v::AbstractVector)` is deprecated, use `diagm(0 => v)` or `Matrix(Diagonal(v))` instead.
│   caller = convert(::Type{Zonotope}, ::Hyperrectangle{Float64}) at convert.jl:89
└ @ LazySets convert.jl:89
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
┌ Warning: `diagm(v::AbstractVector)` is deprecated, use `diagm(0 => v)` or `Matrix(Diagonal(v))` instead.
│   caller = convert(::Type{Zonotope}, ::BallInf{Float64}) at convert.jl:89
└ @ LazySets convert.jl:89
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
┌ Warning: `Array{T}(m::Int) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = buildlp(::Array{Rational{Int64},1}, ::Array{Rational{Int64},2}, ::Array{Char,1}, ::Array{Rational{Int64},1}, ::Array{Rational{Int64},1}, ::Array{Rational{Int64},1}, ::GLPKMathProgInterface.GLPKInterfaceLP.GLPKSolverLP) at linprog.jl:50
└ @ MathProgBase.HighLevelInterface linprog.jl:50
┌ Warning: `Array{T}(m::Int) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = buildlp(::Array{Rational{Int64},1}, ::Array{Rational{Int64},2}, ::Array{Char,1}, ::Array{Rational{Int64},1}, ::Array{Rational{Int64},1}, ::Array{Rational{Int64},1}, ::GLPKMathProgInterface.GLPKInterfaceLP.GLPKSolverLP) at linprog.jl:51
└ @ MathProgBase.HighLevelInterface linprog.jl:51
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in is_intersection_empty at /Users/forets/.julia/v0.7/LazySets/src/is_intersection_empty.jl
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in #73 at <missing>
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in reduce_order at /Users/forets/.julia/v0.7/LazySets/src/Zonotope.jl
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in reduce_order at /Users/forets/.julia/v0.7/LazySets/src/Zonotope.jl
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in reduce_order at /Users/forets/.julia/v0.7/LazySets/src/Zonotope.jl
┌ Warning: `sum(a::AbstractArray, dims)` is deprecated, use `sum(a, dims=dims)` instead.
│   caller = reduce_order(::Zonotope{Rational{Int64}}, ::Int64) at Zonotope.jl:374
└ @ LazySets Zonotope.jl:374
┌ Warning: `diagm(v::AbstractVector)` is deprecated, use `diagm(0 => v)` or `Matrix(Diagonal(v))` instead.
│   caller = reduce_order(::Zonotope{Rational{Int64}}, ::Int64) at Zonotope.jl:374
└ @ LazySets Zonotope.jl:374
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
┌ Warning: `diagm(v::AbstractVector)` is deprecated, use `diagm(0 => v)` or `Matrix(Diagonal(v))` instead.
│   caller = convert(::Type{Zonotope}, ::Hyperrectangle{Rational{Int64}}) at convert.jl:89
└ @ LazySets convert.jl:89
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
┌ Warning: `diagm(v::AbstractVector)` is deprecated, use `diagm(0 => v)` or `Matrix(Diagonal(v))` instead.
│   caller = convert(::Type{Zonotope}, ::BallInf{Rational{Int64}}) at convert.jl:89
└ @ LazySets convert.jl:89
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.findnz is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
┌ Warning: `Array{T}(m::Int) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = buildlp(::Array{Float32,1}, ::Array{Float32,2}, ::Array{Char,1}, ::Array{Float32,1}, ::Array{Float32,1}, ::Array{Float32,1}, ::GLPKMathProgInterface.GLPKInterfaceLP.GLPKSolverLP) at linprog.jl:50
└ @ MathProgBase.HighLevelInterface linprog.jl:50
┌ Warning: `Array{T}(m::Int) where T` is deprecated, use `Array{T}(uninitialized, m)` instead.
│   caller = buildlp(::Array{Float32,1}, ::Array{Float32,2}, ::Array{Char,1}, ::Array{Float32,1}, ::Array{Float32,1}, ::Array{Float32,1}, ::GLPKMathProgInterface.GLPKInterfaceLP.GLPKSolverLP) at linprog.jl:51
└ @ MathProgBase.HighLevelInterface linprog.jl:51
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in is_intersection_empty at /Users/forets/.julia/v0.7/LazySets/src/is_intersection_empty.jl
WARNING: Base.dot is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in #73 at <missing>
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in reduce_order at /Users/forets/.julia/v0.7/LazySets/src/Zonotope.jl
WARNING: Base.vecnorm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in reduce_order at /Users/forets/.julia/v0.7/LazySets/src/Zonotope.jl
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
in reduce_order at /Users/forets/.julia/v0.7/LazySets/src/Zonotope.jl
┌ Warning: `sum(a::AbstractArray, dims)` is deprecated, use `sum(a, dims=dims)` instead.
│   caller = reduce_order(::Zonotope{Float32}, ::Int64) at Zonotope.jl:374
└ @ LazySets Zonotope.jl:374
┌ Warning: `diagm(v::AbstractVector)` is deprecated, use `diagm(0 => v)` or `Matrix(Diagonal(v))` instead.
│   caller = reduce_order(::Zonotope{Float32}, ::Int64) at Zonotope.jl:374
└ @ LazySets Zonotope.jl:374
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
┌ Warning: `diagm(v::AbstractVector)` is deprecated, use `diagm(0 => v)` or `Matrix(Diagonal(v))` instead.
│   caller = convert(::Type{Zonotope}, ::Hyperrectangle{Float32}) at convert.jl:89
└ @ LazySets convert.jl:89
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
WARNING: Base.diagm is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_Zonotope.jl:1
┌ Warning: `diagm(v::AbstractVector)` is deprecated, use `diagm(0 => v)` or `Matrix(Diagonal(v))` instead.
│   caller = convert(::Type{Zonotope}, ::BallInf{Float32}) at convert.jl:89
└ @ LazySets convert.jl:89
Test Summary:     | Pass  Total
LazySets.Zonotope |   84     84
 11.774528 seconds (13.78 M allocations: 755.890 MiB, 2.74% gc time)
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_ZeroSet.jl:1
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_ZeroSet.jl:1
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_ZeroSet.jl:1
┌ Warning: `speye(T, n::Integer)` has been deprecated in favor of `I`, `sparse`, and `SparseMatrixCSC` constructor methods. For a direct replacement, consider `sparse(T(1)I, n, n)` if `T` is concrete or `SparseMatrixCSC{T}(I, n, n)` if `T` is either concrete or abstract. If element type `T` is not necessary, consider the shorter `sparse(I, n, n)` or `SparseMatrixCSC(I, n, n)` (with default `eltype(I)` of `Bool`).
│   caller = *(::Float64, ::BallInf{Float64}) at LinearMap.jl:77
└ @ LazySets LinearMap.jl:77
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_ZeroSet.jl:1
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_ZeroSet.jl:1
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_ZeroSet.jl:1
┌ Warning: `speye(T, n::Integer)` has been deprecated in favor of `I`, `sparse`, and `SparseMatrixCSC` constructor methods. For a direct replacement, consider `sparse(T(1)I, n, n)` if `T` is concrete or `SparseMatrixCSC{T}(I, n, n)` if `T` is either concrete or abstract. If element type `T` is not necessary, consider the shorter `sparse(I, n, n)` or `SparseMatrixCSC(I, n, n)` (with default `eltype(I)` of `Bool`).
│   caller = *(::Rational{Int64}, ::BallInf{Rational{Int64}}) at LinearMap.jl:77
└ @ LazySets LinearMap.jl:77
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_ZeroSet.jl:1
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_ZeroSet.jl:1
WARNING: Base.speye is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_ZeroSet.jl:1
┌ Warning: `speye(T, n::Integer)` has been deprecated in favor of `I`, `sparse`, and `SparseMatrixCSC` constructor methods. For a direct replacement, consider `sparse(T(1)I, n, n)` if `T` is concrete or `SparseMatrixCSC{T}(I, n, n)` if `T` is either concrete or abstract. If element type `T` is not necessary, consider the shorter `sparse(I, n, n)` or `SparseMatrixCSC(I, n, n)` (with default `eltype(I)` of `Bool`).
│   caller = *(::Float32, ::BallInf{Float32}) at LinearMap.jl:77
└ @ LazySets LinearMap.jl:77
Test Summary:    | Pass  Total
LazySets.ZeroSet |   21     21
  1.540363 seconds (772.18 k allocations: 44.291 MiB, 7.66% gc time)
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_EmptySet.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_EmptySet.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_EmptySet.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_EmptySet.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_EmptySet.jl:1
WARNING: Base.sparsevec is deprecated: it has been moved to the standard library package `SparseArrays`.
Add `using SparseArrays` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/test/unit_EmptySet.jl:1
LazySets.EmptySet: Error During Test at /Users/forets/.julia/v0.7/LazySets/test/unit_EmptySet.jl:8
  Test threw exception UndefVarError(:×)
  Expression: B × E isa EmptySet && E × B isa EmptySet
  UndefVarError: × not defined
  Stacktrace:
   [1] top-level scope at ./<missing>:8
   [2] include at ./boot.jl:306 [inlined]
   [3] include_relative(::Module, ::String) at ./loading.jl:1072
   [4] include(::Module, ::String) at ./sysimg.jl:29
   [5] include(::String) at ./sysimg.jl:68
   [6] macro expansion at /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:18 [inlined]
   [7] macro expansion at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/Test/src/Test.jl:1022 [inlined]
   [8] macro expansion at /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:18 [inlined]
   [9] top-level scope at ./<missing>:156
LazySets.EmptySet: Error During Test at /Users/forets/.julia/v0.7/LazySets/test/unit_EmptySet.jl:12
  Test threw exception UndefVarError(:×)
  Expression: cpa × E isa EmptySet && E × cpa isa EmptySet
  UndefVarError: × not defined
  Stacktrace:
   [1] top-level scope at ./<missing>:12
   [2] include at ./boot.jl:306 [inlined]
   [3] include_relative(::Module, ::String) at ./loading.jl:1072
   [4] include(::Module, ::String) at ./sysimg.jl:29
   [5] include(::String) at ./sysimg.jl:68
   [6] macro expansion at /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:18 [inlined]
   [7] macro expansion at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/Test/src/Test.jl:1022 [inlined]
   [8] macro expansion at /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:18 [inlined]
   [9] top-level scope at ./<missing>:156
LazySets.EmptySet: Error During Test at /Users/forets/.julia/v0.7/LazySets/test/unit_EmptySet.jl:8
  Test threw exception UndefVarError(:×)
  Expression: B × E isa EmptySet && E × B isa EmptySet
  UndefVarError: × not defined
  Stacktrace:
   [1] top-level scope at ./<missing>:8
   [2] include at ./boot.jl:306 [inlined]
   [3] include_relative(::Module, ::String) at ./loading.jl:1072
   [4] include(::Module, ::String) at ./sysimg.jl:29
   [5] include(::String) at ./sysimg.jl:68
   [6] macro expansion at /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:18 [inlined]
   [7] macro expansion at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/Test/src/Test.jl:1022 [inlined]
   [8] macro expansion at /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:18 [inlined]
   [9] top-level scope at ./<missing>:156
LazySets.EmptySet: Error During Test at /Users/forets/.julia/v0.7/LazySets/test/unit_EmptySet.jl:12
  Test threw exception UndefVarError(:×)
  Expression: cpa × E isa EmptySet && E × cpa isa EmptySet
  UndefVarError: × not defined
  Stacktrace:
   [1] top-level scope at ./<missing>:12
   [2] include at ./boot.jl:306 [inlined]
   [3] include_relative(::Module, ::String) at ./loading.jl:1072
   [4] include(::Module, ::String) at ./sysimg.jl:29
   [5] include(::String) at ./sysimg.jl:68
   [6] macro expansion at /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:18 [inlined]
   [7] macro expansion at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/Test/src/Test.jl:1022 [inlined]
   [8] macro expansion at /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:18 [inlined]
   [9] top-level scope at ./<missing>:156
LazySets.EmptySet: Error During Test at /Users/forets/.julia/v0.7/LazySets/test/unit_EmptySet.jl:8
  Test threw exception UndefVarError(:×)
  Expression: B × E isa EmptySet && E × B isa EmptySet
  UndefVarError: × not defined
  Stacktrace:
   [1] top-level scope at ./<missing>:8
   [2] include at ./boot.jl:306 [inlined]
   [3] include_relative(::Module, ::String) at ./loading.jl:1072
   [4] include(::Module, ::String) at ./sysimg.jl:29
   [5] include(::String) at ./sysimg.jl:68
   [6] macro expansion at /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:18 [inlined]
   [7] macro expansion at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/Test/src/Test.jl:1022 [inlined]
   [8] macro expansion at /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:18 [inlined]
   [9] top-level scope at ./<missing>:156
LazySets.EmptySet: Error During Test at /Users/forets/.julia/v0.7/LazySets/test/unit_EmptySet.jl:12
  Test threw exception UndefVarError(:×)
  Expression: cpa × E isa EmptySet && E × cpa isa EmptySet
  UndefVarError: × not defined
  Stacktrace:
   [1] top-level scope at ./<missing>:12
   [2] include at ./boot.jl:306 [inlined]
   [3] include_relative(::Module, ::String) at ./loading.jl:1072
   [4] include(::Module, ::String) at ./sysimg.jl:29
   [5] include(::String) at ./sysimg.jl:68
   [6] macro expansion at /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:18 [inlined]
   [7] macro expansion at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/Test/src/Test.jl:1022 [inlined]
   [8] macro expansion at /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:18 [inlined]
   [9] top-level scope at ./<missing>:156
Test Summary:     | Pass  Error  Total
LazySets.EmptySet |   49      6     55
ERROR: LoadError: Some tests did not pass: 49 passed, 0 failed, 6 errored, 0 broken.
in expression starting at /Users/forets/.julia/v0.7/LazySets/test/runtests.jl:18
┌ Error: ------------------------------------------------------------# Testing failed for LazySets
│   exception =
│    failed process: Process(`/Applications/Julia-0.7.app/Contents/Resources/julia/bin/julia -Cnative -J/Applications/Julia-0.7.app/Contents/Resources/julia/lib/julia/sys.dylib --compile=yes --depwarn=yes --code-coverage=none --color=yes --compiled-modules=yes --check-bounds=yes --warn-overwrite=yes --startup-file=yes /Users/forets/.julia/v0.7/LazySets/test/runtests.jl`, ProcessExited(1)) [1]
│    Stacktrace:
│     [1] error(::String, ::Base.Process, ::String, ::Int64, ::String) at ./error.jl:42
│     [2] pipeline_error(::Base.Process) at ./process.jl:712
│     [3] #run#534(::Bool, ::Function, ::Cmd) at ./process.jl:670
│     [4] run at ./process.jl:668 [inlined]
│     [5] (::getfield(Pkg.Entry, Symbol("##56#57")){Bool,String,Array{AbstractString,1}})() at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/Pkg/src/entry.jl:729
│     [6] cd(::getfield(Pkg.Entry, Symbol("##56#57")){Bool,String,Array{AbstractString,1}}, ::String) at ./file.jl:72
│     [7] #test!#55(::Bool, ::Function, ::String, ::Array{AbstractString,1}, ::Array{AbstractString,1}, ::Array{AbstractString,1}) at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/Pkg/src/entry.jl:717
│     [8] (::getfield(Pkg.Entry, Symbol("#kw##test!")))(::NamedTuple{(:coverage,),Tuple{Bool}}, ::typeof(Pkg.Entry.test!), ::String, ::Array{AbstractString,1}, ::Array{AbstractString,1}, ::Array{AbstractString,1}) at ./<missing>:0
│     [9] #test#59(::Bool, ::Function, ::Array{AbstractString,1}) at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/Pkg/src/entry.jl:756
│     [10] #test at ./<missing>:0 [inlined]
│     [11] #4 at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/Pkg/src/dir.jl:36 [inlined]
│     [12] cd(::getfield(Pkg.Dir, Symbol("##4#7")){Base.Iterators.Pairs{Symbol,Bool,Tuple{Symbol},NamedTuple{(:coverage,),Tuple{Bool}}},typeof(Pkg.Entry.test),Tuple{Array{AbstractString,1}}}, ::String) at ./file.jl:72
│     [13] #cd#1(::Base.Iterators.Pairs{Symbol,Bool,Tuple{Symbol},NamedTuple{(:coverage,),Tuple{Bool}}}, ::Function, ::Function, ::Array{AbstractString,1}, ::Vararg{Array{AbstractString,1},N} where N) at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/Pkg/src/dir.jl:36
│     [14] (::getfield(Pkg.Dir, Symbol("#kw##cd")))(::NamedTuple{(:coverage,),Tuple{Bool}}, ::typeof(Pkg.Dir.cd), ::Function, ::Array{AbstractString,1}, ::Vararg{Array{AbstractString,1},N} where N) at ./<missing>:0
│     [15] #test#3(::Bool, ::Function, ::String, ::Vararg{String,N} where N) at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/Pkg/src/Pkg.jl:278
│     [16] test(::String, ::Vararg{String,N} where N) at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/Pkg/src/Pkg.jl:278
│     [17] top-level scope
│     [18] eval at ./boot.jl:309 [inlined]
│     [19] eval(::Module, ::Expr) at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/REPL/src/REPL.jl:5
│     [20] eval_user_input(::Any, ::REPL.REPLBackend) at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/REPL/src/REPL.jl:86
│     [21] macro expansion at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/site/v0.7/REPL/src/REPL.jl:117 [inlined]
│     [22] (::getfield(REPL, Symbol("##28#29")){REPL.REPLBackend})() at ./event.jl:92
└ @ Pkg.Entry entry.jl:732
ERROR: LazySets had test errors

@schillic
Copy link
Member Author

😮
I think it looks worse than it is. Many of them are duplicates.

@mforets
Copy link
Member

mforets commented Jun 2, 2018

status after #358 :

julia> using LazySets
[ Info: Precompiling module LazySets
┌ Warning: `current_module()` is deprecated, use `@__MODULE__` instead.
│   caller = @require(::LineNumberNode, ::Module, ::Any, ::Any) at require.jl:51
└ @ Requires require.jl:51
┌ Warning: `isdefined(:symbol)` is deprecated, use `@isdefined symbol` instead
│   caller = ip:0x0
└ @ Core :-1
WARNING: Method definition __init__() in module Requires at /Users/forets/.julia/v0.7/Requires/src/init.jl:9 overwritten in module LazySets at /Users/forets/.julia/v0.7/Requires/src/init.jl:9.
WARNING: Method definition __init__() in module LazySets at /Users/forets/.julia/v0.7/Requires/src/init.jl:9 overwritten at /Users/forets/.julia/v0.7/Requires/src/init.jl:9.
WARNING: could not import Base into LazySets
WARNING: Base.LinAlg is deprecated, run `using LinearAlgebra` instead
  likely near /Users/forets/.julia/v0.7/Expokit/src/Expokit.jl:17
WARNING: Base.LinAlg is deprecated, run `using LinearAlgebra` instead
  likely near /Users/forets/.julia/v0.7/Expokit/src/Expokit.jl:18
┌ Warning: Deprecated syntax `2.*` at /Users/forets/.julia/v0.7/Expokit/src/expmv.jl:48.
│ Use `2 .*` instead.
└ @ nothing expmv.jl:48
┌ Warning: Deprecated syntax `1./` at /Users/forets/.julia/v0.7/Expokit/src/expmv.jl:49.
│ Use `1 ./` instead.
└ @ nothing expmv.jl:49
┌ Warning: Deprecated syntax `4.*` at /Users/forets/.julia/v0.7/Expokit/src/expmv.jl:49.
│ Use `4 .*` instead.
└ @ nothing expmv.jl:49
┌ Warning: Deprecated syntax `parametric method syntax expmv{T}(t::Number, A, vec::Vector{T}; tol::Real = 1e-07, m::Int = min(30, size(A, 1)), norm = Base.norm)` around /Users/forets/.julia/v0.7/Expokit/src/expmv.jl:17.
│ Use `expmv(t::Number, A, vec::Vector{T}; tol::Real = 1e-07, m::Int = min(30, size(A, 1)), norm = Base.norm) where T` instead.
└ @ nothing expmv.jl:17
┌ Warning: Deprecated syntax `parametric method syntax expmv!{T}(t::Number, A, vec::Vector{T}; tol::Real = 1e-07, m::Int = min(30, size(A, 1)), norm = Base.norm)` around /Users/forets/.julia/v0.7/Expokit/src/expmv.jl:26.
│ Use `expmv!(t::Number, A, vec::Vector{T}; tol::Real = 1e-07, m::Int = min(30, size(A, 1)), norm = Base.norm) where T` instead.
└ @ nothing expmv.jl:26
┌ Warning: Deprecated syntax `parametric method syntax expmv!{T}(w::Vector{T}, t::Number, A, vec::Vector{T}; tol::Real = 1e-07, m::Int = min(30, size(A, 1)), norm = Base.norm)` around /Users/forets/.julia/v0.7/Expokit/src/expmv.jl:31.
│ Use `expmv!(w::Vector{T}, t::Number, A, vec::Vector{T}; tol::Real = 1e-07, m::Int = min(30, size(A, 1)), norm = Base.norm) where T` instead.
└ @ nothing expmv.jl:31
┌ Warning: Deprecated syntax `parametric method syntax chbv{T}(A, vec::Vector{T})` around /Users/forets/.julia/v0.7/Expokit/src/chbv.jl:72.
│ Use `chbv(A, vec::Vector{T}) where T` instead.
└ @ nothing chbv.jl:72
┌ Warning: Deprecated syntax `parametric method syntax chbv!{T}(A, vec::Vector{T})` around /Users/forets/.julia/v0.7/Expokit/src/chbv.jl:76.
│ Use `chbv!(A, vec::Vector{T}) where T` instead.
└ @ nothing chbv.jl:76
┌ Warning: Deprecated syntax `parametric method syntax chbv!{T <: Real}(w::Vector{T}, A, vec::Vector{T})` around /Users/forets/.julia/v0.7/Expokit/src/chbv.jl:79.
│ Use `chbv!(w::Vector{T}, A, vec::Vector{T}) where T <: Real` instead.
└ @ nothing chbv.jl:79
┌ Warning: Deprecated syntax `parametric method syntax chbv!{T <: Complex}(w::Vector{T}, A, vec::Vector{T})` around /Users/forets/.julia/v0.7/Expokit/src/chbv.jl:88.
│ Use `chbv!(w::Vector{T}, A, vec::Vector{T}) where T <: Complex` instead.
└ @ nothing chbv.jl:88
┌ Warning: Deprecated syntax `1./` at /Users/forets/.julia/v0.7/Expokit/src/phimv.jl:71.
│ Use `1 ./` instead.
└ @ nothing phimv.jl:71
┌ Warning: Deprecated syntax `4.*` at /Users/forets/.julia/v0.7/Expokit/src/phimv.jl:71.
│ Use `4 .*` instead.
└ @ nothing phimv.jl:71
┌ Warning: Deprecated syntax `parametric method syntax phimv{T}(t::Number, A, u::Vector{T}, vec::Vector{T}; tol::Real = 1e-07, m::Int = min(30, size(A, 1)), norm = Base.norm)` around /Users/forets/.julia/v0.7/Expokit/src/phimv.jl:39.
│ Use `phimv(t::Number, A, u::Vector{T}, vec::Vector{T}; tol::Real = 1e-07, m::Int = min(30, size(A, 1)), norm = Base.norm) where T` instead.
└ @ nothing phimv.jl:39
┌ Warning: Deprecated syntax `parametric method syntax phimv!{T}(t::Number, A, u::Vector{T}, vec::Vector{T}; tol::Real = 1e-07, m::Int = min(30, size(A, 1)), norm = Base.norm)` around /Users/forets/.julia/v0.7/Expokit/src/phimv.jl:48.
│ Use `phimv!(t::Number, A, u::Vector{T}, vec::Vector{T}; tol::Real = 1e-07, m::Int = min(30, size(A, 1)), norm = Base.norm) where T` instead.
└ @ nothing phimv.jl:48
┌ Warning: Deprecated syntax `parametric method syntax phimv!{T}(w::Vector{T}, t::Number, A, u::Vector{T}, vec::Vector{T}; tol::Real = 1e-07, m::Int = min(30, size(A, 1)), norm = Base.norm)` around /Users/forets/.julia/v0.7/Expokit/src/phimv.jl:53.
│ Use `phimv!(w::Vector{T}, t::Number, A, u::Vector{T}, vec::Vector{T}; tol::Real = 1e-07, m::Int = min(30, size(A, 1)), norm = Base.norm) where T` instead.
└ @ nothing phimv.jl:53
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/forets/.julia/v0.7/LazySets/src/ExponentialMap.jl:64
WARNING: Method definition __init__() in module LazySets at /Users/forets/.julia/v0.7/Requires/src/init.jl:9 overwritten in module Approximations at /Users/forets/.julia/v0.7/Requires/src/init.jl:9.
WARNING: importing deprecated binding Base.Void into Approximations.
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/forets/.julia/v0.7/LazySets/src/Approximations/decompositions.jl:34

@schillic
Copy link
Member Author

schillic commented Jun 3, 2018

Looks like most of the problems come from Expokit now.

@mforets mforets added this to the AES milestone Jun 3, 2018
@mforets
Copy link
Member

mforets commented Jun 8, 2018

Looks like most of the problems come from Expokit now.

Yes. See this PR.

For the ones in Requires, i reported them here.

@schillic
Copy link
Member Author

schillic commented Jun 8, 2018

Just to mention this, I had some trouble installing LazySets on a fresh 0.7 alpha Linux setup (using Pkg; Pkg.add("LazySets"); Pkg.build("LazySets")).

  1. For Pkg.add("LazySets") it hung itself up several times when loading packages (seemed random to me). I had to interrupt, delete the last folder in packages, and run Pkg.add("LazySets") again. Then it loaded the previously failed package, and some more, and the game repeated two more times until I had all packages.
  2. For Pkg.build("LazySets") it crashed when trying to build GLPK. I had to manually run Pkg.add("GLPK") because it was not installed. in the REQUIRE file we do not have GLPK, and I wonder why it is not automatically installed (and why we need it for building the package at all).
  3. Then I get Warning: Dependency graph not a DAG, linearizing anyway, and later I get errors when building WinRPM. For the moment I just ignored this.
  4. using LazySets starts building all requirements, and eventually fails when building IntervalArithmetic with error message syntax: invalid escape sequence. I tried Pkg.add("IntervalArithmetic"); using IntervalArithmetic and I got the same message.

Hence at the moment I cannot use LazySets in v0.7. @mforets: How did you manage to install it?

Note that this is my environments/v0.7/Manifest.toml:

[[LazySets]]
deps = ["CDDLib", "Compat", "Expokit", "GLPKMathProgInterface", "GR", "IntervalArithmetic", "IterTools", "MathProgBase", "Plots", "Polyhedra", "RecipesBase", "Requires"]
git-tree-sha1 = "f38f12e34ec65d5c03e46da9dd71700531b1ee89"
uuid = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
version = "1.2.2"

Should we remove packages like IntervalArithmetic and Polyhedra from the REQUIRE file? They are not actually required, and we do not load them by default.
EDIT: We cannot remove IntervalArithmetic because we import it in Interval.jl. The good thing is that they are currently fixing that in their #155.
EDIT2: With

pkg> develop IntervalArithmetic

I get the latest version, and there it builds.

@schillic
Copy link
Member Author

schillic commented Jun 8, 2018

FWIW, these are my warnings.

julia> using LazySets
[ Info: Precompiling module LazySets
┌ Warning: The function `cfunction` is now written as a macro `@cfunction`.
│   caller = version at GLPK.jl:227 [inlined]
└ @ Core GLPK.jl:227
┌ Warning: `current_module()` is deprecated, use `@__MODULE__` instead.
│   caller = @require(::LineNumberNode, ::Module, ::Any, ::Any) at require.jl:51
└ @ Requires require.jl:51
┌ Warning: `isdefined(:symbol)` is deprecated, use `@isdefined symbol` instead
│   caller = ip:0x0
└ @ Core :-1
WARNING: Method definition __init__() in module Requires at .../.julia/packages/Requires/bNVE/src/init.jl:9 overwritten in module LazySets at .../.julia/packages/Requires/bNVE/src/init.jl:9.
┌ Warning: `setrounding` for `Float32` and `Float64` has been deprecated, and will not be available in future versions.
│   caller = __init__() at IntervalArithmetic.jl:80
└ @ IntervalArithmetic IntervalArithmetic.jl:80
WARNING: Method definition __init__() in module LazySets at .../.julia/packages/Requires/bNVE/src/init.jl:9 overwritten at .../.julia/packages/Requires/bNVE/src/init.jl:9.
WARNING: importing deprecated binding Base into LazySets.
WARNING: Method definition (::Type{LazySets.CartesianProduct{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N<:Real})(S1<:LazySets.LazySet{N<:Real}, S2<:LazySets.LazySet{N<:Real}) where {N<:Real, S1<:LazySets.LazySet{N<:Real}, S2<:LazySets.LazySet{N<:Real}} in module LazySets at .../.julia/dev/LazySets/src/CartesianProduct.jl:35 overwritten at .../.julia/dev/LazySets/src/CartesianProduct.jl:40.
WARNING: Base is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near .../.julia/dev/LazySets/src/CartesianProduct.jl:65
WARNING: Method definition (::Type{LazySets.CartesianProductArray{N, S} where S<:LazySets.LazySet{N} where N<:Real})(Array{S<:LazySets.LazySet{N<:Real}, 1}) where {N<:Real, S<:LazySets.LazySet{N<:Real}} in module LazySets at .../.julia/dev/LazySets/src/CartesianProduct.jl:157 overwritten at .../.julia/dev/LazySets/src/CartesianProduct.jl:161.
WARNING: Method definition (::Type{LazySets.ConvexHullArray{N, S} where S<:LazySets.LazySet{N} where N<:Real})(Array{S<:LazySets.LazySet{N<:Real}, 1}) where {N<:Real, S<:LazySets.LazySet{N<:Real}} in module LazySets at .../.julia/dev/LazySets/src/ConvexHull.jl:130 overwritten at .../.julia/dev/LazySets/src/ConvexHull.jl:134.
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near .../.julia/dev/LazySets/src/ExponentialMap.jl:64
WARNING: Method definition (::Type{LazySets.ExponentialProjectionMap{N, S} where S<:LazySets.LazySet{N} where N<:Real})(LazySets.ProjectionSparseMatrixExp{N} where N<:Real, S<:LazySets.LazySet{N<:Real}) where {N<:Real, S<:LazySets.LazySet{N<:Real}} in module LazySets at .../.julia/dev/LazySets/src/ExponentialMap.jl:297 overwritten at .../.julia/dev/LazySets/src/ExponentialMap.jl:302.
WARNING: Method definition (::Type{LazySets.MinkowskiSumArray{N, S} where S<:LazySets.LazySet{N} where N<:Real})(Array{S<:LazySets.LazySet{N<:Real}, 1}) where {N<:Real, S<:LazySets.LazySet{N<:Real}} in module LazySets at .../.julia/dev/LazySets/src/MinkowskiSum.jl:131 overwritten at .../.julia/dev/LazySets/src/MinkowskiSum.jl:135.
WARNING: Method definition __init__() in module LazySets at .../.julia/packages/Requires/bNVE/src/init.jl:9 overwritten in module Approximations at .../.julia/packages/Requires/bNVE/src/init.jl:9.
WARNING: importing deprecated binding Base.Void into Approximations.
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near .../.julia/dev/LazySets/src/Approximations/decompositions.jl:34
┌ Warning: The function `cfunction` is now written as a macro `@cfunction`.
│   caller = version at GLPK.jl:227 [inlined]
└ @ Core GLPK.jl:227
┌ Warning: `setrounding` for `Float32` and `Float64` has been deprecated, and will not be available in future versions.
│   caller = __init__() at IntervalArithmetic.jl:80
└ @ IntervalArithmetic IntervalArithmetic.jl:80

schillic added a commit that referenced this issue Jul 25, 2018
@mforets
Copy link
Member

mforets commented Jul 31, 2018

after #403 :

julia> using LazySets
[ Info: Recompiling stale cache file /Users/mforets/.julia/compiled/v0.7/LazySets/NjrG.ji for module LazySets
WARNING: importing deprecated binding Base into LazySets.
WARNING: Method definition (::Type{LazySets.CartesianProduct{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N<:Real})(S1<:LazySets.LazySet{N<:Real}, S2<:LazySets.LazySet{N<:Real}) where {N<:Real, S1<:LazySets.LazySet{N<:Real}, S2<:LazySets.LazySet{N<:Real}} in module LazySets at /Users/mforets/.julia/dev/LazySets/src/CartesianProduct.jl:35 overwritten at /Users/mforets/.julia/dev/LazySets/src/CartesianProduct.jl:40.
WARNING: Base is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/mforets/.julia/dev/LazySets/src/CartesianProduct.jl:65
WARNING: Method definition (::Type{LazySets.CartesianProductArray{N, S} where S<:LazySets.LazySet{N} where N<:Real})(Array{S<:LazySets.LazySet{N<:Real}, 1}) where {N<:Real, S<:LazySets.LazySet{N<:Real}} in module LazySets at /Users/mforets/.julia/dev/LazySets/src/CartesianProduct.jl:157 overwritten at /Users/mforets/.julia/dev/LazySets/src/CartesianProduct.jl:161.
WARNING: Method definition (::Type{LazySets.ConvexHullArray{N, S} where S<:LazySets.LazySet{N} where N<:Real})(Array{S<:LazySets.LazySet{N<:Real}, 1}) where {N<:Real, S<:LazySets.LazySet{N<:Real}} in module LazySets at /Users/mforets/.julia/dev/LazySets/src/ConvexHull.jl:130 overwritten at /Users/mforets/.julia/dev/LazySets/src/ConvexHull.jl:134.
WARNING: Base.eye is deprecated: it has been moved to the standard library package `LinearAlgebra`.
Add `using LinearAlgebra` to your imports.
  likely near /Users/mforets/.julia/dev/LazySets/src/ExponentialMap.jl:64
WARNING: Method definition (::Type{LazySets.ExponentialProjectionMap{N, S} where S<:LazySets.LazySet{N} where N<:Real})(LazySets.ProjectionSparseMatrixExp{N} where N<:Real, S<:LazySets.LazySet{N<:Real}) where {N<:Real, S<:LazySets.LazySet{N<:Real}} in module LazySets at /Users/mforets/.julia/dev/LazySets/src/ExponentialMap.jl:297 overwritten at /Users/mforets/.julia/dev/LazySets/src/ExponentialMap.jl:302.
WARNING: Method definition (::Type{LazySets.MinkowskiSumArray{N, S} where S<:LazySets.LazySet{N} where N<:Real})(Array{S<:LazySets.LazySet{N<:Real}, 1}) where {N<:Real, S<:LazySets.LazySet{N<:Real}} in module LazySets at /Users/mforets/.julia/dev/LazySets/src/MinkowskiSum.jl:131 overwritten at /Users/mforets/.julia/dev/LazySets/src/MinkowskiSum.jl:135.
WARNING: importing deprecated binding Base.Void into Approximations.
WARNING: Base.Void is deprecated, use Nothing instead.
  likely near /Users/mforets/.julia/dev/LazySets/src/Approximations/decompositions.jl:34

@mforets
Copy link
Member

mforets commented Jul 31, 2018

@schillic i thought that you fixed some Void into Nothing recently, or not?

@mforets
Copy link
Member

mforets commented Jul 31, 2018

yes, never mind, it is just because https://github.com/JuliaReach/LazySets.jl/pull/404/files#diff-69f1648c3d208a3031649ec1bec5d296R40 was merged recently and schillic/requires doesn't have this changeset yet.

@schillic
Copy link
Member Author

What remains are the WARNING: Method definition ... overwritten warnings. They are really troublesome. Also, the unit tests still crash.

@schillic
Copy link
Member Author

schillic commented Aug 6, 2018

The warnings during precompilation will be fixed in #487. There are errors in the unit tests, and really a lot of deprecation warnings. This is really depressing 😞.

Here are the failing test files:

`unit_Hyperrectangle.jl`
`unit_ExponentialMap.jl`
`unit_template_directions.jl`
`unit_radiusdiameter.jl`
`unit_decompose.jl`
`unit_interfaces.jl`

schillic added a commit that referenced this issue Aug 11, 2018
#121 - Add package InteractiveUtils for v0.7 (for 'subtypes' function)
schillic added a commit that referenced this issue Aug 11, 2018
schillic added a commit that referenced this issue Aug 11, 2018
mforets added a commit that referenced this issue Aug 11, 2018
schillic added a commit that referenced this issue Aug 12, 2018
schillic added a commit that referenced this issue Aug 12, 2018
#121 - Use keyword argument form of 'sum'
mforets added a commit that referenced this issue Aug 12, 2018
#121 - Fix remaining deprecations in unit tests for ExponentialMap
schillic added a commit that referenced this issue Aug 12, 2018
#121 - Replace 'start/next/done' iterators -> 'iterate'
schillic added a commit that referenced this issue Aug 12, 2018
@schillic
Copy link
Member Author

schillic commented Aug 15, 2018

Missing:
EDIT: Nothing! Technically, we have switched now 💯

@schillic schillic modified the milestones: AES, Julia v0.7 support Aug 15, 2018
schillic added a commit that referenced this issue Aug 16, 2018
#121 - Replace 'IterTools.product' -> 'Iterators.product'
@mforets
Copy link
Member

mforets commented Aug 18, 2018

Polyhedra currently crashes, but we cannot do anything here.

report the bug. i haven't tried to use our functionality that depends on Polyhedra yet though.

@schillic
Copy link
Member Author

The package does not even build. I think they are well aware of this.

@mforets
Copy link
Member

mforets commented Aug 19, 2018

or is it that the master branch hasn't been tagged? trying with...

(v0.7) pkg> add Polyhedra#master
  Updating registry at `~/.julia/registries/General`
  Updating git-repo `https://github.com/JuliaRegistries/General.git`
   Cloning git-repo `https://github.com/JuliaPolyhedra/Polyhedra.jl.git`
  Updating git-repo `https://github.com/JuliaPolyhedra/Polyhedra.jl.git`
 Resolving package versions...

@mforets
Copy link
Member

mforets commented Aug 19, 2018

i confirm that Polyhedra#master builds (there are warnings from another package JuMP).

then,

julia> using LazySets
[ Info: Recompiling stale cache file /Users/forets/.julia/compiled/v0.7/LazySets/NjrGc.ji for LazySets [b4f0291d-fe17-52bc-9479-3d1a343d9043]
┌ Warning: `setrounding` for `Float32` and `Float64` has been deprecated, and will not be available in future versions.
│   caller = setrounding(::getfield(IntervalArithmetic, Symbol("##37#38")){Float64}, ::Type{Float64}, ::RoundingMode{:Down}) at rounding.jl:156
└ @ Base.Rounding ./rounding.jl:156
┌ Warning: `setrounding` for `Float32` and `Float64` has been deprecated, and will not be available in future versions.
│   caller = setrounding(::getfield(IntervalArithmetic, Symbol("##73#74")){Float64}, ::Type{Float64}, ::RoundingMode{:Up}) at rounding.jl:156
└ @ Base.Rounding ./rounding.jl:156
┌ Warning: Error requiring Polyhedra from LazySets:
│ ArgumentError: Package LazySets does not have CDDLib in its dependencies:
│ - If you have LazySets checked out for development and have
│   added CDDLib as a dependency but haven't updated your primary
│   environment's manifest file, try `Pkg.resolve()`.
│ - Otherwise you may need to report an issue with LazySets
│ Stacktrace:
│  [1] require(::Module, ::Symbol) at ./loading.jl:830
│  [2] top-level scope at /Users/forets/.julia/dev/LazySets/src/HPolytope.jl:206
│  [3] eval at ./boot.jl:319 [inlined]
│  [4] eval at /Users/forets/.julia/dev/LazySets/src/LazySets.jl:4 [inlined]
│  [5] load_polyhedra() at /Users/forets/.julia/dev/LazySets/src/init.jl:6
│  [6] top-level scope at none:0
│  [7] eval at ./boot.jl:319 [inlined]
│  [8] eval at /Users/forets/.julia/dev/LazySets/src/LazySets.jl:4 [inlined]
│  [9] (::getfield(LazySets, Symbol("##47#50")))() at /Users/forets/.julia/packages/Requires/9Jse8/src/require.jl:67
│  [10] err(::getfield(LazySets, Symbol("##47#50")), ::Module, ::String) at /Users/forets/.julia/packages/Requires/9Jse8/src/require.jl:38
│  [11] #46 at /Users/forets/.julia/packages/Requires/9Jse8/src/require.jl:66 [inlined]
│  [12] withpath(::getfield(LazySets, Symbol("##46#49")), ::String) at /Users/forets/.julia/packages/Requires/9Jse8/src/require.jl:28
│  [13] #45 at /Users/forets/.julia/packages/Requires/9Jse8/src/require.jl:65 [inlined]
│  [14] listenpkg(::getfield(LazySets, Symbol("##45#48")), ::Base.PkgId) at /Users/forets/.julia/packages/Requires/9Jse8/src/require.jl:13
│  [15] macro expansion at /Users/forets/.julia/packages/Requires/9Jse8/src/require.jl:64 [inlined]
│  [16] __init__() at /Users/forets/.julia/dev/LazySets/src/init.jl:2
│  [17] _include_from_serialized(::String, ::Array{Any,1}) at ./loading.jl:627
│  [18] _require_from_serialized(::String) at ./loading.jl:678
│  [19] macro expansion at ./logging.jl:317 [inlined]
│  [20] _require(::Base.PkgId) at ./loading.jl:941
│  [21] require(::Base.PkgId) at ./loading.jl:852
│  [22] macro expansion at ./logging.jl:311 [inlined]
│  [23] require(::Module, ::Symbol) at ./loading.jl:834
│  [24] eval(::Module, ::Any) at ./boot.jl:319
│  [25] eval_user_input(::Any, ::REPL.REPLBackend) at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/stdlib/v0.7/REPL/src/REPL.jl:85
│  [26] macro expansion at /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/stdlib/v0.7/REPL/src/REPL.jl:117 [inlined]
│  [27] (::getfield(REPL, Symbol("##28#29")){REPL.REPLBackend})() at ./task.jl:262
└ @ Requires ~/.julia/packages/Requires/9Jse8/src/require.jl:40

@schillic
Copy link
Member Author

Should we close this one?

@mforets
Copy link
Member

mforets commented Aug 20, 2018

Yes!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
robustness 💪 Tests and checks usability 🖱️ Simplifies the usage or interface
Projects
None yet
Development

No branches or pull requests

2 participants