DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

log the run so travis doesn't timeout

Browse Source
This commit is contained in:
Alex Groce
2018-07-13 10:20:50 -07:00
parent 125e737057
commit 8767374bfa
2 changed files with 30 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
tests/test_basic_functionality.py
View File

@@ -1,23 +1,20 @@
from __future__ import print_function
import os
import subprocess
from unittest import TestCase
import logrun
class TestBasicFunctionality(TestCase):
def test_basic_functionality(self):
deepstate = os.getenv("DEEPSTATE_CMD")
if deepstate is None:
deepstate = "deepstate-angr" # default to angr in an environment without a defined command
r = subprocess.call([deepstate + " build/examples/IntegerArithmetic | tee deepstate.out"],
shell=True)
(r, output) = logrun.logrun([deepstate, "build/examples/IntegerArithmetic"],
"deepstate.out", 1800)
self.assertEqual(r, 0)
with open("deepstate.out", 'r') as outf:
result = outf.read()
print ("RESULT:", result)
self.assertTrue("Passed: Arithmetic_AdditionIsCommutative" in result)
self.assertTrue("Passed: Arithmetic_AdditionIsAssociative" in result)
self.assertTrue("Passed: Arithmetic_InvertibleMultiplication_CanFail" in result)
self.assertTrue("Failed: Arithmetic_InvertibleMultiplication_CanFail" in result)
self.assertTrue("Passed: Arithmetic_AdditionIsCommutative" in output)
self.assertTrue("Passed: Arithmetic_AdditionIsAssociative" in output)
self.assertTrue("Passed: Arithmetic_InvertibleMultiplication_CanFail" in output)
self.assertTrue("Failed: Arithmetic_InvertibleMultiplication_CanFail" in output)