예제 #1
0
파일: Contract.cs 프로젝트: ggrov/tacny 
        public static void ValidateRequires(Atomic state)
        {
            Contract.Requires(state != null);
            TacnyContract tc = new TacnyContract(state);

            tc.ValidateRequires();
        }
예제 #2
0
파일: Contract.cs 프로젝트: ggrov/tacny 
 public static void ValidateRequires(Atomic state) {
   Contract.Requires(state != null);
   TacnyContract tc = new TacnyContract(state);
   tc.ValidateRequires();
 }