Add simple test for replay to crash test

This commit is contained in:
Alex Groce
2018-08-04 12:54:45 -07:00
parent 7d56172428
commit 4a8f7a3ccc

View File

@@ -14,4 +14,10 @@ class CrashTest(deepstate_base.DeepStateTestCase):
for line in output.split("\n"):
if ("Saving input to" in line) and (".crash" in line):
foundCrashSave = True
crashLocation = line.split()[-1]
self.assertTrue(foundCrashSave)
(r, output) = logrun.logrun(["build/examples/Crash", "--input_test_file", crashLocation],
"deepstate.out", 30)
self.assertEqual(r, 0)
self.assertTrue("ERROR: Crashed: Crash_SegFault" in output)