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 doctest (StaticArrays output changed) #2985

Closed
schillic opened this issue Jun 29, 2022 · 0 comments · Fixed by #2986
Closed

Fix doctest (StaticArrays output changed) #2985

schillic opened this issue Jun 29, 2022 · 0 comments · Fixed by #2986
Assignees
Labels
documentation 📖 Documentation and manual fix 🤕 Fix to a problem that is not too serious

Comments

@schillic
Copy link
Member

┌ Error: doctest failure in ~/work/LazySets.jl/LazySets.jl/src/Approximations/overapproximate.jl:909-918
│ 
│ ```jldoctest oa_tm1
│ julia> X = box_approximation(Z)
│ Hyperrectangle{Float64, Vector{Float64}, Vector{Float64}}([1.0, -2.1], [2.5, 6.5])

│ julia> Y = evaluate(vTM[1], vTM[1].dom) × evaluate(vTM[2], vTM[2].dom)
│ [-1.5, 3.5] × [-8.60001, 4.40001]

│ julia> H = convert(Hyperrectangle, Y) # this IntevalBox is the same as X
│ Hyperrectangle{Float64, StaticArrays.SVector{2, Float64}, StaticArrays.SVector{2, Float64}}([1.0, -2.1000000000000005], [2.5, 6.500000000000001])
```
│ 
│ Subexpression:
│ 
│ H = convert(Hyperrectangle, Y) # this IntevalBox is the same as X
│ 
│ Evaluated output:
│ 
│ Hyperrectangle{Float64, StaticArraysCore.SVector{2, Float64}, StaticArraysCore.SVector{2, Float64}}([1.0, -2.1000000000000005], [2.5, 6.500000000000001])
│ 
│ Expected output:
│ 
│ Hyperrectangle{Float64, StaticArrays.SVector{2, Float64}, StaticArrays.SVector{2, Float64}}([1.0, -2.1000000000000005], [2.5, 6.500000000000001])
│ 
│   diff = Hyperrectangle{Float64, StaticArrays.SVector{2, StaticArraysCore.SVector{2, Float64}, StaticArrays.SVector{2, StaticArraysCore.SVector{2, Float64}}([1.0, -2.1000000000000005], [2.5, 6.500000000000001])
@schillic schillic added documentation 📖 Documentation and manual fix 🤕 Fix to a problem that is not too serious labels Jun 29, 2022
@schillic schillic self-assigned this Jul 1, 2022
schillic added a commit that referenced this issue Jul 1, 2022
#2985 - Fix doctest (StaticArrays output changed)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation 📖 Documentation and manual fix 🤕 Fix to a problem that is not too serious
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant