C# (CSharp) Microsoft.Research.Vcc VccBlockWithContracts Examples

Example #1

File: Statements.cs Project: edgar-pek/VCDryad

 private VccBlockWithContracts(BlockStatement containingBlock, VccBlockWithContracts template)
     : base(containingBlock, template)
 {
 }

Example #2

File: Statements.cs Project: tupipa/vcc

 private VccBlockWithContracts(BlockStatement containingBlock, VccBlockWithContracts template)
     : base(containingBlock, template)
 {
 }