Add converted TLS session specification

Ref. #291
AdaCore · Aug 25, 2020 · 377ef6d · 377ef6d
1 parent dd962a8
commit 377ef6d
Show file tree

Hide file tree

Showing 3 changed files with 1,879 additions and 0 deletions.
diff --git a/tests/test_parser.py b/tests/test_parser.py
@@ -1884,6 +1884,14 @@ def test_tls() -> None:
     p.create_model()
 
 
+def test_tls_sessions() -> None:
+    p = Parser()
+    for f in ["tls_handshake_session.rflx", "tls_record_session.rflx"]:
+        p.parse(Path(f"{TESTDIR}/{f}"))
+    model = p.create_model()
+    assert len(model.sessions) == 2
+
+
 def test_message_with_two_length_fields() -> None:
     p = Parser()
     p.parse_string(