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

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

Branch: CURRENT, Version: 0.1nb7, Package name: deepstate-0.1nb7, 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.

Master sites:

Version history: (Expand)

CVS history: (Expand)


   2023-11-23 10:02:51 by Thomas Klausner | Files touched by this commit (1) 
Log message:
deepstate: remove unused dependency

Bump PKGREVISION.
   2023-11-06 21:13:53 by Jonathan Perkin | Files touched by this commit (1) 
Log message:
deepstate: Fix PYTHON_VERSIONS_INCOMPATIBLE.
   2023-08-14 07:25:36 by Thomas Klausner | Files touched by this commit (1247) 
Log message:
*: recursive bump for Python 3.11 as new default
   2023-06-20 12:44:42 by Adam Ciarcinski | Files touched by this commit (3) 
Log message:
deepstate: do not install binaries from py-future; forget a long gone patch
   2023-05-11 11:56:03 by Adam Ciarcinski | Files touched by this commit (1) 
Log message:
deepstate: depends on math/py-z3; bump revision
   2023-03-03 10:25:27 by Thomas Klausner | Files touched by this commit (6) 
Log message:
deepstate*: put distinfo into each directory

This allows patches for only some of the packages.

Add patch for deepstate-hongfuzz to make this configure.
   2023-01-09 07:52:52 by Pierre Pronchery | Files touched by this commit (1) | Package updated
Log message:
deepstate: no longer download files during the build

With the update of math/py-smt to version 0.9.5, this package should no
longer download components past the "fetch" phase.

Bump PKGREVISION in the process.

Fixes pkg/56374.
   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.