Clarify assertion semantics, SIMICS-23401#415

mandolaerik merged 1 commit intointel:mainintel/device-modeling-language:mainfrom

mandolaerik:pr/clarify-assertion-semantics-simics-23401mandolaerik/device-modeling-language:pr/clarify-assertion-semantics-simics-23401Copy head branch name to clipboard