@@ -801,52 +801,53 @@ end
801
801
end
802
802
803
803
@testset " overflow" begin
804
+ T = FD{Int8, 1 }
804
805
@testset " addition" begin
805
- @test typemax (FD2 ) + eps (FD2 ) == typemin (FD2 )
806
- @test typemin (FD2 ) + (- eps (FD2 )) == typemax (FD2 )
806
+ @test typemax (T ) + eps (T ) == typemin (T )
807
+ @test typemin (T ) + (- eps (T )) == typemax (T )
807
808
end
808
809
809
810
@testset " subtraction" begin
810
- @test typemin (FD2 ) - eps (FD2 ) == typemax (FD2 )
811
- @test typemax (FD2 ) - (- eps (FD2 )) == typemin (FD2 )
811
+ @test typemin (T ) - eps (T ) == typemax (T )
812
+ @test typemax (T ) - (- eps (T )) == typemin (T )
812
813
end
813
814
814
815
@testset " multiplication" begin
815
- @test typemax (FD2 ) * 2 == FD2 (- 0.02 )
816
- @test typemin (FD2 ) * 2 == FD2 (0 )
816
+ @test typemax (T ) * 2 == T (- 0.2 )
817
+ @test typemin (T ) * 2 == T (0 )
817
818
end
818
819
819
820
@testset " division" begin
820
821
# TODO (PR): Is this the expected value?
821
- @test typemax (FD2 ) / FD2 (0.5 ) == FD2 (- 0.02 )
822
- @test typemin (FD2 ) / FD2 (0.5 ) == FD2 (0 )
822
+ @test typemax (T ) / T (0.5 ) == FD2 (- 0.2 )
823
+ @test typemin (T ) / T (0.5 ) == FD2 (0 )
823
824
end
824
825
825
826
@testset " truncating division" begin
826
827
# TODO (PR): Is this the expected value?
827
- @test typemax (FD2 ) ÷ FD2 (0.5 ) == FD2 (- 0.16 )
828
- @test typemin (FD2 ) ÷ FD2 (0.5 ) == FD2 (0.16 )
829
- @test typemax (FD2 ) ÷ eps (FD2 ) == FD2 (- 1 )
830
- @test typemin (FD2 ) ÷ eps (FD2 ) == FD2 (0 )
828
+ @test typemax (T ) ÷ T (0.5 ) == T (- 0.6 )
829
+ @test typemin (T ) ÷ T (0.5 ) == T (0.6 )
830
+ @test typemax (T ) ÷ eps (T ) == T (- 1 )
831
+ @test typemin (T ) ÷ eps (T ) == T (0 )
831
832
end
832
833
833
834
@testset " fld / cld" begin
834
835
# TODO (PR): Is this the expected value?
835
- @test fld (typemax (FD2 ), FD2 (0.5 )) == FD2 (- 0.16 )
836
- @test fld (typemin (FD2 ), FD2 (0.5 )) == FD2 (- 0.84 )
837
- @test fld (typemax (FD2 ), eps (FD2 )) == FD2 (- 1 )
838
- @test fld (typemin (FD2 ), eps (FD2 )) == FD2 (0 )
836
+ @test fld (typemax (T ), T (0.5 )) == T (- 0.6 )
837
+ @test fld (typemin (T ), T (0.5 )) == T (- 0.4 )
838
+ @test fld (typemax (T ), eps (T )) == T (- 1 )
839
+ @test fld (typemin (T ), eps (T )) == T (0 )
839
840
840
841
# TODO (PR): Is this the expected value?
841
- @test cld (typemax (FD2 ), FD2 (0.5 )) == FD2 (0.84 )
842
- @test cld (typemin (FD2 ), FD2 (0.5 )) == FD2 (0.16 )
843
- @test cld (typemax (FD2 ), eps (FD2 )) == FD2 (- 1 )
844
- @test cld (typemin (FD2 ), eps (FD2 )) == FD2 (0 )
842
+ @test cld (typemax (T ), T (0.5 )) == T (0.4 )
843
+ @test cld (typemin (T ), T (0.5 )) == T (0.6 )
844
+ @test cld (typemax (T ), eps (T )) == T (- 1 )
845
+ @test cld (typemin (T ), eps (T )) == T (0 )
845
846
end
846
847
847
848
@testset " abs / neg" begin
848
- @test abs (typemin (FD2 )) == typemin (FD2 )
849
- @test - (typemin (FD2 )) == typemin (FD2 )
849
+ @test abs (typemin (T )) == typemin (T )
850
+ @test - (typemin (T )) == typemin (T )
850
851
end
851
852
end
852
853
0 commit comments