C# Class Automata.Z3.Tests.Z3_GenericSTTests

显示文件 Open project: AutomataDotNet/Automata

Public Methods

Method Description
STDecodeTest ( ) : void
STExploreTest1 ( ) : void

Private Methods

Method Description
MkDecodeST ( IContext z3p, Microsoft.Z3.Sort charSort ) : ST
MkDecodeWithFinalOutputs ( IContext z3p, Microsoft.Z3.Sort charSort ) : ST
STExploreTest2 ( ) : void

Method Details

STDecodeTest() public method

public STDecodeTest ( ) : void
return void

STExploreTest1() public method

public STExploreTest1 ( ) : void
return void