Merge pull request #19 from JuliaReach/schillic/test

Test backward with Singleton output
JuliaReach · Feb 29, 2024 · a53b4be · a53b4be
2 parents dc88bc2 + 7c8eb8c
commit a53b4be
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/test/BackwardAlgorithms/backward.jl b/test/BackwardAlgorithms/backward.jl
@@ -319,10 +319,12 @@ end
     x = [0.0, 1]
     y = Sigmoid()(x)
     Y = BallInf(y, 0.0)
+    Y2 = Singleton(y)
 
     # all algorithms
     for algo in (BoxBackward(), PolyhedraBackward(), DummyBackward())
         @test backward(y, Sigmoid(), algo) == x
+        @test isequivalent(backward(Y2, Sigmoid(), algo), Singleton(x))
     end
 
     # exact algorithms