changeset 14:e2702f8b3559

Doctest in secret_ifs is now correct
author Sigurd Meldgaard <stm@daimi.au.dk>
date Wed, 20 May 2009 14:27:08 +0200
parents dd475d927191
children bf1e9000d33b
files secret_ifs.py
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/secret_ifs.py	Wed May 20 13:58:33 2009 +0200
+++ b/secret_ifs.py	Wed May 20 14:27:08 2009 +0200
@@ -44,9 +44,13 @@
     """
     >>> from ast import *
     >>> from pretty_print import *
+    >>> from ideal_functionality import init_statements
     >>> from secret_ifs import TransformIfs
+    >>> from secret_annotator import secret_analysis
     >>> prog = parse("def f(x):\n\tif(x):\n\t\ta=1\n\telse:\n\t\ta=2")
     >>> trans = TransformIfs()
+    >>> init_statements(prog)
+    >>> secret_analysis(prog.body[0])
     >>> prog = trans.visit(prog)
     >>> pprint(prog)
     def f(x):