0

How to stop alloy analyzer when because of a large scope in run command, it stops responding.

qartal
  • 1,904
  • 16
  • 30

1 Answers1

1

This is very simple! my bad! You just need to push the Stop button in the toolbar!

since always the execution was so fast, I never noticed that in alloy IDE, Execute button turns into Stop button during a model execution!

qartal
  • 1,904
  • 16
  • 30