From f0eba53d804844846d0bba2d5ee6751473ce0640 Mon Sep 17 00:00:00 2001
From: Angelo Nakos <anakos@amazon.com>
Date: Tue, 20 Dec 2022 16:00:10 -0500
Subject: [PATCH] Add kissat to list of tools whose version can be printed out

---
 src/cbmc_starter_kit/print_tool_versions.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/cbmc_starter_kit/print_tool_versions.py b/src/cbmc_starter_kit/print_tool_versions.py
index 1d19cf3..bdeb429 100755
--- a/src/cbmc_starter_kit/print_tool_versions.py
+++ b/src/cbmc_starter_kit/print_tool_versions.py
@@ -15,6 +15,7 @@
     "cbmc",
     "cbmc-viewer",
     "cbmc-starter-kit-update",
+    "kissat",
     "litani",
 ]