From db28fabe4425ed6050f609b8c0b1ad05994112a6 Mon Sep 17 00:00:00 2001 From: Roberto Rosmaninho Date: Thu, 23 Jan 2025 12:24:15 -0300 Subject: [PATCH] Fix indentetion and dash size --- kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md index 795da4782c..f6ae417b26 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md @@ -235,10 +235,10 @@ Unparsing ```k syntax Bytes ::= #addrBytes ( Account ) [symbol(#addrBytes), function] | #wordBytes ( Int ) [symbol(#wordBytes), function] - // ---------------------------------------------------------------------------------------- + // ---------------------------------------------------------------------- rule #addrBytes(.Account) => .Bytes - rule #addrBytes(ACCT) => #padToWidth(20, #asByteStack(ACCT)) requires #rangeAddress(ACCT) - rule #wordBytes(WORD) => #padToWidth(32, #asByteStack(WORD)) requires #rangeUInt(256, WORD) + rule #addrBytes(ACCT) => #padToWidth(20, #asByteStack(ACCT)) requires #rangeAddress(ACCT) + rule #wordBytes(WORD) => #padToWidth(32, #asByteStack(WORD)) requires #rangeUInt(256, WORD) ``` Recursive Length Prefix (RLP)