Summary: 39 instances, 35 unique

Text	Count
// TODO: we need a way to determine type of receiver from "x.Foo()"	1
//TODO: use TypeDescriptions::IsInt/IsStruct etc., but need typeDescription instead of typeString	1
// TODO: this part should go into Translate a function call expression	1
// TODO: The warning below could probably be suppressed:	1
// TODO: move to earlier	1
// TODO: Handle static arrauy	1
// TODO:	2
// TODO: refactor this code with the code to generate constructor code when definition is present	1
// TODO: each local array variable should be distinct and 0 initialized	1
// TODO: add the initializations outside of constructors	1
// This should never happen; TODO: Debug.Assert(false)?	1
// TODO: Many times the type is unknown...	1
// TODO: extract into a VerificationFlags structure	1
// TODO: add the initialization of m[i][j]	1
bigInt = TranslateExpr(varDecl.Value); //TODO: any complex expression will crash	1
// TODO: example?	1
currentStmtList.AppendStmtList(BoogieStmtList.MakeSingletonStmtList(assignCmd)); //TODO: simultaneous updates	1
// TODO: Make these configurable.	1
// TODO: switch to enum type	3
// TODO: type	1
//TODO: do we want to check that the contract the struct variable is declared	1
// TODO: Provide a better way to check for array type	1
// FIXME: getters for public state variables	1
// TODO: constant is TupleExpression:	1
// TODO: Provide a better way to check for dynamic array type	1
// TODO: should set up a timeout here	2
// Issue with inferring Array[] expressions in GetBoogieTypesFromMapping (TODO: use GetBoogieTypesFromMapping after fix)	1
BoogieExpr retExpr = TranslateExpr(node.Expression); //TODO: handle tuples here?	1
// TODO: handle this properly.	1
// TODO: Do we need to lookup by signature?	1
currentStmtList.AppendStmtList(BoogieStmtList.MakeSingletonStmtList(assignCmd)); //TODO: simultaneous updates	1
// TODO: Need to introduce opcode for power operation	1
// TODO: Cleanup, StartsWith("uint") can include uint[12] as well.	1
//turn the tuple assignment into a serial assignment [TODO: understand the evaluation semantics]	1
// TODO: resolve events	1