The CD and SM shall automatically generate images on project build (and remove obsolete images on rename / delete).
Hi Luis, Just to check... by images, do you mean the generated Event-B?
Log in to post a comment.
Hi Luis, Just to check... by images, do you mean the generated Event-B?