From 10f243a4e841a583a41a18e2a87564913cddc08d Mon Sep 17 00:00:00 2001
From: Virgil <virgil.serbanuta@runtimeverification.com>
Date: Wed, 20 Nov 2024 16:44:17 +0200
Subject: [PATCH] More documentation

---
 ulm-semantics/test/execution.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ulm-semantics/test/execution.md b/ulm-semantics/test/execution.md
index 86cac5c..57be46e 100644
--- a/ulm-semantics/test/execution.md
+++ b/ulm-semantics/test/execution.md
@@ -179,6 +179,9 @@ module ULM-TEST-EXECUTION
 
     rule (ulmCancel ~> expect_cancel) => .K
 
+    // BytesList is used to define bytes concatenation in tests, so the "+"
+    // uses below represent the test AST concatenation, which we are
+    // evaluating by concatenating the bytes.
     syntax Bytes ::= concat(BytesList)  [function, total]
     rule concat(.BytesList) => b""
     rule concat(B:Bytes + Bs:BytesList) => B +Bytes concat(Bs)