From 843608c35424a4c1fcd0a3ffdda4e1ba25d47664 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Sat, 14 Jul 2018 05:20:11 -0700 Subject: [PATCH] streaming and formatting --- .travis.yml | 2 ++ tests/test_basic_functionality.py | 22 +++++++++++++++++++++- 2 files changed, 23 insertions(+), 1 deletion(-) 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"],