kani

Module arbitrary

Source
Expand description

This module introduces the Arbitrary trait as well as implementation for primitive types and other std containers.