search

siddharthb / Kide

Kide- The Kappa IDE for Eclipse
GNU Lesser General Public License v3.0
1 stars 0 forks source link

Deadlock detection #8

Closed jkrivine closed 13 years ago

jkrivine commented 13 years ago

The plugin stalls whenever KaSim encouters a deadlock. Should be detected thanks to the ? that is displayed instead of a # symbol

siddharthb commented 13 years ago

the bug has been removed in version 1.01_210711. Deadlock is now detected.