Exemple #1
0
        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());
                }
            }
        }
Exemple #2
0
        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);
                }
            }
        }
Exemple #3
0
        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);
                }
            }
        }
Exemple #4
0
        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);
                }
            }
        }