add regression tests for inline GAT datum hashing

2023-02-13 16:00:12 +08:00 · 2023-02-13 16:00:12 +08:00 · 311e656c52
commit 311e656c52
parent 8c9b184ea4
2 changed files with 37 additions and 2 deletions
--- a/agora-specs/Spec/Proposal.hs
+++ b/agora-specs/Spec/Proposal.hs
@ -254,6 +254,11 @@ specs =
                                    mkName
                                    (Advance.mkValidToFailedStateBundles cs es)
                                    allValid
+                                , Advance.mkTestTree'
+                                    "to finished state with inline datum"
+                                    mkName
+                                    (Advance.mkValidToFinishedInlineGATDatumBundles cs es)
+                                    allValid
                                ]
                      , group
                          "illegal"