From 30af26981edd0fb8c3047f30b72bd085cd3ed8d5 Mon Sep 17 00:00:00 2001
From: Lucas ONDEL YANG <lucas.ondel@cnrs.fr>
Date: Tue, 24 Jan 2023 11:58:21 +0100
Subject: [PATCH] added test reverse

---
 src/ops.jl       | 2 +-
 test/runtests.jl | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/ops.jl b/src/ops.jl
index e8ebcba..53a5044 100644
--- a/src/ops.jl
+++ b/src/ops.jl
@@ -74,7 +74,7 @@ end
 
 Return the reversal of A.
 """
-Base.reverse(A::AbstractFSA) = FSA(ω(A), T(A)', α(A), ρ(A), λ(A))
+Base.reverse(A::AbstractFSA) = FSA(ω(A), copy(T(A)'), α(A), ρ(A), λ(A))
 
 """
     renorm(A::FSA)
diff --git a/test/runtests.jl b/test/runtests.jl
index 2c909e2..cd1e711 100644
--- a/test/runtests.jl
+++ b/test/runtests.jl
@@ -90,6 +90,12 @@ end
         @test cs_cB2p.tval[2] == cs_B2p_n3.tval[2]
         @test cs_cB2.tval[1] ≈ cs_B2_n3.tval[1]
         @test cs_cB2.tval[2] == cs_B2_n3.tval[2]
+
+        # reverse
+        rB2 = convert((w, l) -> f(L, w, l), A2 |> reverse)
+        s1 = val(cumsum(B2).tval[2])
+        s2 = Set((StringMonoid ∘ reverse ∘ val).((val ∘ cumsum)(rB2)[2]))
+        @test s1 == s2
     end
 end
 
-- 
GitLab