test: fix test recipe

Author: robjtede

.cspell.yml

@@ -7,4 +7,5 @@ words:
   - nixos
   - nixpkgs
   - pkgs
+  - RUSTDOCFLAGS
   - taplo

.vscode/settings.json

@@ -0,0 +1,3 @@
+{
+    "rust-analyzer.cargo.features": []
+}

Cargo.toml

@@ -4,7 +4,7 @@ version = "0.6.3"
 description = "Design-by-contract attributes"
 authors = ["karroffel <[email protected]>"]
 edition = "2018"
-repository = "https://gitlab.com/karroffel/contracts"
+repository = "https://gitlab.com/x52dev/contracts"
 license = "MPL-2.0"
 categories = ["development-tools", "development-tools::procedural-macro-helpers"]
 keywords = ["design-by-contract", "precondition", "postcondition", "invariant", "verification"]

README.md

@@ -150,7 +150,7 @@ This crate exposes a number of feature flags to configure the assertion behavior
 - `override_log` - changes all contracts (except `test_` ones) into a `log::error!()` call if the condition is violated. No abortion happens.
 - `mirai_assertions` - instead of regular assert! style macros, emit macros used by the [MIRAI] static analyzer. For more documentation of this usage, head to the [MIRAI] repo.
 
-[MIRAI]: https://github.com/facebookexperimental/MIRAI
+[MIRAI]: https://github.com/endorlabs/MIRAI
 
 ## TODOs
 

examples/library.rs

@@ -24,6 +24,7 @@ impl Library {
         self.available.insert(book_id.to_string());
     }
 
+    #[allow(clippy::nonminimal_bool)]
     #[debug_requires(self.book_exists(book_id))]
     #[ensures(ret -> self.available.len() == old(self.available.len()) - 1)]
     #[ensures(ret -> self.lent.len() == old(self.lent.len()) + 1)]

justfile

@@ -8,9 +8,7 @@ _list:
 # Downgrade dependencies necessary to run MSRV checks/tests.
 [private]
 downgrade-for-msrv:
-    cargo update -p=litemap --precise=0.7.4 # next ver: 1.81.0
-    cargo update -p=zerofrom --precise=0.1.5 # next ver: 1.81.0
-    cargo update -p=base64ct --precise=1.6.0 # next ver: 1.81.0
+    # No downgrades currently needed.
 
 # Check project
 check:
@@ -32,26 +30,28 @@ fmt:
 # Lint workspace with Clippy
 clippy:
     cargo clippy --workspace --no-default-features
-    cargo clippy --workspace --all-features
+    cargo clippy --workspace
+    # cargo clippy --workspace --all-features
 
 # Test workspace without generating coverage files
 [private]
 test-no-coverage:
     cargo {{ toolchain }} nextest run --workspace --no-default-features
-    cargo {{ toolchain }} nextest run --workspace --all-features
-    cargo {{ toolchain }} test --doc --workspace --all-features
+    # cargo {{ toolchain }} nextest run --workspace --all-features
+    cargo {{ toolchain }} test --doc --workspace
+    # cargo {{ toolchain }} test --doc --workspace --all-features
     RUSTDOCFLAGS="-D warnings" cargo {{ toolchain }} doc --workspace --no-deps --all-features
 
 # Test workspace and generate coverage files
 test: test-no-coverage
-    @just test-coverage-codecov
-    @just test-coverage-lcov
+    # @just test-coverage-codecov
+    # @just test-coverage-lcov
 
 # Test workspace using MSRV
 test-msrv: downgrade-for-msrv
     @just toolchain={{ msrv_rustup }} test-no-coverage
 
-# Test workspace and generate Codecov coverage file
+    # Test workspace and generate Codecov coverage file
 test-coverage-codecov:
     cargo {{ toolchain }} llvm-cov --workspace --all-features --codecov --output-path codecov.json
 

tests/implication.rs

@@ -7,6 +7,7 @@ use contracts::*;
 #[cfg(feature = "mirai_assertions")]
 mod mirai_assertion_mocks;
 
+#[allow(clippy::nonminimal_bool)]
 #[test]
 fn test_ret_implication() {
     #[ensures(do_thing -> ret.is_some(), "do_thing should cause a Some(_)")]
@@ -23,6 +24,7 @@ fn test_ret_implication() {
     perform_thing(false);
 }
 
+#[allow(clippy::nonminimal_bool)]
 #[test]
 fn test_ret_implication_old() {
     #[ensures(old(*x) % 2 == 0 -> *x % 2 == 0)]
@@ -38,6 +40,7 @@ fn test_ret_implication_old() {
     incr(&mut x);
 }
 
+#[allow(clippy::nonminimal_bool)]
 #[test]
 fn test_requires_implication() {
     #[requires(!negative -> value >= 0)]