KLEE

cli 3.2 ·c

✓ install reviewed

Symbolic execution engine for automatic test generation and bug finding. Available on Homebrew.

Resources