Add kissat to list of tools whose version can be printed out

model-checking · Dec 20, 2022 · f0eba53 · f0eba53
1 parent 05b194a
commit f0eba53
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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",
 ]