From 38f85c3f77073d640821282e4ec238b0c6508a41 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Fri, 13 Jul 2018 05:34:48 -0700 Subject: [PATCH] show result for debugging --- tests/test_basic_functionality.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tests/test_basic_functionality.py b/tests/test_basic_functionality.py index 0dd0016..cb7f346 100644 --- a/tests/test_basic_functionality.py +++ b/tests/test_basic_functionality.py @@ -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)