This package is a parser of the Interval Tests Libraries (ITL) testsuite, created by Oliver Heimlich and available here. The tests are to verify whether an interval arithmetic implementation is complying to the IEEE 1788-2015 standard for interval arithmetic. This package converts the test suite to tests in Julia, which can be used to test IntervalArithmetic.jl
Install and import the package with
julia> using Pkg; Pkg.add("https://github.com/JuliaIntervals/ITF1788.jl.git") # only once to install
julia> using ITF1788then run
julia> generate()
and this function will convert all the test into Julia tests, actually check the tests and mark as broken those not passing.
For example, if the original .itl file had a line like
add [1.0, 2.0] [1.0, 2.0] = [2.0, 4.0]
this will become
@test +(interval(1.0, 2.0), interval(1.0, 2.0)) === Interval(2.0, 4.0)if the test is successful and
@test_skip +(interval(1.0, 2.0), interval(1.0, 2.0)) === Interval(2.0, 4.0)if the test is unsuccessful.
If you do not want to actually run the test and mark the broken tests, you can run
generate(; failure=false). This will use the macro @test for all tests regardless of whether they succeed or not.
By default, all test files are created into a folder test_ITF1788 in your current directory. You can change the output directory with the
keyword output, e.g. generate(; output="mydirectory").
The function will also create a run_ITF1788.jl which includes all the tests files, i.e. all you have to do to test IntervalArithmetic.jl against this test suite is
include("test_ITF1788/run_ITF1788.jl")- According to the standard, some functions are required to also signal a warning in some situations (e.g. invalid input), the testsuite also checks that warning are returned. However, if the function does not return a warning (and IntervalArithmetic does not at the moment) then the test will error and testing will stop. If you do not want to test that warnings are printed, you can do
generate(; test_warn=false).