[
	{
		"description": "Double-precision floating point tests",
		"id": "testnos3",
		"format": "bin",
		"source": "testnos3.asm",
		"target": [
			{ "output": "testnos3.bin" },
			{ "stderr": "testnos3.stderr" }
		]
	}
]