Mercurial > pysmcl
changeset 244:76d904123853
Renamed get to input
author | Sigurd Meldgaard <stm@daimi.au.dk> |
---|---|
date | Wed, 06 Jan 2010 10:28:44 +0100 |
parents | d6200b882b17 |
children | 6b8310448378 |
files | pysmcl/range_analysis.py pysmcl/secret_annotator.py |
diffstat | 2 files changed, 2 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/pysmcl/range_analysis.py Wed Jan 06 10:28:32 2010 +0100 +++ b/pysmcl/range_analysis.py Wed Jan 06 10:28:44 2010 +0100 @@ -367,7 +367,7 @@ return Bottom() if node.func.id == "output": return self.visit(node.args[0]) - if node.func.id == "get": + if node.func.id == "input": return self.visit(node.args[2]).combine(self.visit(node.args[3])) if node.func.id == "range": if(len(node.args) > 1):
--- a/pysmcl/secret_annotator.py Wed Jan 06 10:28:32 2010 +0100 +++ b/pysmcl/secret_annotator.py Wed Jan 06 10:28:44 2010 +0100 @@ -4,7 +4,7 @@ non_compromising_functions = set(["len", "output", "result", "invariant", "precondition"]) -secret_functions = set(["get"]) +secret_functions = set(["input"]) annotated_functions = {}