Mercurial > pysmcl
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):