Module driver 

Unified Calculator Driver - The Probar Way

This module implements the core unification principle: Write the test logic once, run it everywhere.

Probar: Balanced testing - Balanced testing across platforms

Re-exports

pub use tui_driver::TuiDriver;

Modules

tui_driver

TUI Driver implementation

Structs

HistoryItem

A simplified history item for driver results

Traits

CalculatorDriver

Abstract driver trait for calculator interactions

Functions

run_full_specification

Complete verification suite - runs all specifications

verify_basic_arithmetic

Verifies basic arithmetic operations

verify_complex_expressions

Verifies complex nested expressions

verify_error_handling

Verifies error handling

verify_history

Verifies history tracking

verify_jidoka_status

Verifies Anomaly status reporting

verify_precedence

Verifies operator precedence (PEMDAS)