An interpreter for Rust's mid-level intermediate representation
This report presents the forensic synthetic code analysis of rust-lang/miri, a Rust project with 6,411 GitHub stars. SynthScan v2.0 examined 128,445 lines of code across 1407 source files, recording 506 pattern matches distributed across 10 syntactic categories. The overall adjusted score of 8.9 places this repository in the Low AI signal band.
The scanner applied 160+ deterministic lexical heuristics, multi-line block detectors, abstract syntax tree depth profilers, and a cross-file Jaccard similarity matrix to construct a statistically normalised synthetic code estimate. All matches are individually weighted by severity coefficient and contextual multiplier before summation, and the resulting headline score is temporally discounted to account for the repository's development history relative to the commercial emergence of large language model coding tooling (November 2022 onward).
This chart maps the temporal evolution of the adjusted synthetic code score across successive scan runs. An upward trajectory indicates ongoing incorporation of AI-generated code or expanding LLM-assisted scaffolding; a stable or declining trajectory may reflect active human refactoring, code removal, or the adoption of stricter authorship policies. The dashed secondary line (right axis) independently tracks total raw pattern hit count, which can diverge from the normalised score when codebase size changes significantly between scans.
Classifies detected patterns by their diagnostic confidence and structural impact. CRITICAL patterns (coefficient 10) represent definitive synthetic signatures — hallucinated imports, explicit LLM attribution metadata — virtually never produced by human authors. HIGH (5) indicates strong structural tells such as cross-file repetition or cross-linguistic idioms. MEDIUM (2) covers recognisable conversational padding and AI-specific vocabulary. LOW (1) captures subtle indicators like tautological comments and generic boilerplate that require density to carry independent signal.
This horizontal bar chart decomposes the repository's raw synthetic code score by top-level directory, allowing you to pinpoint precisely which modules or components carry the highest AI authorship density. Directories with disproportionately high scores relative to their size warrant targeted manual review: concentrated AI signatures often trace back to mass-generated configuration layers, auto-ported test suites, LLM-scaffolded boilerplate classes, or entire subsystems authored under heavy copilot assistance. Use this view to prioritise your human code-review effort.
The scanner identified 506 distinct pattern matches across 10 syntactic categories. Each entry below represents a discrete location in the source code where the engine recorded a statistically significant AI authorship indicator. Expand any category row to inspect the individual file paths, line numbers, code snippets, and the lexical context (CODE, COMMENT, or STRING) in which each match was detected.
Reading the findings table: The Severity column indicates the diagnostic confidence level (CRITICAL / HIGH / MEDIUM / LOW). The Context column identifies whether the match occurred inside executable code, an inline comment, or a string literal — comment-context matches receive a ×1.5 weight because LLMs systematically over-annotate. The ⚡ bolt icon marks clustered matches: three or more patterns within a 10-line window, each receiving an additional ×1.5 density multiplier as dense clusters constitute far stronger evidence of synthetic authorship than isolated hits.
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM⚡ | …ee_borrows/wildcard/cross_tree_update_newer_exposed.rs | 21 | // ┌──────────────┐ | COMMENT |
| MEDIUM⚡ | …ee_borrows/wildcard/cross_tree_update_newer_exposed.rs | 25 | // └──────────────┘ │ │ | COMMENT |
| MEDIUM⚡ | …ee_borrows/wildcard/cross_tree_update_newer_exposed.rs | 29 | // ┌────────────┐ ┌────────────┐ | COMMENT |
| MEDIUM⚡ | …ee_borrows/wildcard/cross_tree_update_newer_exposed.rs | 33 | // └──────┬─────┘ └────────────┘ | COMMENT |
| MEDIUM⚡ | …ee_borrows/wildcard/cross_tree_update_newer_exposed.rs | 37 | // ┌────────────┐ | COMMENT |
| MEDIUM⚡ | …ee_borrows/wildcard/cross_tree_update_newer_exposed.rs | 41 | // └────────────┘ | COMMENT |
| MEDIUM⚡ | …rows/wildcard/subtree_internal_relatedness_wildcard.rs | 19 | // ┌──────────────┐ | COMMENT |
| MEDIUM⚡ | …rows/wildcard/subtree_internal_relatedness_wildcard.rs | 23 | // └──────────────┘ │ | COMMENT |
| MEDIUM⚡ | …rows/wildcard/subtree_internal_relatedness_wildcard.rs | 27 | // ┌────────────┐ | COMMENT |
| MEDIUM⚡ | …rows/wildcard/subtree_internal_relatedness_wildcard.rs | 29 | // │ reb(Res) ├───────────┐ | COMMENT |
| MEDIUM⚡ | …rows/wildcard/subtree_internal_relatedness_wildcard.rs | 31 | // └──────┬─────┘ │ | COMMENT |
| MEDIUM⚡ | …rows/wildcard/subtree_internal_relatedness_wildcard.rs | 35 | // ┌────────────┐ ┌───────────┐ | COMMENT |
| MEDIUM⚡ | …rows/wildcard/subtree_internal_relatedness_wildcard.rs | 39 | // └────────────┘ └───────────┘ | COMMENT |
| MEDIUM⚡ | …s/fail/tree_borrows/wildcard/single_exposed_disable.rs | 15 | // ┌────────────┐ | COMMENT |
| MEDIUM⚡ | …s/fail/tree_borrows/wildcard/single_exposed_disable.rs | 17 | // │ ptr_base ├───────────┐ | COMMENT |
| MEDIUM⚡ | …s/fail/tree_borrows/wildcard/single_exposed_disable.rs | 19 | // └──────┬─────┘ │ | COMMENT |
| MEDIUM⚡ | …s/fail/tree_borrows/wildcard/single_exposed_disable.rs | 23 | // ┌────────────┐ ┌───────────┐ | COMMENT |
| MEDIUM⚡ | …s/fail/tree_borrows/wildcard/single_exposed_disable.rs | 27 | // └────────────┘ └───────────┘ | COMMENT |
| MEDIUM⚡ | …_borrows/wildcard/multi_exposed_child_unique_writer.rs | 19 | // ┌────────────┐ | COMMENT |
| MEDIUM⚡ | …_borrows/wildcard/multi_exposed_child_unique_writer.rs | 23 | // └──────┬─────┘ | COMMENT |
| MEDIUM⚡ | …_borrows/wildcard/multi_exposed_child_unique_writer.rs | 27 | // ┌────────────┐ | COMMENT |
| MEDIUM⚡ | …_borrows/wildcard/multi_exposed_child_unique_writer.rs | 31 | // └──────┬─────┘ | COMMENT |
| MEDIUM⚡ | …_borrows/wildcard/multi_exposed_child_unique_writer.rs | 35 | // ┌────────────┐ | COMMENT |
| MEDIUM⚡ | …_borrows/wildcard/multi_exposed_child_unique_writer.rs | 39 | // └────────────┘ | COMMENT |
| MEDIUM⚡ | …ree_borrows/wildcard/multi_exposed_siblings_foreign.rs | 19 | // ┌────────────┐ | COMMENT |
| MEDIUM⚡ | …ree_borrows/wildcard/multi_exposed_siblings_foreign.rs | 21 | // │ ptr_base ├──────────────┬───────────────────┐ | COMMENT |
| MEDIUM⚡ | …ree_borrows/wildcard/multi_exposed_siblings_foreign.rs | 23 | // └──────┬─────┘ │ │ | COMMENT |
| MEDIUM⚡ | …ree_borrows/wildcard/multi_exposed_siblings_foreign.rs | 27 | // ┌────────────┐ ┌────────────┐ ┌───────────┐ | COMMENT |
| MEDIUM⚡ | …ree_borrows/wildcard/multi_exposed_siblings_foreign.rs | 31 | // └────────────┘ └────────────┘ └───────────┘ | COMMENT |
| MEDIUM⚡ | …ree_borrows/wildcard/multi_exposed_siblings_disable.rs | 19 | // ┌────────────┐ | COMMENT |
| MEDIUM⚡ | …ree_borrows/wildcard/multi_exposed_siblings_disable.rs | 21 | // │ ptr_base ├──────────────┬───────────────────┐ | COMMENT |
| MEDIUM⚡ | …ree_borrows/wildcard/multi_exposed_siblings_disable.rs | 23 | // └──────┬─────┘ │ │ | COMMENT |
| MEDIUM⚡ | …ree_borrows/wildcard/multi_exposed_siblings_disable.rs | 27 | // ┌────────────┐ ┌────────────┐ ┌───────────┐ | COMMENT |
| MEDIUM⚡ | …ree_borrows/wildcard/multi_exposed_siblings_disable.rs | 31 | // └────────────┘ └────────────┘ └───────────┘ | COMMENT |
| MEDIUM⚡ | …s/fail/tree_borrows/wildcard/single_exposed_foreign.rs | 15 | // ┌────────────┐ | COMMENT |
| MEDIUM⚡ | …s/fail/tree_borrows/wildcard/single_exposed_foreign.rs | 17 | // │ ptr_base ├───────────┐ | COMMENT |
| MEDIUM⚡ | …s/fail/tree_borrows/wildcard/single_exposed_foreign.rs | 19 | // └──────┬─────┘ │ | COMMENT |
| MEDIUM⚡ | …s/fail/tree_borrows/wildcard/single_exposed_foreign.rs | 23 | // ┌────────────┐ ┌───────────┐ | COMMENT |
| MEDIUM⚡ | …s/fail/tree_borrows/wildcard/single_exposed_foreign.rs | 27 | // └────────────┘ └───────────┘ | COMMENT |
| MEDIUM⚡ | …/tree_borrows/wildcard/subtree_internal_relatedness.rs | 18 | // ┌──────────────┐ | COMMENT |
| MEDIUM⚡ | …/tree_borrows/wildcard/subtree_internal_relatedness.rs | 22 | // └──────────────┘ │ | COMMENT |
| MEDIUM⚡ | …/tree_borrows/wildcard/subtree_internal_relatedness.rs | 26 | // ┌────────────┐ | COMMENT |
| MEDIUM⚡ | …/tree_borrows/wildcard/subtree_internal_relatedness.rs | 28 | // │ reb(Res) ├───────────┐ | COMMENT |
| MEDIUM⚡ | …/tree_borrows/wildcard/subtree_internal_relatedness.rs | 30 | // └──────┬─────┘ │ | COMMENT |
| MEDIUM⚡ | …/tree_borrows/wildcard/subtree_internal_relatedness.rs | 34 | // ┌────────────┐ ┌───────────┐ | COMMENT |
| MEDIUM⚡ | …/tree_borrows/wildcard/subtree_internal_relatedness.rs | 38 | // └────────────┘ └───────────┘ | COMMENT |
| MEDIUM⚡ | tests/fail/tree_borrows/wildcard/protector_release.rs | 37 | // ┌───────────┐ | COMMENT |
| MEDIUM⚡ | tests/fail/tree_borrows/wildcard/protector_release.rs | 40 | // └─────┬─────┘ │ | COMMENT |
| MEDIUM⚡ | tests/fail/tree_borrows/wildcard/protector_release.rs | 44 | // ┌───────────┐ ┌───────────┐ | COMMENT |
| MEDIUM⚡ | tests/fail/tree_borrows/wildcard/protector_release.rs | 47 | // └─────┬─────┘ └─────┬─────┘ | COMMENT |
| MEDIUM⚡ | tests/fail/tree_borrows/wildcard/protector_release.rs | 51 | // ┌───────────┐ ┌───────────┐ | COMMENT |
| MEDIUM⚡ | tests/fail/tree_borrows/wildcard/protector_release.rs | 54 | // └─────┬─────┘ └───────────┘ | COMMENT |
| MEDIUM⚡ | tests/fail/tree_borrows/wildcard/protector_release.rs | 58 | // ┌───────────┐ | COMMENT |
| MEDIUM⚡ | tests/fail/tree_borrows/wildcard/protector_release.rs | 61 | // └───────────┘ | COMMENT |
| MEDIUM⚡ | …ws/wildcard/cross_tree_update_main_invalid_exposed2.rs | 30 | // ┌──────────────┐ | COMMENT |
| MEDIUM⚡ | …ws/wildcard/cross_tree_update_main_invalid_exposed2.rs | 32 | // │ptr_base(Act) ├───────────┬──────────────────┐ * | COMMENT |
| MEDIUM⚡ | …ws/wildcard/cross_tree_update_main_invalid_exposed2.rs | 34 | // └──────┬───────┘ │ │ │ | COMMENT |
| MEDIUM⚡ | …ws/wildcard/cross_tree_update_main_invalid_exposed2.rs | 38 | // ┌─────────────┐ ┌────────────┐ ┌────────────┐ ┌───────────┐ | COMMENT |
| MEDIUM⚡ | …ws/wildcard/cross_tree_update_main_invalid_exposed2.rs | 42 | // └─────────────┘ └────────────┘ └────────────┘ └───────────┘ | COMMENT |
| MEDIUM⚡ | …sts/fail/tree_borrows/wildcard/cross_tree_from_main.rs | 17 | // ┌────────────┐ | COMMENT |
| 114 more matches not shown… | ||||
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | test-cargo-miri/subcrate/src/lib.rs | 1 | /// Doc-test test | COMMENT |
| LOW | test-cargo-miri/issue-rust-86261/src/lib.rs | 1 | #![allow(unused_imports, unused_attributes, no_mangle_generic_items)] | COMMENT |
| LOW | test-cargo-miri/src/lib.rs | 1 | /// Doc-test test | COMMENT |
| LOW | test-cargo-miri/src/lib.rs | 21 | /// ```rust,compile_fail | COMMENT |
| LOW | tests/fail/no_main.rs | 1 | //@error-in-other-file: Miri can only run programs that have a main function. | COMMENT |
| LOW | tests/fail/tree_borrows/reservedim_spurious_write.rs | 1 | // Illustrating a problematic interaction between Reserved, interior mutability, | COMMENT |
| LOW | tests/fail/tree_borrows/protector-write-lazy.rs | 1 | //@compile-flags: -Zmiri-tree-borrows | COMMENT |
| LOW | tests/fail/tree_borrows/spurious_read.rs | 1 | // We ensure a deterministic execution. | COMMENT |
| LOW | tests/fail/tree_borrows/spurious_read.rs | 41 | // spurious read x (target only, which we are *not* executing) | COMMENT |
| LOW | …tree_borrows/subtree_traversal_skipping_diagnostics.rs | 1 | //@compile-flags: -Zmiri-tree-borrows -Zmiri-provenance-gc=0 | COMMENT |
| LOW | …ee_borrows/wildcard/cross_tree_update_newer_exposed.rs | 21 | // ┌──────────────┐ | COMMENT |
| LOW | …rows/wildcard/subtree_internal_relatedness_wildcard.rs | 21 | // │ptr_base(Res)*│ * | COMMENT |
| LOW | …s/fail/tree_borrows/wildcard/single_exposed_disable.rs | 21 | // │ │ | COMMENT |
| LOW | …_borrows/wildcard/multi_exposed_child_unique_writer.rs | 21 | // │ ref1(Res)* │ | COMMENT |
| LOW | …ree_borrows/wildcard/multi_exposed_siblings_foreign.rs | 21 | // │ ptr_base ├──────────────┬───────────────────┐ | COMMENT |
| LOW | …ree_borrows/wildcard/multi_exposed_siblings_disable.rs | 21 | // │ ptr_base ├──────────────┬───────────────────┐ | COMMENT |
| LOW | …s/fail/tree_borrows/wildcard/single_exposed_foreign.rs | 21 | // │ │ | COMMENT |
| LOW | …/tree_borrows/wildcard/subtree_internal_relatedness.rs | 21 | // │ │ │ | COMMENT |
| LOW | tests/fail/tree_borrows/wildcard/protector_release.rs | 41 | // │ │ | COMMENT |
| LOW | tests/fail/tree_borrows/wildcard/protector_release.rs | 61 | // └───────────┘ | COMMENT |
| LOW | …ws/wildcard/cross_tree_update_main_invalid_exposed2.rs | 21 | COMMENT | |
| LOW | …ws/wildcard/cross_tree_update_main_invalid_exposed2.rs | 41 | // │ │ │ │ │ │ │ │ | COMMENT |
| LOW | …sts/fail/tree_borrows/wildcard/cross_tree_from_main.rs | 21 | // └──────┬─────┘ │ │ | COMMENT |
| LOW | …ows/wildcard/cross_tree_update_main_invalid_exposed.rs | 21 | COMMENT | |
| LOW | …/fail/tree_borrows/wildcard/cross_tree_update_newer.rs | 21 | // │ │ | COMMENT |
| LOW | tests/fail/tree_borrows/wildcard/protector_release2.rs | 1 | //@compile-flags: -Zmiri-tree-borrows -Zmiri-permissive-provenance | COMMENT |
| LOW | tests/fail/tree_borrows/wildcard/protector_release2.rs | 41 | // │ Cel │ Cel │ * | COMMENT |
| LOW | tests/fail/tree_borrows/wildcard/protector_release2.rs | 61 | // │ref5*| │ | COMMENT |
| LOW | …/tree_borrows/wildcard/multi_exposed_siblings_local.rs | 21 | // ┌─────────────┐ | COMMENT |
| LOW | …s/fail/tree_borrows/wildcard/cross_tree_update_main.rs | 21 | // └──────┬─────┘ │ │ | COMMENT |
| LOW | …rrows/wildcard/multi_exposed_siblings_unique_writer.rs | 21 | // │ ptr_base ├──────────────┐ | COMMENT |
| LOW | …/fail/tree_borrows/wildcard/cross_tree_update_older.rs | 21 | // │ │ | COMMENT |
| LOW | tests/fail/tree_borrows/wildcard/protected_wildcard.rs | 21 | // │ │ │ | COMMENT |
| LOW | …ws/wildcard/cross_tree_update_older_invalid_exposed.rs | 21 | let _int3 = ref3 as *mut u32 as usize; | COMMENT |
| LOW | …ws/wildcard/cross_tree_update_older_invalid_exposed.rs | 41 | // ┌────────────┐ ┌────────────┐ | COMMENT |
| LOW | tests/fail/tree_borrows/wildcard/multi_exposed_child.rs | 21 | let wild = int1 as *mut u32; | COMMENT |
| LOW | tests/fail/tree_borrows/wildcard/multi_exposed_child.rs | 41 | // │ ref3(Act)* │ | COMMENT |
| LOW | …s/wildcard/cross_tree_update_older_invalid_exposed2.rs | 21 | COMMENT | |
| LOW | …s/wildcard/cross_tree_update_older_invalid_exposed2.rs | 41 | // │ │ | COMMENT |
| LOW | tests/fail/match/closures/partial-pattern.rs | 1 | // This test serves to document the change in semantics introduced by | COMMENT |
| LOW | …fail/stacked_borrows/retag_data_race_protected_read.rs | 21 | COMMENT | |
| LOW | tests/fail/unaligned_pointers/dyn_alignment.rs | 1 | // should find the bug even without, but gets masked by optimizations | COMMENT |
| LOW | tests/fail/concurrency/mutex-leak-move-deadlock.rs | 1 | //@error-in-other-file: deadlock | COMMENT |
| LOW | tests/fail/data_race/read_write_race_stack.rs | 21 | // the operations need to occur in | COMMENT |
| LOW | tests/fail/data_race/write_write_race_stack.rs | 21 | // the operations need to occur in | COMMENT |
| LOW | tests/fail/both_borrows/drop_in_place_protector.rs | 1 | //@revisions: stack tree | COMMENT |
| LOW | …sts/fail/both_borrows/illegal_read_despite_exposed2.rs | 1 | //@revisions: stack tree | COMMENT |
| LOW | tests/pass/observed_local_mut.rs | 1 | // Stacked Borrows catches this (correctly) as UB. | COMMENT |
| LOW | tests/pass/float.rs | 21 | #[path = "../utils/mod.rs"] | COMMENT |
| LOW | tests/pass/float.rs | 461 | COMMENT | |
| LOW | tests/pass/float.rs | 1561 | check_nondet(|| a.exp()); | COMMENT |
| LOW | tests/pass/regions-lifetime-nonfree-late-bound.rs | 1 | // This is a regression test for the ICE from issue #10846. | COMMENT |
| LOW | tests/pass/too-large-primval-write-problem.rs | 1 | // `PrimVal`s in Miri are represented with 8 bytes (u64) and at the time of writing, the `-x` | COMMENT |
| LOW | tests/pass/enums.rs | 141 | /// The scaled mantissa. | COMMENT |
| LOW | tests/pass/strings.rs | 21 | } | COMMENT |
| LOW | tests/pass/move-data-across-await-point.rs | 1 | use std::future::Future; | COMMENT |
| LOW | tests/pass/slices.rs | 201 | COMMENT | |
| LOW | tests/pass/no_core.rs | 1 | //! Test that Miri is able to run no_core programs. | COMMENT |
| LOW | tests/pass/tree_borrows/retag_no_race.rs | 1 | //@compile-flags: -Zmiri-tree-borrows | COMMENT |
| LOW | tests/pass/tree_borrows/retag_no_race.rs | 21 | // In which | COMMENT |
| 248 more matches not shown… | ||||
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | tests/pass/protector-gc.rs | 1 | // When we pop a stack frame with weak protectors, we need to check if the protected pointer's | COMMENT |
| LOW | src/helpers.rs | 761 | // Step 1: determine the length. | COMMENT |
| LOW | src/helpers.rs | 775 | // Step 2: get the bytes. | COMMENT |
| LOW⚡ | src/borrow_tracker/stacked_borrows/mod.rs | 281 | // Step 1: Find granting item. | COMMENT |
| LOW⚡ | src/borrow_tracker/stacked_borrows/mod.rs | 285 | // Step 2: Remove incompatible items above them. Make sure we do not remove protected | COMMENT |
| LOW⚡ | src/borrow_tracker/stacked_borrows/mod.rs | 366 | // Step 1: Make a write access. | COMMENT |
| LOW⚡ | src/borrow_tracker/stacked_borrows/mod.rs | 370 | // Step 2: Pretend we remove the remaining items, checking if any are strongly protected. | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | src/helpers.rs | 761 | // Step 1: determine the length. | COMMENT |
| LOW | src/helpers.rs | 775 | // Step 2: get the bytes. | COMMENT |
| LOW⚡ | src/borrow_tracker/stacked_borrows/mod.rs | 281 | // Step 1: Find granting item. | COMMENT |
| LOW⚡ | src/borrow_tracker/stacked_borrows/mod.rs | 285 | // Step 2: Remove incompatible items above them. Make sure we do not remove protected | COMMENT |
| LOW⚡ | src/borrow_tracker/stacked_borrows/mod.rs | 366 | // Step 1: Make a write access. | COMMENT |
| LOW⚡ | src/borrow_tracker/stacked_borrows/mod.rs | 370 | // Step 2: Pretend we remove the remaining items, checking if any are strongly protected. | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| CRITICAL | src/shims/unix/env.rs | 371 | let arch = this.machine.tcx.sess.target.arch.desc_symbol(); | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | rustfmt.toml | 13 | # This file is copy-pasted from the tracing_chrome crate and should remain like the original. | COMMENT |
| MEDIUM | .github/workflows/ci.yml | 231 | # Create a token for the next step so it can create a PR that actually runs CI. | COMMENT |
| MEDIUM | .github/workflows/ci.yml | 265 | # Create a PR | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | tests/pass/float.rs | 35 | /// Essentially ULP can be seen as a distance metric of floating-point numbers, but with | COMMENT |
| MEDIUM | src/machine.rs | 1160 | // Definitely not enough. | COMMENT |
| MEDIUM | src/borrow_tracker/tree_borrows/tree.rs | 368 | // not yet accessed nodes exist. Essentially, we pretend there | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | src/borrow_tracker/tree_borrows/tree_visitor.rs | 137 | // Reverse the stack, as discussed above. | COMMENT |
| LOW | src/concurrency/sync.rs | 264 | // Don't forget to write the return value. | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | .github/workflows/ci.yml | 205 | # Check if all jobs that we depend on (in the needs array) were successful. | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | test-cargo-miri/run-test.py | 199 | def test_cargo_miri_multi_target(): | CODE |