Alan
|
3c9e5c54d3
|
Fix Manticore tests that break CI (#221)
* Add timeout flag for killing hanging workers
* Fix mcore tests that hang
|
2019-07-22 13:59:59 -04:00 |
|
agroce
|
c4725e8a14
|
fix log level control in tests
|
2019-06-17 10:34:40 -07:00 |
|
Gustavo Grieco
|
9d64719e84
|
Fix Python3 support (#170)
* Update main_manticore.py
* Fix python3 in CMake [skip ci]
* Update StreamingAndFormatting.cpp
* [skip ci]
* Update .travis.yaml [skip ci]
* Temporarily disable OneOf test using manticore (it is broken)
* Update README [skip ci]
|
2019-04-21 22:06:24 -03:00 |
|
Alex Groce
|
c58ca9b116
|
Fix check
|
2019-01-03 18:32:47 -07:00 |
|
Alex Groce
|
d29654832e
|
Merge pull request #156 from trailofbits/add_deepstate_string
stab at string generator
|
2019-01-03 17:25:04 -07:00 |
|
Alex Groce
|
63952ff067
|
fix output check in tests
|
2019-01-03 12:58:42 -07:00 |
|
Alex Groce
|
fec2849bfb
|
Fix logging level in logrun, demote assumption checks
|
2019-01-02 20:16:09 -07:00 |
|
Alex Groce
|
9e99978043
|
tests are verbose for debugging and checking output
|
2019-01-02 18:17:15 -07:00 |
|
Alex Groce
|
a6db7fb097
|
drop manticore for runlen, longer limit
|
2019-01-01 19:52:48 -07:00 |
|
Alex Groce
|
e3bba13fd2
|
Increase timeout for manticore
|
2019-01-01 08:01:32 -07:00 |
|
Alex Groce
|
ecb0c8e5cc
|
Increase timeout
|
2018-12-31 19:09:36 -07:00 |
|
Alex Groce
|
cd7f6daaf9
|
change runlen example bug and test
|
2018-12-31 14:39:10 -07:00 |
|
Alex Groce
|
40eb4b0117
|
add runlen test
|
2018-12-31 14:20:15 -07:00 |
|
Alex Groce
|
30601a580a
|
fix streaming and formatting test
|
2018-12-23 13:22:48 -07:00 |
|
Alex Groce
|
462fcfb274
|
remove test for replay
|
2018-08-04 13:01:16 -07:00 |
|
Alex Groce
|
4a8f7a3ccc
|
Add simple test for replay to crash test
|
2018-08-04 12:54:45 -07:00 |
|
Alex Groce
|
cb5d16aa86
|
remove lists test on manticore, due to speed issues
|
2018-08-02 13:59:34 -07:00 |
|
Alex Groce
|
3367c38b44
|
Check return in streaming and formatting test
|
2018-07-23 10:58:27 -07:00 |
|
Alex Groce
|
1cfb65fb52
|
remove spurious import
|
2018-07-18 12:45:26 -07:00 |
|
Alex Groce
|
7c0289ffe4
|
change message in base class
|
2018-07-18 12:18:31 -07:00 |
|
Alex Groce
|
f7013ebad9
|
add base for all tests
|
2018-07-18 12:14:09 -07:00 |
|
Alex Groce
|
7620fb3e42
|
refactor tests into multiple files for control in travis, easier editing
|
2018-07-18 12:07:23 -07:00 |
|
Alex Groce
|
97f06a81be
|
fix name of testing function, remove import of os
|
2018-07-18 11:35:38 -07:00 |
|
Peter Goodman
|
13403cb18f
|
Dumb mistake
|
2018-07-18 09:38:29 -04: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
|
8713846044
|
fix message check
|
2018-07-14 05:58:57 -07:00 |
|
Alex Groce
|
843608c354
|
streaming and formatting
|
2018-07-14 05:20:11 -07:00 |
|
Alex Groce
|
a07311706e
|
add fixture test
|
2018-07-14 05:00:03 -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
|
7775492adc
|
fix initial decison of which deepstate to use
|
2018-07-13 21:13:54 -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
|
38984fd59f
|
split into three tasks, check OneOf, add fast prime test, try multiple workers
|
2018-07-13 11:41:48 -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 |
|
Alex Groce
|
38f85c3f77
|
show result for debugging
|
2018-07-13 05:34:48 -07:00 |
|
Alex Groce
|
0ed5edf416
|
just use tee for now
|
2018-07-13 00:56:21 -07:00 |
|
Alex Groce
|
4551f0ba47
|
import sys
|
2018-07-13 00:34:41 -07:00 |
|
Alex Groce
|
f0c840b251
|
avoid IO timeout on the python test
|
2018-07-13 00:28:36 -07:00 |
|
Alex Groce
|
c1616cf179
|
change to the right directory before running nose
|
2018-07-12 22:08:54 -07:00 |
|
Alex Groce
|
882cda798c
|
Check results for pass/fail on properties, split into angr and manticore tests
|
2018-07-12 22:01:58 -07:00 |
|