deepstate/tests/test_primes.py
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

18 lines
734 B
Python

from __future__ import print_function
import logrun
import deepstate_base
class PrimesTest(deepstate_base.DeepStateTestCase):
def run_deepstate(self, deepstate):
(r, output) = logrun.logrun([deepstate, "--timeout", "15", "build/examples/Primes"],
"deepstate.out", 1800)
self.assertEqual(r, 0)
self.assertTrue("Failed: PrimePolynomial_OnlyGeneratesPrimes" in output)
self.assertTrue("Failed: PrimePolynomial_OnlyGeneratesPrimes_NoStreaming" in output)
# TODO(alan): determine why passed cases aren't being logged to stdout
#self.assertTrue("Passed: PrimePolynomial_OnlyGeneratesPrimes" in output)
#self.assertTrue("Passed: PrimePolynomial_OnlyGeneratesPrimes_NoStreaming" in output)