From 14e8c692143d0ff35d6e157ec0583e8c11c02600 Mon Sep 17 00:00:00 2001 From: ederc Date: Wed, 18 Sep 2024 14:50:43 +0200 Subject: [PATCH] adds tests for second saturation variant for modules --- test/module/smodule-test.jl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/test/module/smodule-test.jl b/test/module/smodule-test.jl index 6e1c3af60..1beaa86d3 100644 --- a/test/module/smodule-test.jl +++ b/test/module/smodule-test.jl @@ -365,4 +365,10 @@ end @test A[1] == B[1] @test A[2] == B[2] @test k == 2 + + A,k = saturation2(I, J) + + @test A[1] == B[1] + @test A[2] == B[2] + @test k == 2 end