change to the right directory before running nose

.travis.yml

@@ -11,6 +11,7 @@ install:
 - cmake ..
 - make
 - python setup.py install
+- cd ..
 env:
 - TASK=ANGR DEEPSTATE_CMD=deepstate-angr
 - TASK=MANTICORE DEEPSTATE_CMD=deepstate-manticore

tests/test_basic_functionality.py

@@ -10,7 +10,7 @@ class TestBasicFunctionality(TestCase):
         deepstate = os.getenv("DEEPSTATE_CMD")
 
         with open("deepstate.out", 'w') as outf:
-            r = subprocess.call([deepstate, "examples/IntegerArithmetic"], stdout = outf, stderr = outf)
+            r = subprocess.call([deepstate, "build/examples/IntegerArithmetic"], stdout = outf, stderr = outf)
         self.assertEqual(r, 0)
 
         with open("deepstate.out", 'r') as outf: