C# (CSharp) SolToBoogie TranslatorContext.AddContract Examples

Example #1

File: ContractCollector.cs Project: woods1060/verisol

 public override bool Visit(ContractDefinition node)
 {
     context.AddContract(node);
     return(false);
 }