id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
174	Print intermediate report during execution	ywei	Stephen Siegel	During TASS exectuion, if -verbose is turned off, users don't get any information before program terminates. So it is useful to print something to tell users that program is still running. For example, print out a dot for every 500/1000 states that have been explored. 	enhancement	closed	major		User Interface		fixed