Debug output

Author: tautschnig

scripts/kani-std-analysis/kani_std_analysis.py

@@ -87,6 +87,7 @@ def read_scan_functions(self):
 
             for row in csv_reader:
                 if len(row) >= 5:
+                    print(f"Row{self.crate}: " + str(row))
                     name, is_unsafe, has_unsafe_ops = row[0], row[1], row[2]
                     has_unsupported_input, has_loop = row[3], row[4]
                     # An unsafe function is a function for which is_unsafe=true