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

Z3_STTests Class Documentation Show file Open project: AutomataDotNet/Automata

TestGetTagsAxioms1() private method

private TestGetTagsAxioms1 ( ) : void
return	void

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