inkreas.ing
Realtime safe, waitfree, concurrency library
add forget test
+15
+1
Cargo.toml
+1
Cargo.toml
···
10
10
license = "MIT OR Apache-2.0"
11
11
repository = "https://tangled.sh/did:plc:54jgbo4psy24qu2bk4njtpc4/simple-left-right/"
12
12
description = "Lockfree, realtime safe and copy-free Synchronisation"
13
+
exclude = ["known_mutants_regex.txt"]
13
14
# workspace = "../"
14
15
15
16
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+14
tests/tests.rs
+14
tests/tests.rs
···
325
325
writer.apply_op(SetToNone);
326
326
}
327
327
}
328
+
329
+
#[test]
330
+
fn forget_lock() {
331
+
let mut writer: Writer<i32, CounterAddOp> = Writer::new(0);
332
+
let mut reader = writer.build_reader().unwrap();
333
+
334
+
let write = writer.try_lock().unwrap();
335
+
core::mem::forget(write);
336
+
let write = writer.try_lock().unwrap();
337
+
338
+
let read = reader.lock();
339
+
core::mem::forget(read);
340
+
reader.lock();
341
+
}
328
342
}