diff options
| author | Jannis Christopher Köhl <mail@koehl.dev> | 2022-08-31 17:43:53 +0200 |
|---|---|---|
| committer | Jannis Christopher Köhl <mail@koehl.dev> | 2022-11-07 10:35:10 +0100 |
| commit | e75ad93d958c0c3d4dceaa07cceccc253674a4f2 (patch) | |
| tree | ca774602829b0efa33b3efb3763625df04623109 /tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.panic-abort.diff | |
| parent | 292869493ce64e4aa4305eae4f1f2a246d50d0b0 (diff) | |
| download | rust-e75ad93d958c0c3d4dceaa07cceccc253674a4f2.tar.gz rust-e75ad93d958c0c3d4dceaa07cceccc253674a4f2.zip | |
Begin a semi-formal argument for correctness
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.panic-abort.diff')
0 files changed, 0 insertions, 0 deletions