From a07311706ec6d459743e824b538a7e383fbb7e2d Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Sat, 14 Jul 2018 05:00:03 -0700 Subject: [PATCH] add fixture test --- .travis.yml | 2 ++ tests/test_basic_functionality.py | 13 ++++++++++++- 2 files changed, 14 insertions(+), 1 deletion(-) 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"],