un_algebra 0.9.0

Simple implementations of selected abstract algebraic structures--including groups, rings, and fields. Intended for self-study of abstract algebra concepts and not for production use.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

//!
//! Testing configurations for `proptest` tests.
//!
//! `un_algebra` generative tests suites are built on the `proptest`
//! generative testing crate. `proptest` supports testing with run time
//! "configurations" that control, among other things, the number of
//! tests performed.
//!
//! The `config` module provides pre-defined testing configuration
//! helpers to `un_algebra` tests built on `proptest`.
//!
pub use proptest::prelude::*;
pub use proptest::test_runner::*;


///
/// A "standard" configuration with 1,000 cases, 400% rejects.
///
pub fn standard() -> Config {
  Config {
    cases: 1_000, max_global_rejects: 4_000, .. Config::default()
  }
}


///
/// A configuration with choice of cases and rejects.
///
pub fn config_with(cases: u32, rejects: u32) -> Config {
  Config {
    cases, max_global_rejects: rejects, .. standard()
  }
}