inkreas.ing
Realtime safe, waitfree, concurrency library
add tangled workflow
+24
+23
.tangled/workflows/checks.yaml
+23
.tangled/workflows/checks.yaml
···
1
+
when:
2
+
- event: ["manual"]
3
+
branch: ["main"]
4
+
5
+
engine: "nixery"
6
+
7
+
# default clone
8
+
9
+
dependencies:
10
+
nixpkgs:
11
+
- rustup
12
+
- cargo-mutants
13
+
14
+
steps:
15
+
- name: "install rust with miri"
16
+
command: "rustup toolchain install nightly -c miri --profile minimal"
17
+
- name: "run regular tests"
18
+
command: "cargo test"
19
+
- name: "run mutants"
20
+
command: 'cargo mutants -E "$(cat known_mutants_regex.txt)"'
21
+
- name: "run miri tests"
22
+
command: "cargo +nightly miri test"
23
+
+1
known_mutants_regex.txt
+1
known_mutants_regex.txt
···
1
+
(replace \| with \^ in State::with_read|replace Shared<T>::release_read_lock with \(\)|replace State::can_write -> bool with false|replace Writer<T, O>::try_lock -> Option<WriteGuard<'_, T, O>> with None|replace <impl Drop for ReadGuard<'_, T>>::drop with \(\))