SYMBOL INDEX (401 symbols across 107 files)

FILE: fail/arrayindex.py
  function arrayindex (line 11) | def arrayindex(i):
  function expected_result (line 17) | def expected_result():

FILE: fail/dictbool.py
  function dictbool (line 4) | def dictbool(d):
  function expected_result (line 10) | def expected_result():

FILE: fail/divzero.py
  function divzero (line 4) | def divzero(in1,in2):
  function expected_result (line 14) | def expected_result():

FILE: fail/git.py
  function git (line 4) | def git(a,b):

FILE: fail/pow.py
  function pow (line 5) | def pow(x):
  function expected_result (line 11) | def expected_result():

FILE: fail/sqrttest.py
  function sqrttest (line 5) | def sqrttest(in1):
  function expected_result (line 12) | def expected_result():

FILE: marktoberdorf_slides/collatz.py
  function collatz (line 1) | def collatz(n):
  function max_iters (line 10) | def max_iters():
  function expected_result_set (line 13) | def expected_result_set():

FILE: marktoberdorf_slides/examples/adder.py
  function add1 (line 3) | def add1(x0,y0,c0):
  function addN (line 7) | def addN(xN,yN,cin):

FILE: marktoberdorf_slides/examples/automata.py
  function q0axiom (line 32) | def q0axiom():
  function q1axiom (line 37) | def q1axiom():
  function q2axiom (line 43) | def q2axiom():
  function q3axiom (line 48) | def q3axiom():
  function q4axiom (line 53) | def q4axiom():
  function lengthGE (line 58) | def lengthGE(x,k):
  function test (line 65) | def test():

FILE: marktoberdorf_slides/examples/check_adder.py
  function eq_bool (line 15) | def eq_bool(bv, i, b):
  function eq_bitvec_boolvec (line 18) | def eq_bitvec_boolvec(bitvec,boolvec):

FILE: marktoberdorf_slides/examples/check_mult.py
  function eq_bool (line 15) | def eq_bool(bv, i, b):
  function eq_bitvec_boolvec (line 18) | def eq_bitvec_boolvec(bitvec,boolvec):

FILE: marktoberdorf_slides/examples/hats.py
  function bounded (line 17) | def bounded(x):

FILE: marktoberdorf_slides/examples/mult.py
  function multN (line 10) | def multN(xN,yN):

FILE: marktoberdorf_slides/examples/mult2.py
  function multcell (line 6) | def multcell(a,b,c,s):
  function multN (line 12) | def multN(xN,yN):
  function add1 (line 37) | def add1(x0,y0,c0):

FILE: run_tests.py
  class bcolors (line 8) | class bcolors:
  function myprint (line 14) | def myprint(color, s, *args):

FILE: symbolic/args.py
  function symbolic (line 1) | def symbolic(**arg_types):
  function concrete (line 7) | def concrete(**arg_types):

FILE: symbolic/constraint.py
  class Constraint (line 7) | class Constraint:
    method __init__ (line 11) | def __init__(self, parent, last_predicate):
    method __eq__ (line 20) | def __eq__(self, other):
    method getAssertsAndQuery (line 29) | def getAssertsAndQuery(self):
    method getLength (line 41) | def getLength(self):
    method __str__ (line 46) | def __str__(self):
    method __repr__ (line 49) | def __repr__(self):
    method findChild (line 55) | def findChild(self, predicate):
    method addChild (line 61) | def addChild(self, predicate):

FILE: symbolic/cvc_expr/exprbuilder.py
  class ExprBuilder (line 12) | class ExprBuilder(object):
    method __init__ (line 13) | def __init__(self, asserts, query, solver):
    method _toCVC (line 20) | def _toCVC(self, asserts, query):
    method _predToCVC (line 28) | def _predToCVC(self, pred, env=None):
    method _getVariable (line 40) | def _getVariable(self, symbolic_var):
    method _wrapIf (line 52) | def _wrapIf(self, expr, env):
    method _astToCVCExpr (line 58) | def _astToCVCExpr(self, expr, env=None):

FILE: symbolic/cvc_expr/expression.py
  class CVCExpression (line 9) | class CVCExpression(object):
    method __init__ (line 12) | def __init__(self, cvc_expr, solver):
    method variable (line 18) | def variable(cls, name, solver):
    method constant (line 22) | def constant(cls, v, solver):
    method getvalue (line 25) | def getvalue(self):
    method ite (line 28) | def ite(self, th, el):
    method __and__ (line 33) | def __and__(self, other):
    method __xor__ (line 36) | def __xor__(self, other):
    method __or__ (line 39) | def __or__(self, other):
    method not_op (line 42) | def not_op(self):
    method __ne__ (line 45) | def __ne__(self, other):
    method __eq__ (line 49) | def __eq__(self, other):
    method __lt__ (line 52) | def __lt__(self, other):
    method __gt__ (line 55) | def __gt__(self, other):
    method __ge__ (line 58) | def __ge__(self, other):
    method __le__ (line 61) | def __le__(self, other):
    method __str__ (line 64) | def __str__(self):

FILE: symbolic/cvc_expr/integer.py
  class CVCInteger (line 11) | class CVCInteger(CVCExpression):
    method variable (line 36) | def variable(cls, name, solver):
    method constant (line 42) | def constant(cls, v, solver):
    method getvalue (line 46) | def getvalue(self):
    method __add__ (line 58) | def __add__(self, other):
    method __sub__ (line 61) | def __sub__(self, other):
    method __mul__ (line 64) | def __mul__(self, other):
    method __truediv__ (line 67) | def __truediv__(self, other):
    method __mod__ (line 70) | def __mod__(self, other):
    method __or__ (line 73) | def __or__(self, other):
    method __and__ (line 76) | def __and__(self, other):
    method __xor__ (line 79) | def __xor__(self, other):
    method __lshift__ (line 82) | def __lshift__(self, other):
    method __rshift__ (line 85) | def __rshift__(self, other):
    method tobv (line 88) | def tobv(self):
    method bvsanity (line 92) | def bvsanity(self):
    method _bvhelper (line 95) | def _bvhelper(self, other, op):
    method _assert_bvbounds (line 101) | def _assert_bvbounds(self, bvexpr):

FILE: symbolic/cvc_expr/string.py
  class CVCString (line 11) | class CVCString(CVCExpression):
    method variable (line 15) | def variable(cls, name, solver):
    method constant (line 21) | def constant(cls, v, solver):
    method getvalue (line 30) | def getvalue(self):
    method len (line 38) | def len(self):
    method __add__ (line 41) | def __add__(self, other):
    method __contains__ (line 45) | def __contains__(self, item):
    method __getitem__ (line 49) | def __getitem__(self, item):
    method find (line 68) | def find(self, findstr, beg):
    method replace (line 77) | def replace(self, old, new):
    method startswith (line 80) | def startswith(self, prefix):

FILE: symbolic/cvc_wrap.py
  class CVCWrapper (line 13) | class CVCWrapper(object):
    method __init__ (line 25) | def __init__(self):
    method findCounterexample (line 31) | def findCounterexample(self, asserts, query):
    method _findModel (line 48) | def _findModel(self):
    method _getModel (line 70) | def _getModel(variables):
    method _coneOfInfluence (line 75) | def _coneOfInfluence(asserts, query):

FILE: symbolic/explore.py
  class ExplorationEngine (line 14) | class ExplorationEngine:
    method __init__ (line 15) | def __init__(self, funcinv, solver="z3"):
    method addConstraint (line 42) | def addConstraint(self, constraint):
    method explore (line 47) | def explore(self, max_iterations=0):
    method _updateSymbolicParameter (line 84) | def _updateSymbolicParameter(self, name, val):
    method _getInputs (line 87) | def _getInputs(self):
    method _setInputs (line 90) | def _setInputs(self,d):
    method _isExplorationComplete (line 93) | def _isExplorationComplete(self):
    method _getConcrValue (line 102) | def _getConcrValue(self,v):
    method _recordInputs (line 108) | def _recordInputs(self):
    method _oneExecution (line 114) | def _oneExecution(self,expected_path=None):

FILE: symbolic/invocation.py
  class FunctionInvocation (line 3) | class FunctionInvocation:
    method __init__ (line 4) | def __init__(self, function, reset):
    method callFunction (line 10) | def callFunction(self,args):
    method addArgumentConstructor (line 14) | def addArgumentConstructor(self, name, init, constructor):
    method getNames (line 18) | def getNames(self):
    method createArgumentValue (line 21) | def createArgumentValue(self,name,val=None):

FILE: symbolic/loader.py
  class Loader (line 15) | class Loader:
    method __init__ (line 16) | def __init__(self, filename, entry):
    method getFile (line 25) | def getFile(self):
    method getEntry (line 28) | def getEntry(self):
    method createInvocation (line 31) | def createInvocation(self):
    method _initializeArgumentConcrete (line 63) | def _initializeArgumentConcrete(inv,f,val):
    method _initializeArgumentSymbolic (line 66) | def _initializeArgumentSymbolic(inv,f,val,st):
    method executionComplete (line 69) | def executionComplete(self, return_vals):
    method _resetCallback (line 80) | def _resetCallback(self,firstpass=False):
    method _execute (line 97) | def _execute(self, **args):
    method _toBag (line 100) | def _toBag(self,l):
    method _check (line 109) | def _check(self, computed, expected, as_bag=True):
  function loaderFactory (line 120) | def loaderFactory(filename,entry):

FILE: symbolic/path_to_constraint.py
  class PathToConstraint (line 10) | class PathToConstraint:
    method __init__ (line 11) | def __init__(self, add):
    method reset (line 18) | def reset(self,expected):
    method whichBranch (line 29) | def whichBranch(self, branch, symbolic_type):
    method toDot (line 69) | def toDot(self):
    method _toDot (line 75) | def _toDot(self,c):

FILE: symbolic/predicate.py
  class Predicate (line 3) | class Predicate:
    method __init__ (line 6) | def __init__(self, st, result):
    method getVars (line 10) | def getVars(self):
    method __eq__ (line 13) | def __eq__(self, other):
    method __hash__ (line 20) | def __hash__(self):
    method __str__ (line 23) | def __str__(self):
    method __repr__ (line 26) | def __repr__(self):
    method negate (line 29) | def negate(self):

FILE: symbolic/symbolic_types/__init__.py
  function getSymbolic (line 15) | def getSymbolic(v):

FILE: symbolic/symbolic_types/symbolic_dict.py
  class SymbolicDict (line 13) | class SymbolicDict(SymbolicObject,dict):
    method __new__ (line 14) | def __new__(cls, name, *args, **kwargs):
    method __init__ (line 18) | def __init__(self, name, kwargs):
    method getConcrValue (line 22) | def getConcrValue(self):
    method __bool__ (line 25) | def __bool__(self):

FILE: symbolic/symbolic_types/symbolic_int.py
  class SymbolicInteger (line 10) | class SymbolicInteger(SymbolicObject,int):
    method __new__ (line 13) | def __new__(cls, name, v, expr=None):
    method __init__ (line 16) | def __init__(self, name, v, expr=None):
    method getConcrValue (line 20) | def getConcrValue(self):
    method wrap (line 23) | def wrap(conc,sym):
    method __hash__ (line 26) | def __hash__(self):
    method _op_worker (line 29) | def _op_worker(self,args,fun,op):
  function make_method (line 46) | def make_method(method,op,a):

FILE: symbolic/symbolic_types/symbolic_str.py
  class SymbolicStr (line 5) | class SymbolicStr(SymbolicObject, str):
    method __new__ (line 7) | def __new__(cls, name, v, expr=None):
    method __init__ (line 10) | def __init__(self, name, v, expr=None):
    method getConcrValue (line 14) | def getConcrValue(self):
    method wrap (line 17) | def wrap(conc, sym):
    method __hash__ (line 20) | def __hash__(self):
    method _op_worker (line 23) | def _op_worker(self, args, fun, op):
    method __bool__ (line 26) | def __bool__(self):
    method __len__ (line 29) | def __len__(self):
    method __contains__ (line 33) | def __contains__(self, item):
    method __getitem__ (line 37) | def __getitem__(self, key):
    method find (line 47) | def find(self, findstr, beg=0):
    method startswith (line 52) | def startswith(self, prefix):
    method split (line 57) | def split(self, sep=None, maxsplit=None):
    method count (line 70) | def count(self, sub):
    method _replace (line 85) | def _replace(self, old, new):
    method replace (line 89) | def replace(self, old, new, maxreplace=-1):
    method strip (line 104) | def strip(self, chars=None):
  function make_method (line 120) | def make_method(method,op,a):

FILE: symbolic/symbolic_types/symbolic_type.py
  class SymbolicType (line 10) | class SymbolicType(object):
    method __init__ (line 11) | def __init__(self, name, expr=None):
    method getConcrValue (line 17) | def getConcrValue(self):
    method wrap (line 20) | def wrap(conc,sym):
    method isVariable (line 25) | def isVariable(self):
    method unwrap (line 28) | def unwrap(self):
    method getVars (line 34) | def getVars(self):
    method _getVarsLeaves (line 42) | def _getVarsLeaves(self,l):
    method _do_sexpr (line 51) | def _do_sexpr(self,args,fun,op,wrap):
    method symbolicEq (line 58) | def symbolicEq(self, other):
    method _eq_worker (line 65) | def _eq_worker(self, expr1, expr2):
    method toString (line 77) | def toString(self):
    method _toString (line 83) | def _toString(self,expr):
  class SymbolicObject (line 95) | class SymbolicObject(SymbolicType,object):
    method __init__ (line 96) | def __init__(self, name, expr=None):
    method wrap (line 101) | def wrap(conc,sym):
    method __bool__ (line 110) | def __bool__(self):
    method _do_bin_op (line 117) | def _do_bin_op(self, other, fun, op, wrap):
    method __eq__ (line 120) | def __eq__(self, other):
    method __ne__ (line 124) | def __ne__(self, other):
    method __lt__ (line 127) | def __lt__(self, other):
    method __le__ (line 130) | def __le__(self, other):
    method __gt__ (line 133) | def __gt__(self, other):
    method __ge__ (line 136) | def __ge__(self, other):

FILE: symbolic/z3_expr/bitvector.py
  class Z3BitVector (line 4) | class Z3BitVector(Z3Expression):
    method __init__ (line 5) | def __init__(self,N):
    method _isIntVar (line 9) | def _isIntVar(self,v):
    method _variable (line 12) | def _variable(self,name,solver):
    method _constant (line 15) | def _constant(self,v,solver):

FILE: symbolic/z3_expr/expression.py
  class Z3Expression (line 7) | class Z3Expression(object):
    method __init__ (line 8) | def __init__(self):
    method toZ3 (line 11) | def toZ3(self,solver,asserts,query):
    method predToZ3 (line 16) | def predToZ3(self,pred,solver,env=None):
    method getIntVars (line 28) | def getIntVars(self):
    method _isIntVar (line 33) | def _isIntVar(self, v):
    method _getIntegerVariable (line 36) | def _getIntegerVariable(self,name,solver):
    method _variable (line 41) | def _variable(self,name,solver):
    method _constant (line 44) | def _constant(self,v,solver):
    method _wrapIf (line 47) | def _wrapIf(self,e,solver,env):
    method _astToZ3Expr (line 54) | def _astToZ3Expr(self,expr,solver,env=None):
    method _add (line 121) | def _add(self, l, r, solver):
    method _sub (line 124) | def _sub(self, l, r, solver):
    method _mul (line 127) | def _mul(self, l, r, solver):
    method _div (line 130) | def _div(self, l, r, solver):
    method _mod (line 133) | def _mod(self, l, r, solver):
    method _lsh (line 136) | def _lsh(self, l, r, solver):
    method _rsh (line 139) | def _rsh(self, l, r, solver):
    method _xor (line 142) | def _xor(self, l, r, solver):
    method _or (line 145) | def _or(self, l, r, solver):
    method _and (line 148) | def _and(self, l, r, solver):

FILE: symbolic/z3_expr/integer.py
  class Z3Integer (line 4) | class Z3Integer(Z3Expression):
    method _isIntVar (line 5) | def _isIntVar(self,v):
    method _variable (line 8) | def _variable(self,name,solver):
    method _constant (line 11) | def _constant(self,v,solver):
    method _mod (line 14) | def _mod(self, l, r, solver):
    method _lsh (line 18) | def _lsh(self, l, r, solver):
    method _rsh (line 22) | def _rsh(self, l, r, solver):
    method _xor (line 26) | def _xor(self, l, r, solver):
    method _or (line 30) | def _or(self, l, r, solver):
    method _and (line 34) | def _and(self, l, r, solver):

FILE: symbolic/z3_wrap.py
  class Z3Wrapper (line 13) | class Z3Wrapper(object):
    method __init__ (line 14) | def __init__(self):
    method findCounterexample (line 21) | def findCounterexample(self, asserts, query):
    method _coneOfInfluence (line 37) | def _coneOfInfluence(self,asserts,query):
    method _findModel (line 52) | def _findModel(self):
    method _setAssertsQuery (line 88) | def _setAssertsQuery(self):
    method _findModel2 (line 92) | def _findModel2(self):
    method _getModel (line 124) | def _getModel(self):
    method _boundIntegers (line 135) | def _boundIntegers(self,vars,val):

FILE: test/abs_test.py
  function abs_test (line 1) | def abs_test(a,b):
  function expected_result (line 8) | def expected_result():

FILE: test/andor.py
  function andor (line 1) | def andor(x,y):
  function expected_result (line 7) | def expected_result():

FILE: test/arrayindex2.py
  function arrayindex2 (line 3) | def arrayindex2(i):
  function expected_result (line 10) | def expected_result():

FILE: test/bad_eq.py
  function bad_eq (line 1) | def bad_eq(i):
  function expected_result (line 6) | def expected_result():

FILE: test/bignum.py
  function bignum (line 3) | def bignum(a):
  function expected_result (line 10) | def expected_result():

FILE: test/binary_search.py
  function binary_search (line 5) | def binary_search(k):
  function expected_result (line 18) | def expected_result():

FILE: test/bitwidth.py
  function bitwidth (line 1) | def bitwidth(a):
  function expected_result (line 7) | def expected_result():

FILE: test/complex.py
  function complex (line 1) | def complex(x,y):
  function expected_result_set (line 13) | def expected_result_set():

FILE: test/cseppento1.py
  function cseppento1 (line 1) | def cseppento1(x,y):
  function expected_result (line 21) | def expected_result():

FILE: test/cseppento2.py
  function cseppento2 (line 1) | def cseppento2(a,b):
  function expected_result (line 9) | def expected_result():

FILE: test/cseppento3.py
  function cseppento3 (line 1) | def cseppento3(x):

FILE: test/cvc/effectivebool.py
  function effectivebool (line 9) | def effectivebool(string, num):
  function expected_result (line 18) | def expected_result():

FILE: test/cvc/emptystr.py
  function emptystr (line 5) | def emptystr(s):
  function expected_result (line 12) | def expected_result():

FILE: test/cvc/escape.py
  function escape (line 5) | def escape(string):
  function expected_result_set (line 12) | def expected_result_set():

FILE: test/cvc/none.py
  function none (line 5) | def none(c):
  function expected_result_set (line 12) | def expected_result_set():

FILE: test/cvc/strcontains.py
  function strcontains (line 5) | def strcontains(s):
  function expected_result (line 12) | def expected_result():

FILE: test/cvc/strcount.py
  function strcount (line 5) | def strcount(s):
  function expected_result_set (line 16) | def expected_result_set():

FILE: test/cvc/strfind.py
  function strfind (line 5) | def strfind(s):
  function expected_result (line 15) | def expected_result():

FILE: test/cvc/strfindbeg.py
  function strfindbeg (line 5) | def strfindbeg(s):
  function expected_result (line 15) | def expected_result():

FILE: test/cvc/strindex.py
  function strindex (line 5) | def strindex(s):
  function expected_result (line 16) | def expected_result():

FILE: test/cvc/stringadd.py
  function stringadd (line 5) | def stringadd(s):
  function expected_result (line 12) | def expected_result():

FILE: test/cvc/stringtest.py
  function stringtest (line 5) | def stringtest(s):
  function expected_result_set (line 14) | def expected_result_set():

FILE: test/cvc/strmiddle.py
  function strmiddle (line 5) | def strmiddle(s):
  function expected_result (line 13) | def expected_result():

FILE: test/cvc/strreplace.py
  function strreplace (line 5) | def strreplace(s):
  function expected_result_set (line 12) | def expected_result_set():

FILE: test/cvc/strslice.py
  function strslice (line 5) | def strslice(s):
  function expected_result_set (line 11) | def expected_result_set():

FILE: test/cvc/strsplit.py
  function strsplit (line 5) | def strsplit(s):
  function expected_result_set (line 11) | def expected_result_set():

FILE: test/cvc/strstartswith.py
  function strstartswith (line 5) | def strstartswith(s):
  function expected_result_set (line 11) | def expected_result_set():

FILE: test/cvc/strstrip.py
  function strstrip (line 5) | def strstrip(s):
  function expected_result_set (line 11) | def expected_result_set():

FILE: test/cvc/strsubstring.py
  function strsubstring (line 5) | def strsubstring(s):
  function expected_result (line 18) | def expected_result():

FILE: test/decorator.py
  function decorator (line 5) | def decorator(a,b,c):
  function expected_result (line 11) | def expected_result():

FILE: test/decorator_dict.py
  function decorator_dict (line 4) | def decorator_dict(d):
  function expected_result (line 10) | def expected_result():

FILE: test/diamond.py
  function diamond (line 1) | def diamond(x,y,z):
  function expected_result (line 11) | def expected_result():

FILE: test/dict.py
  function dict (line 3) | def dict(x):
  function expected_result (line 10) | def expected_result():

FILE: test/dictionary.py
  function dictionary (line 7) | def dictionary(in1):
  function expected_result (line 16) | def expected_result():

FILE: test/elseif.py
  function elseif (line 5) | def elseif(in1):
  function expected_result (line 28) | def expected_result():

FILE: test/expand.py
  function expand (line 1) | def expand(in1, in2):
  function expected_result (line 7) | def expected_result():

FILE: test/expressions.py
  function expressions (line 3) | def expressions(in1, in2):
  function expected_result (line 15) | def expected_result():

FILE: test/filesys.py
  function filesys (line 4) | def filesys(x):
  function expected_result_set (line 24) | def expected_result_set():

FILE: test/fp.py
  function fp (line 1) | def fp(a):
  function expected_result (line 11) | def expected_result():

FILE: test/gcd.py
  function rec_gcd (line 1) | def rec_gcd(u,v):
  function iter_gcd (line 26) | def iter_gcd(u,v):
  function gcd (line 64) | def gcd(x,y):
  function expected_result_set (line 75) | def expected_result_set():

FILE: test/hashval.py
  function compute (line 3) | def compute(x):
  function hashval (line 9) | def hashval(key):
  function expected_result (line 16) | def expected_result():

FILE: test/len_test.py
  class Foo (line 3) | class Foo():
    method __init__ (line 4) | def __init__(self, var):
    method __len__ (line 7) | def __len__(self):
  function len_test (line 11) | def len_test(a):
  function expected_result (line 18) | def expected_result():

FILE: test/lib/bsearch.py
  function bsearch (line 2) | def bsearch(a,k):

FILE: test/lib/se_dict.py
  class SymbolicDictionary (line 3) | class SymbolicDictionary(dict):
    method __init__ (line 4) | def __init__(self, *args, **kwargs):
    method has_key (line 8) | def has_key(self, key):

FILE: test/list.py
  function list (line 1) | def list(a,b):
  function expected_result_set (line 7) | def expected_result_set():

FILE: test/logical_op.py
  function logical_op (line 3) | def logical_op(in1, in2):
  function expected_result (line 14) | def expected_result():

FILE: test/loop.py
  function loop (line 1) | def loop(in1,in2):
  function expected_result (line 10) | def expected_result():

FILE: test/many_branches.py
  function many_branches (line 5) | def many_branches(in1, in2, in3):
  function expected_result (line 31) | def expected_result():

FILE: test/maxtest.py
  function max2 (line 4) | def max2(s,t):
  function max4 (line 10) | def max4(x,y,x2,y2):
  function maxtest (line 13) | def maxtest(a,b,c,d):
  function expected_result (line 20) | def expected_result():

FILE: test/mod.py
  function mod (line 1) | def mod(x,y):
  function expected_result (line 7) | def expected_result():

FILE: test/modulo.py
  function modulo (line 1) | def modulo(in1):
  function expected_result (line 8) | def expected_result():

FILE: test/modulo2.py
  function modulo2 (line 1) | def modulo2(in1):
  function expected_result (line 11) | def expected_result():

FILE: test/mult_assmt.py
  function mult_assmt (line 2) | def mult_assmt(in1,in2,in3):
  function expected_result (line 15) | def expected_result():

FILE: test/polyspace.py
  function where_are_the_errors (line 1) | def where_are_the_errors(input):
  function polyspace (line 17) | def polyspace(i):
  function expected_result (line 21) | def expected_result():

FILE: test/power.py
  function power (line 6) | def power(x):
  function expected_result (line 12) | def expected_result():

FILE: test/power2.py
  function power2 (line 1) | def power2(x):
  function expected_result (line 11) | def expected_result():

FILE: test/powtest.py
  function powtest (line 1) | def powtest(in1):
  function expected_result (line 8) | def expected_result():

FILE: test/reverse.py
  function reverse (line 3) | def reverse(x):
  function expected_result (line 8) | def expected_result():

FILE: test/set.py
  function set (line 3) | def set(x):
  function expected_result (line 9) | def expected_result():

FILE: test/shallow_branches.py
  function shallow_branches (line 5) | def shallow_branches(in1, in2, in3, in4, in5):
  function expected_result (line 23) | def expected_result():

FILE: test/simple.py
  function simple (line 1) | def simple(x):
  function expected_result (line 7) | def expected_result():

FILE: test/swap.py
  function swap (line 1) | def swap(in1,in2):
  function expected_result (line 16) | def expected_result():

FILE: test/tuplecmp.py
  function tuplelt (line 1) | def tuplelt(a, b):
  function tuplecmp (line 11) | def tuplecmp(a0, a1, b0, b1):
  function expected_result (line 14) | def expected_result():

FILE: test/unnecessary_condition.py
  function unnecessary_condition (line 1) | def unnecessary_condition(in1,in2):
  function expected_result (line 10) | def expected_result():

FILE: test/unnecessary_condition2.py
  function unnecessary_condition2 (line 1) | def unnecessary_condition2(in1,in2):
  function expected_result (line 11) | def expected_result():

FILE: test/unnecessary_condition3.py
  function unnecessary_condition3 (line 1) | def unnecessary_condition3(in1):
  function op (line 8) | def op(in1):
  function expected_result (line 20) | def expected_result():

FILE: test/unnecessary_condition4.py
  function unnecessary_condition4 (line 1) | def unnecessary_condition4(in1):
  function op (line 10) | def op(in1):
  function expected_result (line 22) | def expected_result():

FILE: test/weird.py
  function weird (line 1) | def weird(x,y):
  function expected_result (line 7) | def expected_result():

FILE: test/whileloop.py
  function whileloop (line 1) | def whileloop(x):

FILE: tools/symbolic_int_subtype.py
  function symbolic_int_subtype (line 25) | def symbolic_int_subtype(func_index, a, b, c):

FILE: utils.py
  function traceback (line 6) | def traceback():
  function crash (line 11) | def crash(msg):