PropWise.PatternDetector (PropWise v0.3.2)

View Source

Detects patterns in function ASTs that indicate good property-based testing candidates.

Summary

Functions

Analyzes a function and returns detected patterns that suggest property-based testing.

Finds pairs of functions that appear to be inverses of each other.

Functions

detect_patterns(function_info)

@spec detect_patterns(PropWise.FunctionInfo.t() | map()) :: [
  PropWise.Candidate.pattern()
]

Analyzes a function and returns detected patterns that suggest property-based testing.

find_inverse_pairs(functions)

@spec find_inverse_pairs([PropWise.FunctionInfo.t() | map()]) :: [map()]

Finds pairs of functions that appear to be inverses of each other.