Peter Goodman 308fe70eb6 Hooked __assert_fail into the logging system.

2017-12-13 12:43:34 -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

Hooked __assert_fail into the logging system.

2017-12-13 12:43:34 -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

Apache-2.0 956 KiB

Languages

Python 46%

C 41.3%

C++ 8.2%

CMake 2.2%

Dockerfile 1.4%

Other 0.9%