diff --git a/.travis.yml b/.travis.yml index d1540b5..1ede2f5 100644 --- a/.travis.yml +++ b/.travis.yml @@ -29,6 +29,8 @@ env: - TASK=FIXTURE DEEPSTATE_CMD=deepstate-manticore - TASK=LISTS DEEPSTATE_CMD=deepstate-angr - TASK=LISTS DEEPSTATE_CMD=deepstate-manticore +- TASK=STREAMINGANDFORMATTING DEEPSTATE_CMD=deepstate-angr +- TASK=STREAMINGANDFORMATTING DEEPSTATE_CMD=deepstate-manticore - TASK=ONEOF DEEPSTATE_CMD=deepstate-angr - TASK=ONEOF DEEPSTATE_CMD=deepstate-manticore - TASK=ARITHMETIC DEEPSTATE_CMD=deepstate-angr diff --git a/tests/test_basic_functionality.py b/tests/test_basic_functionality.py index 502605f..a0e4f01 100644 --- a/tests/test_basic_functionality.py +++ b/tests/test_basic_functionality.py @@ -78,7 +78,27 @@ class TestBasicFunctionality(TestCase): self.assertEqual(r, 0) self.assertTrue("Passed: Vector_DoubleReversal" in output) - self.assertFalse("Failed: Vector_DoubleReversal" in output) + self.assertFalse("Failed: Vector_DoubleReversal" in output) + + if os.getenv("TASK") is None or os.getenv("TASK") == "STREAMINGANDFORMATTING": + (r, output) = logrun.logrun([deepstate, "build/examples/StreamingAndFormatting"], + "deepstate.out", 1800) + #self.assertEqual(r, 0) + + self.assertTrue("Failed: Streaming_BasicLevels" in output) + self.assertTrue("This is a debug message" in output) + self.assertTrue("This is an info message" in output) + self.assertTrue("This is a warning message" in output) + self.assertTrue("This is a error message" in output) + self.assertTrue("This is a info message again" in output) + self.assertTrue(": 97" in output) + self.assertTrue(": 1" in output) + self.assertTrue(": 1.000000" in output) + self.assertTrue(": string" in output) + self.assertTrue(": hello string=world" in output) + self.assertTrue(": hello again!" in output) + self.assertTrue("Passed: Formatting_OverridePrintf" in output) + self.assertFalse("Failed: Formatting_OverridePrintf" in output) if os.getenv("TASK") is None or os.getenv("TASK") == "ONEOF": (r, output) = logrun.logrun([deepstate, "build/examples/OneOf"],