diff --git a/poetry.lock b/poetry.lock
index 4919e667a..342e25b3b 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -430,7 +430,7 @@ requirements-deprecated-finder = ["pip-api", "pipreqs"]
 
 [[package]]
 name = "kevm-pyk"
-version = "1.0.324"
+version = "1.0.325"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -439,15 +439,15 @@ develop = false
 
 [package.dependencies]
 pathos = "*"
-pyk = {git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.461"}
+pyk = {git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.478"}
 tomlkit = "^0.11.6"
 xdg-base-dirs = "^6.0.0"
 
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/evm-semantics.git"
-reference = "v1.0.324"
-resolved_reference = "1662e5b58010cee607c1142758cb24edfbcf51da"
+reference = "v1.0.325"
+resolved_reference = "5401023b19c6e06592be8a3ba834d9599c9274bd"
 subdirectory = "kevm-pyk"
 
 [[package]]
@@ -810,7 +810,7 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.461"
+version = "0.1.478"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -830,8 +830,8 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.461"
-resolved_reference = "79c45d9f1ae355b591cbd2e8b77c6205ab170835"
+reference = "v0.1.478"
+resolved_reference = "5d3e77d23cfe46d682f8e2d50e9865287d3729bb"
 
 [[package]]
 name = "pyperclip"
@@ -856,13 +856,13 @@ files = [
 
 [[package]]
 name = "pytest"
-version = "7.4.2"
+version = "7.4.3"
 description = "pytest: simple powerful testing with Python"
 optional = false
 python-versions = ">=3.7"
 files = [
-    {file = "pytest-7.4.2-py3-none-any.whl", hash = "sha256:1d881c6124e08ff0a1bb75ba3ec0bfd8b5354a01c194ddd5a0a870a48d99b002"},
-    {file = "pytest-7.4.2.tar.gz", hash = "sha256:a766259cfab564a2ad52cb1aae1b881a75c3eb7e34ca3779697c23ed47c47069"},
+    {file = "pytest-7.4.3-py3-none-any.whl", hash = "sha256:0d009c083ea859a71b76adf7c1d502e4bc170b80a8ef002da5806527b9591fac"},
+    {file = "pytest-7.4.3.tar.gz", hash = "sha256:d989d136982de4e3b29dabcc838ad581c64e8ed52c11fbe86ddebd9da0818cd5"},
 ]
 
 [package.dependencies]
@@ -1081,4 +1081,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "3e6a39f3aaeefed2d17339f8da671ccaa205ffeb6ac15863fb2e798784f7d61c"
+content-hash = "e337f3aa7cebed75a300095640b4facee7cc6bc58d13209c8a3bd3770cfcfe33"
diff --git a/pyproject.toml b/pyproject.toml
index 671db9dd7..5a82f53f6 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -15,7 +15,7 @@ kontrol = "kontrol.__main__:main"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.324", subdirectory = "kevm-pyk" }
+kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.325", subdirectory = "kevm-pyk" }
 
 [tool.poetry.group.dev.dependencies]
 autoflake = "*"