Example #1
0
 public bool IsMyModel(Model m)
 {
   return m.TryGetFunc("$$Language$Dafny") != null;
 }
Example #2
0
 public bool IsMyModel(Model m) {
   return m.TryGetFunc("$Alloc") != null;
 }