cat files for debugging

carolynzech · Jan 8, 2025 · e8c4d9c · e8c4d9c
1 parent 8629980
commit e8c4d9c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/run-kani.sh b/scripts/run-kani.sh
@@ -304,6 +304,8 @@ main() {
         echo "Running Kani's std-analysis command..."
         pushd $build_dir
         ./scripts/std-analysis.sh
+        cat /tmp/std_lib_analysis/results/core_scan_overall.csv
+        cat /tmp/std_lib_analysis/results/core_scan_functions.csv
         popd
         pushd scripts/kani-std-analysis
         pip install -r requirements.txt