streaming and formatting

This commit is contained in:
Alex Groce
2018-07-14 05:20:11 -07:00
parent a07311706e
commit 843608c354
2 changed files with 23 additions and 1 deletions

View File

@@ -29,6 +29,8 @@ env:
- TASK=FIXTURE DEEPSTATE_CMD=deepstate-manticore
- TASK=LISTS DEEPSTATE_CMD=deepstate-angr
- TASK=LISTS DEEPSTATE_CMD=deepstate-manticore
- TASK=STREAMINGANDFORMATTING DEEPSTATE_CMD=deepstate-angr
- TASK=STREAMINGANDFORMATTING DEEPSTATE_CMD=deepstate-manticore
- TASK=ONEOF DEEPSTATE_CMD=deepstate-angr
- TASK=ONEOF DEEPSTATE_CMD=deepstate-manticore
- TASK=ARITHMETIC DEEPSTATE_CMD=deepstate-angr