diff options
Diffstat (limited to 'tests/crashes/132142.rs')
| -rw-r--r-- | tests/crashes/132142.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tests/crashes/132142.rs b/tests/crashes/132142.rs deleted file mode 100644 index 813bf0bf0a8..00000000000 --- a/tests/crashes/132142.rs +++ /dev/null @@ -1,3 +0,0 @@ -//@ known-bug: #132142 - -async extern "cmse-nonsecure-entry" fn fun(...) {} |