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.

Sign up for GitHub

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

Jump to bottom

Parallelize tests #236

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Parallelize tests #236

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
6b0a009
Adapt IT1788 tests to use Base.Test and run them in parallel
Mar 5, 2017
029783d
Include path to find the ITF1788 test files
Mar 5, 2017
8a8a45e
Ammend dir for ITF1788 tests
Mar 5, 2017
5799e78
Parallelize tests
Mar 5, 2017
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
26 changes: 17 additions & 9 deletions test/ITF1788_tests/ITF1788_tests.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,10 +1,18 @@

include("libieeep1788_tests_bool.jl")
include("libieeep1788_tests_cancel.jl")
include("libieeep1788_tests_elem.jl")
include("libieeep1788_tests_mul_rev.jl")
include("libieeep1788_tests_num.jl")
include("libieeep1788_tests_overlap.jl")
include("libieeep1788_tests_rec_bool.jl")
include("libieeep1788_tests_rev.jl")
include("libieeep1788_tests_set.jl")
#=
NOTE: The file `ieee1788-constructors.jl`, while it is
included in this directory, is not tested, due to some
lack of functionality
=#

testfiles = (
"libieeep1788_tests_bool.jl", "libieeep1788_tests_cancel.jl",
"libieeep1788_tests_elem.jl", "libieeep1788_tests_mul_rev.jl",
"libieeep1788_tests_num.jl", "libieeep1788_tests_overlap.jl",
"libieeep1788_tests_rec_bool.jl", "libieeep1788_tests_rev.jl",
"libieeep1788_tests_set.jl"
)

@sync @parallel for tf in testfiles
include("ITF1788_tests/" * tf)
end
119 changes: 119 additions & 0 deletions test/ITF1788_tests/ieee1788-constructors.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,119 @@
#=

Test Cases for interval constructors from IEEE Std 1788-2015

Copyright 2016 Oliver Heimlich

Copying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
notice and this notice are preserved. This file is offered as-is,
without any warranty.

=#
#Language imports

#Test library imports
if VERSION >= v"0.5.0-dev+7720"
using Base.Test
else
using BaseTestNext
const Test = BaseTestNext
end

#Arithmetic library imports
using ValidatedNumerics

#Preamble
setprecision(53)
setprecision(Interval, Float64)
setrounding(Interval, :narrow)

# According to the examples in Section 7.4.2, unbounded intervals can be constructed with non-common inputs.
@testset "IEEE1788.a" begin
@test Interval(-Inf, Inf) == entireinterval(Float64)
end

# Examples from Sections 9.7.1 and 9.8
@testset "IEEE1788.b" begin
@test @interval("[1.2345]") == Interval(0x1.3c083126e978dp+0, 0x1.3c083126e978ep+0)
@test @interval("[1,+infinity]") == Interval(1.0, Inf)
@test @decorated("[1,1e3]_com") == DecoratedInterval(Interval(1.0, 1000.0), com)
@test decoration(@decorated("[1,1e3]_com")) == decoration(DecoratedInterval(Interval(1.0, 1000.0), com))
@test @decorated("[1,1E3]_COM") == DecoratedInterval(Interval(1.0, 1000.0), com)
@test decoration(@decorated("[1,1E3]_COM")) == decoration(DecoratedInterval(Interval(1.0, 1000.0), com))
end

# Examples from Table 9.4
@testset "IEEE1788.c" begin
@test @interval("[1.e-3, 1.1e-3]") == Interval(0x4.189374bc6a7ecp-12, 0x4.816f0068db8bcp-12)
@test @interval("[-0x1.3p-1, 2/3]") == Interval(-0x9.8000000000000p-4, +0xa.aaaaaaaaaaab0p-4)
@test @interval("[3.56]") == Interval(0x3.8f5c28f5c28f4p+0, 0x3.8f5c28f5c28f6p+0)
@test @interval("3.56?1") == Interval(0x3.8ccccccccccccp+0, 0x3.91eb851eb8520p+0)
@test @interval("3.56?1e2") == Interval(355.0, 357.0)
@test @interval("3.560?2") == Interval(0x3.8ed916872b020p+0, 0x3.8fdf3b645a1ccp+0)
@test @interval("3.56?") == Interval(0x3.8e147ae147ae0p+0, 0x3.90a3d70a3d70cp+0)
@test @interval("3.560?2u") == Interval(0x3.8f5c28f5c28f4p+0, 0x3.8fdf3b645a1ccp+0)
@test @interval("-10?") == Interval(-10.5, -9.5)
@test @interval("-10?u") == Interval(-10.0, -9.5)
@test @interval("-10?12") == Interval(-22.0, 2.0)
end

# Examples from Section 10.5.1
@testset "IEEE1788.d" begin
@test @interval("[1.234e5,Inf]") == Interval(123400.0, Inf)
@test @interval("3.1416?1") == Interval(0x3.24395810624dcp+0, 0x3.24467381d7dc0p+0)
@test @interval("[Empty]") == ∅
end

# Example from Section 11.3
@testset "IEEE1788.e" begin
@test DecoratedInterval(2, 1) == nai()
end

# Examples from Table 12.1
@testset "IEEE1788.e" begin
@test @decorated("[ ]") == DecoratedInterval(∅, trv)
@test decoration(@decorated("[ ]")) == decoration(DecoratedInterval(∅, trv))
@test @decorated("[entire]") == DecoratedInterval(Interval(-Inf, Inf), dac)
@test decoration(@decorated("[entire]")) == decoration(DecoratedInterval(Interval(-Inf, Inf), dac))
@test @decorated("[1.e-3, 1.1e-3]") == DecoratedInterval(Interval(0x4.189374bc6a7ecp-12, 0x4.816f0068db8bcp-12), com)
@test decoration(@decorated("[1.e-3, 1.1e-3]")) == decoration(DecoratedInterval(Interval(0x4.189374bc6a7ecp-12, 0x4.816f0068db8bcp-12), com))
@test @decorated("[-Inf, 2/3]") == DecoratedInterval(Interval(-Inf, +0xa.aaaaaaaaaaab0p-4), dac)
@test decoration(@decorated("[-Inf, 2/3]")) == decoration(DecoratedInterval(Interval(-Inf, +0xa.aaaaaaaaaaab0p-4), dac))
@test @decorated("[0x1.3p-1,]") == DecoratedInterval(Interval(0x1.3p-1, Inf), dac)
@test decoration(@decorated("[0x1.3p-1,]")) == decoration(DecoratedInterval(Interval(0x1.3p-1, Inf), dac))
@test @decorated("[,]") == DecoratedInterval(entireinterval(Float64), dac)
@test decoration(@decorated("[,]")) == decoration(DecoratedInterval(entireinterval(Float64), dac))
@test @decorated("3.56?1") == DecoratedInterval(Interval(0x3.8ccccccccccccp+0, 0x3.91eb851eb8520p+0), com)
@test decoration(@decorated("3.56?1")) == decoration(DecoratedInterval(Interval(0x3.8ccccccccccccp+0, 0x3.91eb851eb8520p+0), com))
@test @decorated("3.56?1e2") == DecoratedInterval(Interval(355.0, 357.0), com)
@test decoration(@decorated("3.56?1e2")) == decoration(DecoratedInterval(Interval(355.0, 357.0), com))
@test @decorated("3.560?2") == DecoratedInterval(Interval(0x3.8ed916872b020p+0, 0x3.8fdf3b645a1ccp+0), com)
@test decoration(@decorated("3.560?2")) == decoration(DecoratedInterval(Interval(0x3.8ed916872b020p+0, 0x3.8fdf3b645a1ccp+0), com))
@test @decorated("3.56?") == DecoratedInterval(Interval(0x3.8e147ae147ae0p+0, 0x3.90a3d70a3d70cp+0), com)
@test decoration(@decorated("3.56?")) == decoration(DecoratedInterval(Interval(0x3.8e147ae147ae0p+0, 0x3.90a3d70a3d70cp+0), com))
@test @decorated("3.560?2u") == DecoratedInterval(Interval(0x3.8f5c28f5c28f4p+0, 0x3.8fdf3b645a1ccp+0), com)
@test decoration(@decorated("3.560?2u")) == decoration(DecoratedInterval(Interval(0x3.8f5c28f5c28f4p+0, 0x3.8fdf3b645a1ccp+0), com))
@test @decorated("-10?") == DecoratedInterval(Interval(-10.5, -9.5), com)
@test decoration(@decorated("-10?")) == decoration(DecoratedInterval(Interval(-10.5, -9.5), com))
@test @decorated("-10?u") == DecoratedInterval(Interval(-10.0, -9.5), com)
@test decoration(@decorated("-10?u")) == decoration(DecoratedInterval(Interval(-10.0, -9.5), com))
@test @decorated("-10?12") == DecoratedInterval(Interval(-22.0, 2.0), com)
@test decoration(@decorated("-10?12")) == decoration(DecoratedInterval(Interval(-22.0, 2.0), com))
@test @decorated("-10??u") == DecoratedInterval(Interval(-10.0, Inf), dac)
@test decoration(@decorated("-10??u")) == decoration(DecoratedInterval(Interval(-10.0, Inf), dac))
@test @decorated("-10??") == DecoratedInterval(Interval(-Inf, Inf), dac)
@test decoration(@decorated("-10??")) == decoration(DecoratedInterval(Interval(-Inf, Inf), dac))
@test @decorated("[nai]") == nai()
@test @decorated("3.56?1_def") == DecoratedInterval(Interval(0x3.8ccccccccccccp+0, 0x3.91eb851eb8520p+0), def)
@test decoration(@decorated("3.56?1_def")) == decoration(DecoratedInterval(Interval(0x3.8ccccccccccccp+0, 0x3.91eb851eb8520p+0), def))
end

# Examples from Section 12.11.3
@testset "IEEE1788.f" begin
@test @interval("[]") == ∅
@test @interval("[empty]") == ∅
@test @interval("[ empty ]") == ∅
@test @interval("[,]") == entireinterval(Float64)
@test @interval("[ entire ]") == entireinterval(Float64)
end
Loading