public static void Test_Output(string prog, string p_out)
{
CPTester tester = new CPTester(prog);
tester.run(MAX_STEP);
if (tester.StepCount >= (MAX_STEP - 8))
{
Assert.Fail("Did not finish in MAX_STEP");
}
Assert.AreEqual(0, tester.Stack.Count);
Assert.AreEqual(p_out, tester.Output.ToString());
if (tester.hadRandomElements())
{
for (int i = 0; i < RAND_RUN_COUNT; i++)
{
tester = new CPTester(prog);
tester.run(MAX_STEP);
if (tester.StepCount >= (MAX_STEP - 8))
{
Assert.Fail();
}
Assert.AreEqual(0, tester.Stack.Count);
Assert.AreEqual(p_out, tester.Output.ToString());
}
}
}
public static void Test_Terminate(string prog)
{
CPTester tester = new CPTester(prog);
tester.run(MAX_STEP);
if (tester.StepCount >= (MAX_STEP - 8))
{
Assert.Fail("Too many steps");
}
Assert.AreEqual(0, tester.Stack.Count);
if (tester.hadRandomElements())
{
for (int i = 0; i < RAND_RUN_COUNT; i++)
{
tester = new CPTester(prog);
tester.run(MAX_STEP);
if (tester.StepCount >= (MAX_STEP - 8))
{
Assert.Fail();
}
Assert.AreEqual(0, tester.Stack.Count);
}
}
}
public static void Test_Common(string prog)
{
CPTester tester = new CPTester(prog);
tester.run(MAX_STEP);
if (tester.hadRandomElements())
{
for (int i = 0; i < RAND_RUN_COUNT; i++)
{
tester = new CPTester(prog);
tester.run(MAX_STEP);
}
}
}
public static void Test_ForStackValue(string prog, int val)
{
CPTester tester = new CPTester(prog);
tester.run(MAX_STEP);
if (!(tester.Stack.Count == 1 && tester.Stack.Peek() == val))
{
throw new BFRunException("Unexpected Stack Value: " + tester.Stack.Peek() + " -> Expected: " + val);
}
if (tester.hadRandomElements())
{
for (int i = 0; i < RAND_RUN_COUNT; i++)
{
tester = new CPTester(prog);
tester.run(MAX_STEP);
}
}
}
