C# (CSharp) Z3ConstDeclAst Examples

Example #1

File: StubContext.cs Project: luckysunda/hice-dt

 public string GetDeclName(Z3ConstDeclAst constDeclAst)
 {
     return("");
 }

Example #2

File: StubContext.cs Project: Chenguang-Zhu/ICE-C5

 public string GetDeclName(Z3ConstDeclAst constDeclAst) {
   return "";
 }