Module prelude

Common zebra_test types, traits, and functions.

Re-exports

• pub use crate::command::test_cmd;
• pub use crate::command::CommandExt;
• pub use crate::command::TestChild;
• pub use color_eyre;
• pub use color_eyre::eyre;

Modules

• prop
  Re-exports the entire public API of proptest so that an import of prelude allows simply writing, for example, prop::num::i32::ANY rather than proptest::num::i32::ANY plus a separate use proptest;.

Macros

• prop_assert
  Similar to assert! from std, but returns a test failure instead of panicking if the condition fails.
• prop_assert_eq
  Similar to assert_eq! from std, but returns a test failure instead of panicking if the condition fails.
• prop_assert_ne
  Similar to assert_ne! from std, but returns a test failure instead of panicking if the condition fails.
• prop_assume
  Rejects the test input if assumptions are not met.
• prop_compose
  Convenience to define functions which produce new strategies.
• prop_oneof
  Produce a strategy which picks one of the listed choices.
• proptest
  Easily define proptest tests.

Structs

• BoxedStrategy
  A boxed Strategy trait object as produced by Strategy::boxed().
• Just
  A Strategy which always produces a single value value and never simplifies.
• ProptestConfig
  Configuration for how a proptest test should be run.
• SBoxedStrategy
  A boxed Strategy trait object which is also Sync and Send, as produced by Strategy::sboxed().
• Stdio
  Describes what to do with a standard I/O stream for a child process when passed to the stdin, stdout, and stderr methods of Command.

Enums

• TestCaseError
  Errors which can be returned from test cases to indicate non-successful completion.

Traits

• Arbitrary
  Arbitrary determines a canonical Strategy for the implementing type.
• Rng
  An automatically-implemented extension trait on RngCore providing high-level generic methods for sampling values and other convenience methods.
• RngCore
  The core of a random number generator.
• Strategy
  A strategy for producing arbitrary values of a given type.

Functions

• any
  Generates a Strategy producing Arbitrary values of A. Unlike arbitrary, it should be used for being explicit on what A is. For clarity, this may be a good idea.
• any_with
  Generates a Strategy producing Arbitrary values of A with the given configuration arguments passed in args. Unlike arbitrary_with, it should be used for being explicit on what A is. For clarity, this may be a good idea.

Type Aliases

• Result
  type alias for Result<T, Report>