Correct. The Red, Green, Refactor workflow is outputting failing test cases in red and passing test cases in green.