C# (CSharp) LazyTacny TacnyContract Examples

Example #1

File: Contract.cs Project: ggrov/tacny

        public static void ValidateRequires(Atomic state)
        {
            Contract.Requires(state != null);
            TacnyContract tc = new TacnyContract(state);

            tc.ValidateRequires();
        }

Example #2

File: Contract.cs Project: ggrov/tacny

 public static void ValidateRequires(Atomic state) {
   Contract.Requires(state != null);
   TacnyContract tc = new TacnyContract(state);
   tc.ValidateRequires();
 }