Exemple #1
0
 public void TestRegexBV16toSMT()
 {
     var conv = new RegexToSMTConverter(BitWidth.BV16, "CHAR");
     var res = conv.ConvertRegex(large);
     Console.WriteLine(res);
 }