test: no-std rwlock primitive, with documentation

0xPolygonMiden · Aug 4, 2024 · 303ce97 · 303ce97
1 parent 8fba88e
commit 303ce97
Show file tree

Hide file tree

Showing 4 changed files with 298 additions and 8 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Makefile b/Makefile
@@ -61,6 +61,10 @@ test-fast: ## Runs all tests with the debug profile
 test-skip-proptests: ## Runs all tests, except property-based tests
 	$(DEBUG_ASSERTIONS) cargo nextest run --features testing -E 'not test(#*proptest)'
 
+.PHONY: test-loom
+test-loom: ## Runs all loom-based tests
+	RUSTFLAGS="--cfg loom" cargo nextest run --cargo-profile test-release --features testing -E 'test(#*loom)'
+
 # --- checking ------------------------------------------------------------------------------------
 
 .PHONY: check

diff --git a/core/Cargo.toml b/core/Cargo.toml
@@ -49,3 +49,11 @@ winter-utils = { package = "winter-utils", version = "0.9", default-features = f
 [dev-dependencies]
 proptest = "1.3"
 rand_utils = { version = "0.9", package = "winter-rand-utils" }
+loom = "0.7"
+
+[target.'cfg(loom)'.dependencies]
+loom = "0.7"
+
+# Enable once the VM reaches Rust 1.80+
+#[lints.rust]
+#unexpected_cfgs = { level = "warn", check-cfg = ['cfg(loom)'] }