testhanoi.txt

CxxTester是一个用于C＋＋代码的通用测试框。它支持测试库系统、有一套方法的对象文件、甚至单行C＋＋源（即所有用C＋＋接口的东西）。解释程序的前端使你能够在不需要重新编译代码的情况下修改和扩大测

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"
	}
}