impure functionprintViolationsToLogFile
Print information about one requirement to log file
Inputs
| Type | Name | Default | Description |
|---|---|---|---|
| String | logFile | Name of log file | |
| String | checkedComponentName | Full path name of checked component | |
| String | requirementName | Full path name of requirement model | |
| String | requirementText | Text of requirement | |
| Boolean | atLeastOneFailure | = true, if requirement is violated (at least one failure) | |
| Boolean | untested | = true, if requirement is untested, otherwise requirement is tested and satisfied | |
| Modelica.Units.SI.Time | firstFailureTime | Time instant of first failure (if atLeastOneFailure=true) |
Outputs
| Type | Name | Default | Description |
|---|---|---|---|
| Real | ok | Dummy variable needed for sorting |