synchronize(function() { time = new Date() - time; $("<div>").html(['<p class="result">Tests completed in ', time, ' milliseconds.<br/>', _config.stats.bad, ' tests of ', _config.stats.all, ' failed.</p>'] .join('')) .appendTo("body"); $("#banner").addClass(_config.stats.bad ? "fail" : "pass"); }); 
setTimeout(function(){ if(_config.timeout) clearTimeout(_config.timeout); _config.blocking = false; process(); }, 13); 
	synchronize(function() {		time = new Date() - time;		$("<div>").html(['<p class="result">Tests completed in ',			time, ' milliseconds.<br/>',			_config.stats.bad, ' tests of ', _config.stats.all, ' failed.</p>']			.join(''))			.appendTo("body");		$("#banner").addClass(_config.stats.bad ? "fail" : "pass");	});
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/2ef4093cf7f52383dd43bd361864edcda27e5c3c/testrunner.js/clean/build/test/data/testrunner.js