search

siddharthb / Kide

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

Simulation hangs for the following kappa file #13

Closed jkrivine closed 13 years ago

jkrivine commented 13 years ago

%agent: A(x,y) %agent: B(x)

'ab' A(x) -> A(x!1),B(x!1) 'b..a' A(x!1),B(x!1) -> A(x),B(x) 'aa' A(x) -> A(x)

'ac' A(x) -> A(x)

%init: 100 A %init: 10 B

%obs: 'AB' A(x!1),B(x!1)

siddharthb commented 13 years ago

It should not hang in the version 1.01_220711 and above.