smol-rs
/
async-channel
mirror of https://github.com/smol-rs/async-channel
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Run Miri on CI

This commit is contained in:
Taiki Endo 2022-07-08 02:50:14 +09:00
parent 063438f96a
commit c5b6edc80b
3 changed files with 19 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
.github/workflows/ci.yml vendored
View File

@ -59,6 +59,17 @@ jobs:
run: rustup update stable
- run: cargo fmt --all --check
miri:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install Rust
run: rustup toolchain install nightly --component miri && rustup default nightly
- run: cargo miri test
env:
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation
RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout
security_audit:
runs-on: ubuntu-latest
steps:

10
tests/bounded.rs
View File

@ -190,8 +190,8 @@ fn recv_after_close() {
#[test]
fn len() {
const COUNT: usize = 25_000;
const CAP: usize = 1000;
const COUNT: usize = if cfg!(miri) { 500 } else { 25_000 };
const CAP: usize = if cfg!(miri) { 100 } else { 1000 };
let (s, r) = bounded(CAP);
@ -307,7 +307,7 @@ fn close_wakes_receiver() {
#[test]
fn spsc() {
const COUNT: usize = 100_000;
const COUNT: usize = if cfg!(miri) { 500 } else { 100_000 };
let (s, r) = bounded(3);
@ -328,7 +328,7 @@ fn spsc() {
#[test]
fn mpmc() {
const COUNT: usize = 25_000;
const COUNT: usize = if cfg!(miri) { 500 } else { 25_000 };
const THREADS: usize = 4;
let (s, r) = bounded::<usize>(3);
@ -355,7 +355,7 @@ fn mpmc() {
#[test]
fn mpmc_stream() {
const COUNT: usize = 25_000;
const COUNT: usize = if cfg!(miri) { 500 } else { 25_000 };
const THREADS: usize = 4;
let (s, r) = bounded::<usize>(3);

6
tests/unbounded.rs
View File

@ -218,7 +218,7 @@ fn close_wakes_receiver() {
#[test]
fn spsc() {
const COUNT: usize = 100_000;
const COUNT: usize = if cfg!(miri) { 500 } else { 100_000 };
let (s, r) = unbounded();
@ -239,7 +239,7 @@ fn spsc() {
#[test]
fn mpmc() {
const COUNT: usize = 25_000;
const COUNT: usize = if cfg!(miri) { 500 } else { 25_000 };
const THREADS: usize = 4;
let (s, r) = unbounded::<usize>();
@ -268,7 +268,7 @@ fn mpmc() {
#[test]
fn mpmc_stream() {
const COUNT: usize = 25_000;
const COUNT: usize = if cfg!(miri) { 500 } else { 25_000 };
const THREADS: usize = 4;
let (s, r) = unbounded::<usize>();