.Modelica_Requirements.Verify.PrintViolations .Modelica_Requirements.Verify.PrintViolationsBlock PrintViolations has to be dragged in the top-level of the model, where components of library Modelica_Requirements are used. This block provides the file name, to which the Requirement blocks write their status at the end of the simulation (whether a Requirement is Violated or Untested). Furthermore, the PrintViolations block reads this log-file at the end of the simulation and prints a summary to the output window.