DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Typo, info on defaults

Browse Source
This commit is contained in:
Alex Groce 2019-01-24 06:02:26 -07:00 committed by GitHub
parent c6fe91f9af
commit c3a187aa0f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -219,7 +219,7 @@ just the functions to be tested. Using DeepState to test them requires:
- Calling some DeepState APIs that produce data
- In this example, we see the `DeepState_CStrUpToLen` call tells
DeepState to produce a string that has up the `MAX_STR_LEN`
DeepState to produce a string that has up to `MAX_STR_LEN`
characters, chosen from those present in hex strings.
- Optionally making some assertions about the correctness of the
@ -232,7 +232,7 @@ results
DeepState will also run the "BoringUnitTest," but it (like a
traditional hand-written unit test) is simply a test of fixed inputs
devised by a programmer. These inputs do not expose the bug in
`encode`. Nor do the default values for the DeepState test:
`encode`. Nor do the default values (all zero bytes) for the DeepState test:
```
~/deepstate/build/examples$ ./Runlen