Example #1
0
 public void AddPostcondition(string key, bool value)
 {
     Postconditions.Add(new KeyValuePair <string, bool>(key, value));
 }