Peter Goodman f4dd61f895 Added overrides for assert_fail and stack_chk_fail.

2017-12-13 14:16:21 -05:00

bin

Fixes one or two subtle issues. But the more interesting fix is that I implemented puts in terms of DeepState_Log. Calls to printf that had no format arguments are transformed by the compiler into calls to puts, but that wasn't being wrapped by DeepState, so it was appearing as though those log messages never actually happened.

2017-12-12 14:01:41 -05:00

examples

Fixed OneOf example.

2017-12-12 22:22:31 -05:00

src

Added overrides for assert_fail and stack_chk_fail.

2017-12-13 14:16:21 -05:00

CMakeLists.txt

Allow for a user only install if CMAKE_INSTALL_PREFIX is set

2017-11-01 22:59:04 -04:00

LICENSE

Initial commit.

2017-10-27 16:34:58 -04:00

Description

No description provided

956 KiB

Languages

Python 46%

C 41.3%

C++ 8.2%

CMake 2.2%

Dockerfile 1.4%

Other 0.9%