当前位置: 首页>>代码示例>>C#>>正文


C# Z3Provider.Dispose方法代码示例

本文整理汇总了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 {
              ""&"" ==> ""&"";
              ""&lt;"" ==> ""<"";
              ""&gt;"" ==> "">"";
              @""&\d{3}$"" ==> [(#1|#2)|#3];
              else ==> [#0];
            }
            }
            ";
            string bek2 = @"
            program decode(input){
            replace {
              ""&amp;"" ==> ""&"";
              ""&lt;"" ==> ""<"";
              ""&gt;"" ==> "">"";
              @""&[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);
        }
开发者ID:AutomataDotNet,项目名称:Automata,代码行数:40,代码来源:Neq1Tests.cs


注:本文中的Z3Provider.Dispose方法示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。