From f22f885f94b87a765ca2dd58a14fce0d5b959e37 Mon Sep 17 00:00:00 2001
From: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
Date: Wed, 1 Nov 2023 18:23:02 -0400
Subject: [PATCH] Fix path-dependent failures in `assess-artifacts` test
 (#2849)

Shorten the tables frames in the `expected` file for the
`cargo-kani/assess-artifacts` test. Otherwise, the test will fail when
running the regression suite in a shorter-than-usual directory path
(e.g., `/tmp/kani`). Came across this problem this morning when
preparing for the release.
---
 tests/cargo-kani/assess-artifacts/expected | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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 |
-======================================================================================================
+==========================================