/// <summary>
        /// The main entry point for the application.
        /// </summary>
        static int Main(string[] args)
        {
            //Start recording
            testLog.StartRecording();
            MyClass x = new MyClass(1234);

            x.testit(args.Length);
            Console.WriteLine(x.val);

            // stop recoding
            testLog.StopRecording();
            return(testLog.VerifyOutput());
        }
Example #2
0
        public static int TestEntryPoint()
        {
            //Start recording
            testLog.StartRecording();
            MyClass x = new MyClass(1234);

            x.testit(0);
            Console.WriteLine(x.val);

            // stop recoding
            testLog.StopRecording();
            return(testLog.VerifyOutput());
        }
Example #3
0
        static int Main(string[] args)
        {
            //Start recording
            testLog.StartRecording();
            MyClass x = new MyClass(1234);
            x.testit(args.Length);
            Console.WriteLine(x.val);

            // stop recoding
            testLog.StopRecording();
            return testLog.VerifyOutput();
        }