Use `--exact` when invoking the `kani` subprocess and `--list-harnesses`, post parsing to get fully qualified names for the harnesses. This would also mean that some parts of the parsing from tree-sitter can be removed, which would improve startup time.
Use
--exactwhen invoking thekanisubprocess and--list-harnesses, post parsing to get fully qualified names for the harnesses.This would also mean that some parts of the parsing from tree-sitter can be removed, which would improve startup time.