./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)


   2024-10-14 08:46:10 by Thomas Klausner | Files touched by this commit (325) 
Log message:
*: clean-up after python38 removal
   2024-10-13 21:56:58 by Thomas Klausner | Files touched by this commit (7) 
Log message:
py-sha3: not for Python 3.13

Mark all dependencies of it the same way.
   2024-08-25 08:19:21 by Thomas Klausner | Files touched by this commit (575) 
Log message:
*: replace CMAKE_ARGS with CMAKE_CONFIGURE_ARGS
   2024-08-07 21:24:31 by Thomas Klausner | Files touched by this commit (7) 
Log message:
*: Try fixing deepstate and dependencies and py-angr and dependencies
   2024-08-07 18:07:28 by Jonathan Perkin | Files touched by this commit (1) 
Log message:
deepstate: Not for python310.

Not sure this leaves any possible python version at all.
   2024-08-06 13:24:31 by Adam Ciarcinski | Files touched by this commit (1) 
Log message:
deepstate: not for Python 3.8 nor 3.9
   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.