id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
41	change the JUnit test	ywei	zirkel	Because the constructor of the ExecConfig class in the util package has been changed. I think the JUnit classes should have the corresponding changes. The process number is no longer one of the arguments. Instead, there are method to specify them and get them. Note that you have to use the setNumProcs() method in verify mode and setSpecNumProcs() and setImplNumProcs() in compare mode.	defect	closed	minor		test	1.0	fixed	JUnit