Symbolic execution engine for automatic test generation and bug finding. Available on Homebrew.
brew install klee
No compatibility data collected yet for this library.
No known issues recorded.
No dependency data recorded yet.