Skip to content

Commit 3bd9d4f

Browse files
Patrick-6Patrick-6
committed
Remove mutex poison test
1 parent baadb63 commit 3bd9d4f

File tree

2 files changed

+0
-114
lines changed

2 files changed

+0
-114
lines changed

‎tests/genmc/pass/intercept/mutex_poison.rs‎

Lines changed: 0 additions & 28 deletions
This file was deleted.

‎tests/genmc/pass/intercept/mutex_poison.stderr‎

Lines changed: 0 additions & 86 deletions
This file was deleted.

0 commit comments

Comments
 (0)