Commit graph

3 commits

Author SHA1 Message Date
khorben
9097cffe27 deepstate: deepstate-libfuzzer also uses Makefile.common 2020-09-29 03:17:19 +00:00
khorben
aca3b35cd0 deepstate: correctly install the binaries
While there, appease pkglint a tad.

Bumps PKGREVISION.
2020-09-29 03:01:16 +00:00
khorben
8454042151 deepstate: import version 0.1
DeepState is a framework that provides C and C++ developers with a common
interface to various symbolic execution and fuzzing engines. Users can write
one test harness using a Google Test-like API, then execute it using multiple
backends without having to learn the complexities of the underlying engines. It
supports writing unit tests and API sequence tests, as well as automatic test
generation.
2020-09-29 02:50:51 +00:00