Exemple #1
0
 public BplMatch(string v2Prefix)
 {
     _v2Prefix = v2Prefix;
     _renamer = new Utils.VarRenamer(v2Prefix + ".", new string[] { });
     _eqVarsCounter = 0;
     _numOverallAsserts = 0;
     _havocVar = new LocalVariable(Token.NoToken, new TypedIdent(Token.NoToken, HavocVarName, BType.Bool));
 }
Exemple #2
0
 public BplMatch(string v2Prefix)
 {
     _v2Prefix          = v2Prefix;
     _renamer           = new Utils.VarRenamer(v2Prefix + ".", new string[] { });
     _eqVarsCounter     = 0;
     _numOverallAsserts = 0;
     _havocVar          = new LocalVariable(Token.NoToken, new TypedIdent(Token.NoToken, HavocVarName, BType.Bool));
 }