Crate smoke

Smoke framework is a software testing library. The name is linked to the “smoke testing”, although this library does more than just “smoke testing”.

Smoke framework is composed of 3 sub frameworks:

• Tests framework : Various testing strategy
• Generators framework : generate arbitrary values following generation rules
• Runtime : Execution of generation and tests

The tests and generator frameworks can be used independently

Modules

generator

Generators of elements

property

First-class Property tree

ux

Structs

Context

Execution context

Ensure

A testable statement binding a generator with a property

R

A pseudo random generator at a given time

Seed

Seed of random generation

Traits

Generator

Generator for an Item

NumPrimitive

Various instance of numbers generation for primitive num types (u8, u16, …, u128, i8, …, NonZeroU8, …)

Property

A generic expressible property

Testable

Any tests to run with a testing context

Functions

forall

Put a generator in random sampling mode for property testing

run

Create a new context to execute tests into