From e539ae4139a0e7b97b78642033f855df3c1bd165 Mon Sep 17 00:00:00 2001 From: Yan Date: Tue, 14 Feb 2017 16:06:10 -0500 Subject: [PATCH] Bring in tests to symbolicate PR (#3) --- test/test_state.py | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/test/test_state.py b/test/test_state.py index ae9a298..60f388e 100644 --- a/test/test_state.py +++ b/test/test_state.py @@ -84,3 +84,19 @@ class StateTest(unittest.TestCase): self.assertTrue(len(initial_state.constraints.declarations) == 1 ) + + def test_new_symbolic_buffer(self): + length = 64 + expr = self.state.new_symbolic_buffer(length) + self.assertEqual(len(expr), length) + + def test_new_symbolic_value(self): + length = 64 + expr = self.state.new_symbolic_value(length) + self.assertEqual(expr.size, length) + + def test_new_bad_symbolic_value(self): + length = 62 + with self.assertRaises(Exception): + expr = self.state.new_symbolic_value(length) +