Remove unused CBMC tools.

rod-chapman · hanno-becker · commit 8582c80ca125 · 2025-11-05T19:24:27.000Z
Both kissat and cbmc-starter-kit-update are not used
and not installed by mlkem-native, so there is no
point trying to report their version number.

This removes 2 spurious warnings from the CBMC logs.

Signed-off-by: Rod Chapman &lt;rodchap@amazon.com&gt;
diff --git a/proofs/cbmc/lib/print_tool_versions.py b/proofs/cbmc/lib/print_tool_versions.py
@@ -14,8 +14,6 @@
     "cadical",
     "cbmc",
     "cbmc-viewer",
-    "cbmc-starter-kit-update",
-    "kissat",
     "litani",
 ]
 

Original file line number	Diff line number	Diff line change
`@@ -14,8 +14,6 @@`
`14`	`14`	`"cadical",`
`15`	`15`	`"cbmc",`
`16`	`16`	`"cbmc-viewer",`
`17`		`- "cbmc-starter-kit-update",`
`18`		`- "kissat",`
`19`	`17`	`"litani",`
`20`	`18`	`]`
`21`	`19`