changeset 112:d4c60fc2ac0a

Ideal functionality would loop forever because of a wrong termination condition. This is fixed.
author Sigurd Meldgaard <stm@daimi.au.dk>
date Tue, 11 Aug 2009 13:18:01 +0200
parents 442a87dc1f76
children 4ca6534d5d2a
files pysmcl/ideal_functionality.py
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/pysmcl/ideal_functionality.py	Tue Aug 11 11:24:23 2009 +0200
+++ b/pysmcl/ideal_functionality.py	Tue Aug 11 13:18:01 2009 +0200
@@ -21,7 +21,9 @@
     print "-"*80
     pysmcl.compatibility_check.CompatibilityChecker().visit(function_ast)
     transform_ifs = pysmcl.secret_ifs.TransformIfs()
-    while not transform_ifs.changed:
+    pysmcl.secret_annotator.secret_analysis(function_ast)
+    t = transform_ifs.visit(function_ast)
+    while transform_ifs.changed:
         pysmcl.secret_annotator.secret_analysis(function_ast)
         t = transform_ifs.visit(function_ast)
     pysmcl.secret_annotator.secret_analysis(function_ast)