The testing documentation (https://model-checking.github.io/kani/regression-testing.html?highlight=expect#testing-stages) tell you to use kani::expect_fail but this has been deleted and using kani::cover is preferred. We should update the documentation to reflect this change.