public MFTestResults Arith_arith047_Test()
 {
     Log.Comment("Section 7.7");
     if (Arith_TestClass_arith047.testMethod())
     {
         return(MFTestResults.Pass);
     }
     return(MFTestResults.Fail);
 }
 public void Arith_arith047_Test()
 {
     OutputHelper.WriteLine("Section 7.7");
     Assert.True(Arith_TestClass_arith047.testMethod());
 }