API Reference AB v0.2.1

A macro-based property testing generator that analyzes function typespecs to automatically generate appropriate test data and output validators.

Executes performance benchmarks between two implementations using Benchee.

Executes comparison tests between two implementations with identical typespecs.

Validates type consistency between @type definitions and @spec definitions.

Functions for generating valid test data from type specifications.

Type inference utilities for analyzing runtime values and inferring appropriate typespecs.

Functions for generating invalid test data that does NOT match type specifications. Used for robustness testing to ensure functions properly reject invalid input.

Validates all public functions in a module against their typespecs.

Executes property-based tests for functions based on their typespecs.

Executes robustness tests to verify functions properly handle invalid inputs.

Validates consistency between struct type definitions and function typespecs.

Utilities for formatting and displaying Elixir type specifications.

Functions for parsing and extracting type specifications from modules.

Analyzes failed tests and suggests corrected typespecs based on runtime values.

Functions for creating type validators from type specifications.

Mix task that compiles Elixir files, extracts modules, and runs AB.property_test on their exported functions.