Rename ibistool -> kanagawatool

maerhart · maerhart · commit a2a956751de6 · 2025-01-06T18:15:24.000+01:00
This seems to have been accidentally reverted in 2d1b963
diff --git a/integration_test/lit.cfg.py b/integration_test/lit.cfg.py
@@ -80,7 +80,7 @@
 ]
 tools = [
     'arcilator', 'circt-opt', 'circt-translate', 'firtool', 'circt-rtl-sim.py',
-    'equiv-rtl.sh', 'handshake-runner', 'hlstool', 'ibistool', 'circt-lec',
+    'equiv-rtl.sh', 'handshake-runner', 'hlstool', 'kanagawatool', 'circt-lec',
     'circt-bmc', 'circt-test', 'circt-test-runner-sby.py',
     'circt-test-runner-circt-bmc.py'
 ]

Original file line number	Diff line number	Diff line change
`@@ -80,7 +80,7 @@`
`80`	`80`	`]`
`81`	`81`	`tools = [`
`82`	`82`	`'arcilator', 'circt-opt', 'circt-translate', 'firtool', 'circt-rtl-sim.py',`
`83`		`- 'equiv-rtl.sh', 'handshake-runner', 'hlstool', 'ibistool', 'circt-lec',`
	`83`	`+ 'equiv-rtl.sh', 'handshake-runner', 'hlstool', 'kanagawatool', 'circt-lec',`
`84`	`84`	`'circt-bmc', 'circt-test', 'circt-test-runner-sby.py',`
`85`	`85`	`'circt-test-runner-circt-bmc.py'`
`86`	`86`	`]`