Skip to content
Snippets Groups Projects

fix let expression created for Event-B

Passed
Michael Leuschel created pipeline for commit bb2a552f
, finished
For master
1 minute 54 seconds, queued for 2 seconds