-
-
Notifications
You must be signed in to change notification settings - Fork 495
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #837 from dimforge/proptest
Replace quickcheck by proptest
- Loading branch information
Showing
67 changed files
with
1,673 additions
and
1,609 deletions.
There are no files selected for viewing
This file was deleted.
Oops, something went wrong.
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -10,3 +10,4 @@ Cargo.lock | |
| site/ | ||
| .vscode/ | ||
| .idea/ | ||
| proptest-regressions | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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; |
Oops, something went wrong.