Requested feature:

Like rust tests, kani needs an --exact flag that matches against a harness instead of the substring match that happens by default. substring match needs to be the default method, but users should be able to specify harnesses.