Struct PropertyTester 

pub struct PropertyTester { /* private fields */ }

Property-based testing for notebooks

Implementations

impl PropertyTester

pub fn new() -> Self

Examples

use ruchy::notebook::testing::property::PropertyTester;

let instance = PropertyTester::new();
// Verify behavior

pub fn with_config(config: PropertyTestConfig) -> Self

Examples

use ruchy::notebook::testing::property::PropertyTester;

let mut instance = PropertyTester::new();
let result = instance.with_config();
// Verify behavior

pub fn arbitrary_notebook(seed: u64, size: usize) -> Notebook

Generate arbitrary notebook for property testing

Examples

use ruchy::notebook::testing::property::arbitrary_notebook;

let result = arbitrary_notebook(());
assert_eq!(result, Ok(()));

pub fn test_determinism(&self, notebook: &Notebook) -> bool

Test determinism property

pub fn test_commutativity(&self, cell1: &Cell, cell2: &Cell) -> bool

Test commutativity property for independent cells

Trait Implementations

impl Default for PropertyTester

fn default() -> Self

Returns the “default value” for a type.