C# (CSharp) SolToBoogie TranslatorContext.AddFunctionToContract Examples

Example #1

 public override bool Visit(FunctionDefinition node)
 {
     Debug.Assert(currentContract != null);
     context.AddFunctionToContract(currentContract, node);
     return(false);
 }