search

angr / claripy

An abstraction layer for constraint solvers.
BSD 2-Clause "Simplified" License
273 stars 90 forks source link

Refactor tests to use unittest #406

Open twizmwazin opened 1 week ago