node/reduction.rb
def testcase_processed
	
		continue = true

		thread = ::Thread.new do
		
			kill_browser

			case @current_pass
				when 1
					# Initial verification
					@genopts.keep
				when 2
					# Reducing elements
					@elems.keep
				when 3
					# Reducing idx's
					@idxs.keep
				when 4
					# Final verification
					# booo, pass 4 has failed!?!.
					continue = false
				else
					continue = false
			end

			# while we still have testcases to generate...
			if( continue )
				# we go again an try the next testcase in a new browser instance
				spawn_browser
			else
				@reduction_server.stop
				::Thread.current.kill
			end
		end
		
		thread.join
		
		return continue
	end
# return true if we are to continue generating and serving out testcases, or false if its time to finish.
return true if we are to continue generating and serving out testcases, or false if its time to finish.
return true if we are to continue generating and serving out testcases or false if its time to finish .
def testcase_processed
		continue = true
		thread = ::Thread.new do
			kill_browser
			case @current_pass
				when 1
					@genopts.keep
				when 2
					@elems.keep
				when 3
					@idxs.keep
				when 4
					continue = false
				else
					continue = false
			end
			if( continue )
				spawn_browser
			else
				@reduction_server.stop
				::Thread.current.kill
			end
		end
		thread.join
		return continue
	end
def testcase_processed continue = true thread = :: Thread . new do kill_browser case @current_pass when 1 @genopts . keep when 2 @elems . keep when 3 @idxs . keep when 4 continue = false else continue = false end if ( continue ) spawn_browser else @reduction_server . stop :: Thread . current . kill end end thread . join return continue end
return true if we are to continue generating and serving out testcases, or false if its time to finish.
return true if we are to continue generating and serving out testcases or false if its time to finish .
# Initial verification # Reducing elements # Reducing idx's # Final verification # booo, pass 4 has failed!?!. # while we still have testcases to generate... # we go again an try the next testcase in a new browser instance