Example #1
0
	void TestSuite::Cleanup(void)
	{
		Print(GetFormattedSuiteTitle() + "Cleanup ongoing...");
		if (cleanup_ != NULL)
			cleanup_(GetFormattedSuiteTitle());
		Print(GetFormattedSuiteTitle() + "Cleanup completed!");
		PrintEnd(GetFormattedSuiteTitle() + "Completed!", true);
	}
Example #2
0
void SCStat::PrintStatAll() {

	PrintMain();
	PrintPlace();
	PrintTransition();
	PrintDirected();
	PrintEnd();
}
Example #3
0
	void TestCase::Cleanup(void)
	{
		Print(GetFormattedCaseTitle() + "Cleanup ongoing...");
		if (cleanup_ != NULL)
			cleanup_(GetFormattedCaseTitle());
		Print(GetFormattedCaseTitle() + "Cleanup completed!");
		PrintEnd(GetFormattedCaseTitle() + "Completed!", result_);
	}