本文整理汇总了C#中Z3Provider.Dispose方法的典型用法代码示例。如果您正苦于以下问题:C# Z3Provider.Dispose方法的具体用法?C# Z3Provider.Dispose怎么用?C# Z3Provider.Dispose使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Z3Provider
的用法示例。
在下文中一共展示了Z3Provider.Dispose方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: TestPositionConflict2
public void TestPositionConflict2()
{
string bek1 = @"
program decode(input){
replace {
""&"" ==> ""&"";
""<"" ==> ""<"";
"">"" ==> "">"";
@""&\d{3}$"" ==> [(#1|#2)|#3];
else ==> [#0];
}
}
";
string bek2 = @"
program decode(input){
replace {
""&"" ==> ""&"";
""<"" ==> ""<"";
"">"" ==> "">"";
@""&[0-9]{3}$"" ==> [(#1|#2)|#3];
else ==> [#0];
}
}
";
Tuple<int, string> foo = Tuple.Create(34, "abc");
Tuple<int, string> bar = Tuple.Create(34, "ab" + "c");
bool b = foo.Equals(bar);
Z3Provider solver = new Z3Provider(BitWidth.BV16);
var d1 = BekConverter.BekToSTb(solver, bek1).ToST();
var d2 = BekConverter.BekToSTb(solver, bek2).ToST();
var witness = d1.Neq1(d2);
Assert.IsFalse(witness == null);
var inp = new String(Array.ConvertAll(witness.ToArray(), x => (char)solver.GetNumeralInt(x)));
var out1 = new String(Array.ConvertAll(new List<Expr>(d1.Apply(witness)).ToArray(), x => (char)solver.GetNumeralInt(x)));
var out2 = new String(Array.ConvertAll(new List<Expr>(d2.Apply(witness)).ToArray(), x => (char)solver.GetNumeralInt(x)));
solver.Dispose();
Assert.AreNotEqual<string>(out1, out2);
}