Skip to content

attempt to use alarm for omc timeouts - #151

Merged
adrpo merged 2 commits into
OpenModelica:masterfrom
adrpo:MoreTimeoutTerminationFixes
Oct 31, 2024
Merged

adrpo merged 2 commits into
OpenModelica:masterfrom
adrpo:MoreTimeoutTerminationFixes

Commits

  1. Commits on Oct 31, 2024