Replace quickcheck by proptest

.github/workflows/nalgebra-ci-build.yml

@@ -0,0 +1,96 @@
+name: nalgebra CI build
+
+on:
+  push:
+    branches: [ dev, master ]
+  pull_request:
+    branches: [ dev, master ]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  check-fmt:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - name: Check formatting
+      run: cargo fmt -- --check
+  clippy:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - name: Install clippy
+      run: rustup component add clippy
+    - name: Run clippy
+      run: cargo clippy
+  build-nalgebra:
+    runs-on: ubuntu-latest
+#    env:
+#      RUSTFLAGS: -D warnings
+    steps:
+    - uses: actions/checkout@v2
+    - name: Build --no-default-feature
+      run: cargo build --no-default-features;
+    - name: Build (default features)
+      run: cargo build;
+    - name: Build --all-features
+      run: cargo build --all-features;
+    - name: Build nalgebra-glm
+      run: cargo build -p nalgebra-glm --all-features;
+    - name: Build nalgebra-lapack
+      run: cd nalgebra-lapack; cargo build;
+    - name: Build nalgebra-sparse
+      run: cd nalgebra-sparse; cargo build;
+  test-nalgebra:
+    runs-on: ubuntu-latest
+#    env:
+#      RUSTFLAGS: -D warnings
+    steps:
+      - uses: actions/checkout@v2
+      - name: test
+        run: cargo test --features arbitrary --features serde-serialize,abomonation-serialize,sparse,debug,io,compare,libm,proptest-support,slow-tests;
+  test-nalgebra-glm:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - name: test nalgebra-glm
+        run: cargo test -p nalgebra-glm --features arbitrary,serde-serialize,abomonation-serialize,sparse,debug,io,compare,libm,proptest-support,slow-tests;
+  test-nalgebra-sparse:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - name: test nalgebra-sparse
+        # Manifest-path is necessary because cargo otherwise won't correctly forward features
+        # We increase number of proptest cases to hopefully catch more potential bugs
+        run: PROPTEST_CASES=10000 cargo test --manifest-path=nalgebra-sparse/Cargo.toml --features compare,proptest-support
+      - name: test nalgebra-sparse (slow tests)
+        # Unfortunately, the "slow-tests" take so much time that we need to run them with --release
+        run: PROPTEST_CASES=10000 cargo test --release --manifest-path=nalgebra-sparse/Cargo.toml --features compare,proptest-support,slow-tests slow
+  build-wasm:
+    runs-on: ubuntu-latest
+#    env:
+#      RUSTFLAGS: -D warnings
+    steps:
+      - uses: actions/checkout@v2
+      - run: rustup target add wasm32-unknown-unknown
+      - name: build nalgebra
+        run: cargo build --verbose --target wasm32-unknown-unknown;
+      - name: build nalgebra-glm
+        run: cargo build -p nalgebra-glm --verbose --target wasm32-unknown-unknown;
+  build-no-std:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - name: Install latest nightly
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: nightly
+          override: true
+          components: rustfmt
+      - name: install xargo
+        run: cp .github/Xargo.toml .; rustup component add rust-src; cargo install -f xargo;
+      - name: build
+        run: xargo build --verbose --no-default-features --target=x86_64-unknown-linux-gnu;
+      - name: build --feature alloc
+        run: xargo build --verbose --no-default-features --features alloc --target=x86_64-unknown-linux-gnu;

.gitignore

@@ -10,3 +10,4 @@ Cargo.lock
 site/
 .vscode/
 .idea/
+proptest-regressions

Cargo.toml

@@ -23,8 +23,7 @@ path = "src/lib.rs"
 
 [features]
 default         = [ "std" ]
-std             = [ "matrixmultiply", "rand/std", "rand_distr", "simba/std" ]
-stdweb          = [ "rand/stdweb" ]
+std             = [ "matrixmultiply", "rand/std", "rand/std_rng", "rand_distr", "simba/std" ]
 arbitrary       = [ "quickcheck" ]
 serde-serialize = [ "serde", "num-complex/serde" ]
 abomonation-serialize = [ "abomonation" ]
@@ -44,29 +43,30 @@ slow-tests = []
 [dependencies]
 typenum        = "1.12"
 generic-array  = "0.14"
-rand           = { version = "0.7", default-features = false }
+rand           = { version = "0.8", default-features = false }
+getrandom      = { version = "0.2", default-features = false, features = [ "js" ] } # For wasm
 num-traits     = { version = "0.2", default-features = false }
 num-complex    = { version = "0.3", default-features = false }
 num-rational   = { version = "0.3", default-features = false }
 approx         = { version = "0.4", default-features = false }
-simba          = { version = "0.3", default-features = false }
+simba          = { version = "0.4", default-features = false }
 alga           = { version = "0.9", default-features = false, optional = true }
-rand_distr     = { version = "0.3", optional = true }
-matrixmultiply = { version = "0.2", optional = true }
+rand_distr     = { version = "0.4", default-features = false, optional = true }
+matrixmultiply = { version = "0.3", optional = true }
 serde          = { version = "1.0", default-features = false, features = [ "derive" ], optional = true }
 abomonation    = { version = "0.7", optional = true }
 mint           = { version = "0.5", optional = true }
-quickcheck     = { version = "0.9", optional = true }
+quickcheck     = { version = "1", optional = true }
 pest           = { version = "2", optional = true }
 pest_derive    = { version = "2", optional = true }
 bytemuck       = { version = "1.5", optional = true }
 matrixcompare-core = { version = "0.1", optional = true }
-proptest = { version = "0.10", optional = true, default-features = false, features = ["std"] }
+proptest = { version = "1", optional = true, default-features = false, features = ["std"] }
 
 [dev-dependencies]
 serde_json = "1.0"
-rand_xorshift = "0.2"
-rand_isaac = "0.2"
+rand_xorshift = "0.3"
+rand_isaac = "0.3"
 ### Uncomment this line before running benchmarks.
 ### We can't just let this uncommented because that would break
 ### compilation for #[no-std] because of the terrible Cargo bug
@@ -75,7 +75,7 @@ rand_isaac = "0.2"
 
 # For matrix comparison macro
 matrixcompare = "0.2.0"
-itertools = "0.9"
+itertools = "0.10"
 
 [workspace]
 members = [ "nalgebra-lapack", "nalgebra-glm", "nalgebra-sparse" ]

nalgebra-glm/Cargo.toml

@@ -19,13 +19,12 @@ maintenance = { status = "actively-developed" }
 [features]
 default         = [ "std" ]
 std             = [ "nalgebra/std", "simba/std" ]
-stdweb          = [ "nalgebra/stdweb" ]
 arbitrary       = [ "nalgebra/arbitrary" ]
 serde-serialize = [ "nalgebra/serde-serialize" ]
 abomonation-serialize = [ "nalgebra/abomonation-serialize" ]
 
 [dependencies]
 num-traits = { version = "0.2", default-features = false }
 approx = { version = "0.4", default-features = false }
-simba = { version = "0.3", default-features = false }
+simba = { version = "0.4", default-features = false }
 nalgebra = { path =  "..", version = "0.24", default-features = false }

nalgebra-lapack/Cargo.toml

@@ -18,9 +18,11 @@ maintenance = { status = "actively-developed" }
 
 [features]
 serde-serialize = [ "serde", "serde_derive" ]
+proptest-support = [ "nalgebra/proptest-support" ]
+arbitrary = [ "nalgebra/arbitrary" ]
 
 # For BLAS/LAPACK
-default    = ["openblas"]
+default    = ["netlib"]
 openblas   = ["lapack-src/openblas"]
 netlib     = ["lapack-src/netlib"]
 accelerate = ["lapack-src/accelerate"]
@@ -29,16 +31,17 @@ intel-mkl  = ["lapack-src/intel-mkl"]
 [dependencies]
 nalgebra      = { version = "0.24", path = ".." }
 num-traits    = "0.2"
-num-complex   = { version = "0.2", default-features = false }
-simba         = "0.2"
+num-complex   = { version = "0.3", default-features = false }
+simba         = "0.4"
 serde         = { version = "1.0", optional = true }
 serde_derive  = { version = "1.0", optional = true }
-lapack        = { version = "0.16", default-features = false }
-lapack-src    = { version = "0.5", default-features = false }
+lapack        = { version = "0.17", default-features = false }
+lapack-src    = { version = "0.6", default-features = false }
 # clippy = "*"
 
 [dev-dependencies]
 nalgebra   = { version = "0.24", features = [ "arbitrary" ], path = ".." }
-quickcheck = "0.9"
-approx     = "0.3"
-rand       = "0.7"
+proptest = { version = "1", default-features = false, features = ["std"] }
+quickcheck = "1"
+approx     = "0.4"
+rand       = "0.8"

nalgebra-lapack/tests/lib.rs

@@ -1,8 +1,14 @@
 #[macro_use]
 extern crate approx;
+#[cfg(not(feature = "proptest-support"))]
+compile_error!("Tests must be run with `proptest-support`");
+
 extern crate nalgebra as na;
 extern crate nalgebra_lapack as nl;
-#[macro_use]
-extern crate quickcheck;
+
+extern crate lapack;
+extern crate lapack_src;
 
 mod linalg;
+#[path = "../../tests/proptest/mod.rs"]
+mod proptest;