{
	"Config": {
		"Coverage": true,
		"Detail": true,
		"RedirectOutput": true
	},
	"Features": [
		"Resource Bounds",
		"Export Stability",
		"Descriptor",
		"Loop"
	]
}