From 5581280db77d16654a13f3cbe40049eebaf3afb2 Mon Sep 17 00:00:00 2001
From: Jan Bujak <jan@parity.io>
Date: Wed, 26 Jun 2024 08:16:36 +0000
Subject: [PATCH] Fix some typos in the ASN.1 schema

---
 pvm/schema.asn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pvm/schema.asn b/pvm/schema.asn
index 5e14fa13..89772873 100644
--- a/pvm/schema.asn
+++ b/pvm/schema.asn
@@ -1,6 +1,6 @@
 PVMTestSuite DEFINITIONS ::= BEGIN
 
--- a 32-bit signed integer
+-- a 64-bit signed integer
 I64 ::= INTEGER(-9223372036854775808..9223372036854775807)
 
 -- a 32-bit unsigned integer
@@ -67,7 +67,7 @@ Testcase ::= SEQUENCE {
     expected-pc U32,
 
     -- (part of the "µ′" from the paper)
-    -- lists all non-zero values after the execution finishes; all accessible address not on this list must be filled with zeroes
+    -- lists all non-zero values after the execution finishes; all accessible addresses not on this list must be filled with zeroes
     expected-memory MemoryChunk,
 
     -- (the "ξ′" from the paper)