Skip to content
Snippets Groups Projects
Matthew Dawson's avatar
Matthew Dawson authored
The EventB generator code can now fetch output cells using the value passed
in.  It also gains support for multiple output tables in the process, since
it's easier to support that now, then include funky hacks for to support only
single variable tables.

Also bring back the momThreeLayer table for testing EventB's multiple output
feature.
2e852877
History
Name Last commit Last update