eclipse / gemoc-studio-execution-ale

Gemoc studio execution ale
0 stars 7 forks source link

Stop engine on error #21

Closed dvojtise closed 5 years ago

dvojtise commented 5 years ago

This PR integrates the fix of https://github.com/gemoc/ale-lang/issues/38 . Ie. ALE Engine was not stopping the engine in case of unexpected execution error.

It bumps ALE version to the latest available and includes some additions in ALE GEMOC Engine.

This PR comes with the following PR: https://github.com/eclipse/gemoc-studio/pull/176