• Home
• Automata
• Z3
• Tests
• Z3_STTests

C# Class Automata.Z3.Tests.Z3_STTests

Show file Open project: AutomataDotNet/Automata

Public Methods

Method	Description
TestCompositionOfDecode ( ) : void
TestCompositionOfDecode2 ( ) : void
TestCompositionOfDecode3 ( ) : void
TestCompositionOfDecodeWithFinals ( ) : void

Private Methods

Method	Description
ApplyHtmlDecode ( int composecount, string instr ) : string
MkDecode ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : Microsoft.Automata.ST
MkDecodeWithBug ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : Microsoft.Automata.ST
MkDecodeWithFinalOutputs ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : Microsoft.Automata.ST
MkGetTags ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : Microsoft.Automata.ST	The buggy version of GetTags
MkGetTags2 ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : Microsoft.Automata.ST	The corrected version of GetTags
TestCompositionOfDecodeWithFinals ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestCompositionOfGetTags ( ) : void
TestDecodeAxioms ( ) : void
TestDecodeAxioms ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestDecodeAxioms2 ( ) : void
TestDecodeAxioms2 ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestDecodeVsDecodeWithBug ( ) : void
TestGetTagsAxioms1 ( ) : void
TestGetTagsAxioms1 ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestGetTagsAxioms2 ( ) : void
TestGetTagsAxioms2 ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestGetTagsVsGetTags2 ( ) : void
TestIdempotenceOfDecode ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestIdempotenceOfDecode2 ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestIdempotenceOfDecode3 ( Microsoft.Automata.STBuilder stb, Microsoft.Z3.Sort charSort ) : void
TestSTdomRestr ( ) : void
TestSTranRestr ( ) : void

Method Details