diff --git a/tests/cargo-kani/assess-artifacts/expected b/tests/cargo-kani/assess-artifacts/expected index 6b61a4f56822..c1d3acbfd531 100644 --- a/tests/cargo-kani/assess-artifacts/expected +++ b/tests/cargo-kani/assess-artifacts/expected @@ -11,9 +11,9 @@ Analyzed 1 packages none (success) | 2 unsupported_construct | 2 ========================================= -====================================================================================================== +========================================== Candidate for proof harness | Location --------------------------------+---------------------------------------------------------------------- +-------------------------------+---------- a_supported_test_from_tests | a_supported_test_from_the_lib | -====================================================================================================== +==========================================