Add parser test for incomplete TLS session specification

Ref. eng/recordflux/RecordFlux#1487
AdaCore · Dec 1, 2023 · 665c51b · 665c51b
1 parent 9ab5b4f
commit 665c51b
Show file tree

Hide file tree

Showing 5 changed files with 201 additions and 116 deletions.
diff --git a/tests/data/specs/parse_only/tls_handshake.rflx b/tests/data/specs/parse_only/tls_handshake.rflx
@@ -117,7 +117,8 @@ package TLS_Handshake is
          Legacy_Version : Protocol_Version;
          Random : Opaque
             with Size => 32 * 8
-            if Legacy_Version = TLS_1_2;
+            then Legacy_Session_ID_Length
+               if Legacy_Version = TLS_1_2;
          Legacy_Session_ID_Length : Legacy_Session_ID_Length;
          Legacy_Session_ID : Opaque
             with Size => Legacy_Session_ID_Length * 8;
@@ -147,7 +148,8 @@ package TLS_Handshake is
          Legacy_Version : Protocol_Version;
          Random : Opaque
             with Size => 32 * 8
-            if Legacy_Version = TLS_1_2;
+            then Legacy_Session_ID_Length
+               if Legacy_Version = TLS_1_2;
          Legacy_Session_ID_Length : Legacy_Session_ID_Length;
          Legacy_Session_ID : Opaque
             with Size => Legacy_Session_ID_Length * 8;