testhanoi.txt

来自「CxxTester是一个用于C＋＋代码的通用测试框。它支持测试库系统、有一套方法」· 文本 代码 · 共 23 行

resultfile "out.txt"
deletefile "out.txt"

hanoi
{
	height = 9    // initial height of left tower
	steps  = 3    // break after at most 3 steps

	verify:

    //
    // the first three moves are verified
    // 
	move[] 
	{
		"A -> C"
		"A -> B"
		"C -> B"
	}
}