When an event-b component (context, machine) is deleted from the model, not all files are removed (.bpr, .cd, *.smd)
Log in to post a comment.