class Covered::Config

def finish

Stops the policy capture pipeline and restores the environment saved by {start}.
Finish coverage tracking. 
def finish
	# Finish coverage tracking:
	policy.finish
	
	# Restore the environment:
	ENV.replace(@environment)
	@environment = nil
end