Proposed change:

Coverage information generated by kani don't have any tests related to them. Test coverage should cover various language features, generate an lcov or json file, and match that in the regression test suite.