changeset 349:b55032f81f15

test of proof_burden: remove some print-statments
author Sigurd Meldgaard <stm@daimi.au.dk>
date Mon, 19 Jul 2010 16:37:07 +0200
parents 8e4ddc6083df
children bc3baf6832f4
files pysmcl/test/unit/test_proof_burden.py
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/pysmcl/test/unit/test_proof_burden.py	Mon Jul 19 16:35:33 2010 +0200
+++ b/pysmcl/test/unit/test_proof_burden.py	Mon Jul 19 16:37:07 2010 +0200
@@ -63,12 +63,12 @@
     y = output(x)
     if(y):
         result(y)
+    else:
+        pass
 """)
         expected = """For the function: f
  Show that you can compute:
   The value of x in line 3
  From:
 """
-        print r
-        print expected
         self.assertEquals(r, expected)