Skip to content

Commit

Permalink
Make it explicit that tools can show the value of variables.
Browse files Browse the repository at this point in the history
See: modelica/ModelicaStandardLibrary#4519 and modelica/ModelicaStandardLibrary#4399

The reason for "may" is:
- To not require the value to be duplicated, for cases such as: modelica/ModelicaStandardLibrary#4399
- Support even smarter debugging.

I thought it was sufficiently important to make it normative.
HansOlsson committed Jan 23, 2025

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
1 parent 54e1dea commit 8097dec
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions chapters/equations.tex
Original file line number Diff line number Diff line change
@@ -506,6 +506,7 @@ \subsection{assert}\label{assert}
\lstinline!condition! needs to be implicitly treated with \lstinline!noEvent! since otherwise events might be triggered that can lead to slightly changed simulation results.
\end{nonnormative}
\end{itemize}
Tools may show more than the message for failed assertions, in particular the condition and the values of any variables used in it.

\begin{nonnormative}
The \lstinline!AssertionLevel.error! case can be used to avoid evaluating a model outside its limits of validity; for instance, a function to compute the saturated liquid temperature cannot be called with a pressure lower than the triple point value.

0 comments on commit 8097dec

Please sign in to comment.