Correct @requires in tests