unskip basic stdin test (#293)

2017-06-09 10:47:55 -04:00
parent 584206f3f7
commit c7f5600cd1
1 changed files with 0 additions and 1 deletions
--- a/tests/test_manticore.py
+++ b/tests/test_manticore.py
@@ -37,7 +37,6 @@ class ManticoreTest(unittest.TestCase):
            def tmp(state):
                pass

-    @unittest.skip('TODO(mark): (#52) activating this test breaks something z3 related for following tests')
    def test_integration_basic_stdin(self):
        import os, struct
        self.m = Manticore('tests/binaries/basic_linux_amd64')