Skip to content
Snippets Groups Projects
Commit d7c9a23d authored by dgelessus's avatar dgelessus
Browse files

Fix local variables in Event-B mode 

Event-B/Rodin does not support LET like ProB does, so we need to use
some workarounds to provide similar functionality in Event-B mode.
parent 4d390e48
Show whitespace changes
Inline Side-by-side
Showing
with 291 additions and 7 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment