Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,9 @@ julia:
- 1.4
- nightly

# matrix:
# allow_failures:
# - julia: nightly
matrix:
allow_failures:
- julia: nightly

notifications:
email: false
Expand Down
3 changes: 1 addition & 2 deletions Project.toml
Original file line number Diff line number Diff line change
Expand Up @@ -18,9 +18,8 @@ MacroTools = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09"
ModelingToolkit = "961ee093-0014-501f-94e3-6117800e7a78"

[extras]
DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
ModelingToolkit = "961ee093-0014-501f-94e3-6117800e7a78"
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

[targets]
test = ["Test", "DynamicPolynomials", "ModelingToolkit"]
test = ["Test", "ModelingToolkit"]
6 changes: 3 additions & 3 deletions appveyor.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@ platform:

# # Uncomment the following lines to allow failures on nightly julia
# # (tests will run but not make your overall status red)
# matrix:
# allow_failures:
# - julia_version: nightly
matrix:
allow_failures:
- julia_version: nightly

branches:
only:
Expand Down
16 changes: 0 additions & 16 deletions test/runtests.jl
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
using IntervalArithmetic
using IntervalConstraintProgramming
using ModelingToolkit
using DynamicPolynomials

using Test

Expand Down Expand Up @@ -81,13 +80,6 @@ end

end

@testset "Contractors for polynamial functions" begin
pvars = @polyvar x y
p(x,y) = x + y
C = Contractor(pvars, p)
@test C(-Inf..1, IntervalBox(0.5..1.5, 2)) == IntervalBox(0.5..0.5, 2)
end

@testset "Separators" begin
II = -100..100
X = IntervalBox(II, II)
Expand Down Expand Up @@ -133,14 +125,6 @@ end

end

@testset "Seperators for polynomial functions" begin
pvars = @polyvar x y
p(x,y) = x + y == 1
S = Separator(pvars, p)

@test S(IntervalBox(0.5..1.5, 2)) == (IntervalBox(0.5..0.5, 2), IntervalBox(0.5..1.5, 2))

end
@testset "pave" begin
S1a = @constraint(x > 0 , [x, y])
S1b = @constraint(y > 0 , [x, y])
Expand Down