extra credit Search 85,062 technologies ⌘K Download for Mac

crosshair-tool

Analyze Python code for correctness using symbolic execution.

pip install crosshair-tool
↑↓ move ↵ open