Automata.Z3.Tests.Z3_STTests.TestGetTagsAxioms2 C# (CSharp) Method

Z3_STTests Class Documentation 显示文件 Open project: AutomataDotNet/Automata

TestGetTagsAxioms2() private method

private TestGetTagsAxioms2 ( ) : void
return	void

        public void TestGetTagsAxioms2()
        {
            STBuilderZ3 stb = new STBuilderZ3(new Z3Provider(BitWidth.BV16));
            TestGetTagsAxioms2(stb, stb.Solver.IntSort);
            TestGetTagsAxioms2(stb, stb.Solver.MkBitVecSort(16));
            TestGetTagsAxioms2(stb, stb.Solver.MkBitVecSort(8));
            TestGetTagsAxioms2(stb, stb.Solver.MkBitVecSort(7));
        }