diff options
Diffstat (limited to 'devel/py-deepstate/DESCR')
| -rw-r--r-- | devel/py-deepstate/DESCR | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/devel/py-deepstate/DESCR b/devel/py-deepstate/DESCR new file mode 100644 index 00000000000..db9df81c727 --- /dev/null +++ b/devel/py-deepstate/DESCR @@ -0,0 +1,8 @@ +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. + +This package installs the executors for DeepState. |