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

..

deepstate_base.py

remove spurious import

2018-07-18 12:45:26 -07:00

logrun.py

fix log level control in tests

2019-06-17 10:34:40 -07:00

test_arithmetic.py

…

test_crash.py

fix output check in tests

2019-01-03 12:58:42 -07:00

test_fixture.py

…

test_klee.py

…

test_lists.py

remove lists test on manticore, due to speed issues

2018-08-02 13:59:34 -07:00

test_oneof.py

Fix Python3 support (#170)

2019-04-21 22:06:24 -03:00

test_overflow.py

Fix Manticore tests that break CI (#221)

2019-07-22 13:59:59 -04:00

test_primes.py

Fix Manticore tests that break CI (#221)

2019-07-22 13:59:59 -04:00

test_runlen.py

Fix check

2019-01-03 18:32:47 -07:00

test_streamingandformatting.py

fix streaming and formatting test

2018-12-23 13:22:48 -07:00

test_takeover.py

fix output check in tests

2019-01-03 12:58:42 -07:00