Make the output of the constraints tests readable