public void TestNoTimeout()
{
VirtualTime.Run(vt =>
{
const string seq = "a-b--c--d-|";
var testee = vt.Parse(seq).Timeout(3 * LinxTesting.DefaultTimeFrame, vt);
return(testee.Expect(seq, vt));
});
}
public void TestTimeout()
{
VirtualTime.Run(vt =>
{
const string seq = "a-b--c-----d|";
const string exp = "a-b--c---#";
var testee = vt.Parse(seq).Timeout(3 * LinxTesting.DefaultTimeFrame, vt);
return(testee.Expect(exp, vt, ex => ex is TimeoutException));
});
}
