diff --git a/.travis.yml b/.travis.yml index 2eb85b2..d1540b5 100644 --- a/.travis.yml +++ b/.travis.yml @@ -25,6 +25,8 @@ env: - TASK=PRIMES DEEPSTATE_CMD=deepstate-manticore - TASK=TAKEOVER DEEPSTATE_CMD=deepstate-angr - TASK=TAKEOVER DEEPSTATE_CMD=deepstate-manticore +- TASK=FIXTURE DEEPSTATE_CMD=deepstate-angr +- TASK=FIXTURE DEEPSTATE_CMD=deepstate-manticore - TASK=LISTS DEEPSTATE_CMD=deepstate-angr - TASK=LISTS DEEPSTATE_CMD=deepstate-manticore - TASK=ONEOF DEEPSTATE_CMD=deepstate-angr diff --git a/tests/test_basic_functionality.py b/tests/test_basic_functionality.py index becf1ea..502605f 100644 --- a/tests/test_basic_functionality.py +++ b/tests/test_basic_functionality.py @@ -59,7 +59,18 @@ class TestBasicFunctionality(TestCase): for line in output.split("\n"): if ("Saving input to" in line) and (".pass" in line): foundPassSave = True - self.assertTrue(foundPassSave) + self.assertTrue(foundPassSave) + + if os.getenv("TASK") is None or os.getenv("TASK") == "FIXTURE": + (r, output) = logrun.logrun([deepstate, "build/examples/Fixture"], + "deepstate.out", 1800) + self.assertEqual(r, 0) + + self.assertTrue("Passed: MyTest_Something" in output) + self.assertFalse("Failed: MyTest_Something" in output) + + self.assertTrue("Setting up!" in output) + self.assertTrue("Tearing down!" in output) if os.getenv("TASK") is None or os.getenv("TASK") == "LISTS": (r, output) = logrun.logrun([deepstate, "build/examples/Lists"],