./devel/py-deepstate, Augments C/C++ Test-Driven Development with Symbolic Execution

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 0.1nb2, Package name: py310-deepstate-0.1nb2, Maintainer: khorben

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.

Master sites:

Version history: (Expand)

CVS history: (Expand)


   2022-11-14 15:34:49 by Thomas Klausner | Files touched by this commit (15) 
Log message:
py-pysha3: mark as not for python 3.11

This was only ever intended for python < 3.6, but we do have some
users in pkgsrc on newer python versions.
   2022-01-05 21:47:37 by Thomas Klausner | Files touched by this commit (26) 
Log message:
*: set USE_PKG_RESOURCES for more packages
   2022-01-04 21:55:40 by Thomas Klausner | Files touched by this commit (1595) 
Log message:
*: bump PKGREVISION for egg.mk users

They now have a tool dependency on py-setuptools instead of a DEPENDS
   2020-12-30 13:29:24 by Nia Alarie | Files touched by this commit (1) 
Log message:
py-deepstate: Remove unnecessary restriction to py3.7/3.6
   2020-09-29 05:12:44 by Pierre Pronchery | Files touched by this commit (3) 
Log message:
py-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.

This package installs the executors for DeepState.