show result for debugging

This commit is contained in:
Alex Groce
2018-07-13 05:34:48 -07:00
parent 0ed5edf416
commit 38f85c3f77

View File

@@ -15,6 +15,8 @@ class TestBasicFunctionality(TestCase):
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)