C# Class UnitTests.UnitTest1

显示文件 Open project: siegebell/vscoq Class Usage Examples

Private Methods

Method	Description
TestBasicCoqTop ( ) : void
TestBasicCoqTopPassthrough ( ) : void
TestIdeslaveStdfds ( ) : void
runProgram ( string bin, string args ) : Process