Lines Matching +full:test +full:- +full:loom

4 use loom_crate as loom;
8 use loom::sync::atomic::Ordering::{self, Acquire, Relaxed, Release};
9 use loom::sync::Arc;
10 use loom::thread::spawn;
14 #[test]
16     loom::model(|| {  in it_works()
23         let jh = loom::thread::spawn(move || {  in it_works()
27                 // value, but in this limited test scenario it's okay, since we know the test won't  in it_works()
48 #[test]
50     /// Treiber's lock-free stack.  in treiber_stack()
66         pub fn new() -> TreiberStack<T> {  in treiber_stack()
98         pub fn pop(&self) -> Option<T> {  in treiber_stack()
124         pub fn is_empty(&self) -> bool {  in treiber_stack()
136     loom::model(|| {  in treiber_stack()