impure functionprintViolationsToOutput
Print violated, untested and satisfied requirements to output window
Inputs
| Type | Name | Default | Description |
|---|---|---|---|
| String | logFile | Name of log file where the data is present | |
| String | htmlFile | Name of html file where log shall be written in a nicely formatted form | |
| String | rootName | Name of root model (used to print heading) | |
| Real | ok | Only provided to guarantee that printViolationsToOutput is called after logFile was generated | |
| Real | satisfaction | Satisfaction of all requirements in % (0% ... 100%) | |
| Modelica.Units.SI.Time | satisfactionTime | Input satisfaction is with respect to satisfactionTime | |
| Boolean | printViolated | true | = true, if violated requirements shall be printed |
| Boolean | printUntested | true | = true, if untested requirements shall be printed |
| Boolean | printSatisfied | true | = true, if satisfied requirements shall be printed |