ui: add func.file field

zjp-CN · zjp-CN · commit a41e1a0a30f3 · 2025-08-17T12:19:51.000Z
cc os-checker/verify-rust-std_data@8b6a8a6
diff --git a/ui/app/shared/utils/kani.ts b/ui/app/shared/utils/kani.ts
@@ -15,6 +15,7 @@ export interface MergeHashKaniList {
   func: {
     name: string,
     safe: string,
+    file: String,
   },
   ok?: boolean,
   n_fialed_properties?: number,
diff --git a/ui/verify-rust-std_data b/ui/verify-rust-std_data
@@ -1 +1 @@
-Subproject commit 8318f3d685e907f6edbec67fbb16acbf550c7e4c
+Subproject commit 8b6a8a6293642bc71e55a882ed56d7c74f2b10ae
