Alex Groce
|
9e99978043
|
tests are verbose for debugging and checking output
|
2019-01-02 18:17:15 -07:00 |
|
Peter Goodman
|
15ee6c849c
|
Refactor tests, and pump symbolic container sizes
|
2018-07-18 09:26:44 -04:00 |
|
Alex Groce
|
375bfb4235
|
fix keepalive to only output at five minute intervals
|
2018-07-14 12:00:47 -07:00 |
|
Alex Groce
|
6ffd9b4486
|
give Lists more time, less verbose keepalive
|
2018-07-14 11:29:45 -07:00 |
|
Alex Groce
|
96fc87f781
|
keep alive long silent tests, add integer overflow
|
2018-07-14 06:27:48 -07:00 |
|
Alex Groce
|
ec52c6e27d
|
print right return value
|
2018-07-13 21:30:19 -07:00 |
|
Alex Groce
|
d06233b2cf
|
better spacing
|
2018-07-13 21:29:28 -07:00 |
|
Alex Groce
|
f710c38f58
|
actually return something from logrun
|
2018-07-13 21:28:48 -07:00 |
|
Alex Groce
|
476cdd97fd
|
fix output
|
2018-07-13 21:27:38 -07:00 |
|
Alex Groce
|
3a35a44496
|
fix iteration over command
|
2018-07-13 21:24:02 -07:00 |
|
Alex Groce
|
ef3308b8ed
|
outside travis, run everything; also more verbose execution
|
2018-07-13 21:08:14 -07:00 |
|
Alex Groce
|
eb150fc13c
|
Add tests for Crash, Klee, Lists examples; detect internal errors and exceptions
|
2018-07-13 20:50:00 -07:00 |
|
Alex Groce
|
f1129354bd
|
write to stderr and flush
|
2018-07-13 10:34:16 -07:00 |
|
Alex Groce
|
8767374bfa
|
log the run so travis doesn't timeout
|
2018-07-13 10:20:50 -07:00 |
|