Tessl Tile for pypi/crosshair-tool@0.0.0

or run

npx @tessl/cli init

Version

Tile

Overview

Evals

Files

docs

behavioral-analysis.md cli-tools.md contract-system.md index.md symbolic-execution.md

tile.json

{
  "name": "tessl/pypi-crosshair-tool",
  "version": "0.0.0",
  "docs": "docs/index.md",
  "describes": "pkg:pypi/crosshair-tool@0.0.95",
  "summary": "Analyze Python code for correctness using symbolic execution and SMT solving to automatically find counterexamples for functions with type annotations and contracts."
}