public static void WritePlanToFile(Plan p, string fileName, Type exceptionThrown, string className) { TestCase code; try { code = p.ToTestCase(exceptionThrown, false, className); } catch (Exception) { code = TestCase.Dummy(className); } code.WriteToFile(fileName, true); }
public static void WritePlanToFile(Plan p, string fileName, Type exceptionThrown, string className) { TestCase code; bool writeTest = true; //[email protected] -- added for avoid writing "dummy" code try { code = p.ToTestCase(exceptionThrown, true, className); //[email protected] -- if the middle parameter is set to "true", print plan for debugging } catch (Exception) { code = TestCase.Dummy(className); writeTest = false; } if(writeTest) code.WriteToFile(fileName, true); }
public static void WritePlanToFile(Plan p, string fileName, Type exceptionThrown, string className, bool useRandoopContracts) { TestCase code; bool writeTest = true; //[email protected] -- added for avoid writing "dummy" code try { code = p.ToTestCase(exceptionThrown, true, className, useRandoopContracts); //[email protected] -- if the middle parameter is set to "true", print plan for debugging } catch (Exception) { code = TestCase.Dummy(className); writeTest = false; } if (writeTest) { code.WriteToFile(fileName); } }