public string ReadLineTest([PexAssumeUnderTest] AutocompleteConsole target)
{
string result = target.ReadLine();
return(result);
// TODO: add assertions to method AutocompleteConsoleTest.ReadLineTest(AutocompleteConsole)
}
public AutocompleteConsole ConstructorTest(
string prompt,
IScanner scanner,
ISyntaxHighlighter highlighter,
IAutocompletionSource sources,
bool useNativeApi
)
{
AutocompleteConsole target
= new AutocompleteConsole(prompt, scanner, highlighter, sources, useNativeApi);
return(target);
// TODO: add assertions to method AutocompleteConsoleTest.ConstructorTest(String, IScanner, ISyntaxHighlighter, IAutocompletionSource, Boolean)
}
