Name | Description |
---|---|
Connector used to force a particular ordering of equations and to pass information about satisfied requirements | |
Initialize log file (remove existing file and add a blank line | |
Print information about one requirement to log file | |
Print violated, untested and satisfied requirements to output window | |
Remove first name of a Modelica path name | |
Get first name of a Modelica path name | |
Remove first part of one line of the log file (until ",") | |
Extract the elements from a log line | |