Re: [henshin-dev] Error while modeling checking henshin state space

[Christian Krause <henshin.ck@xxxxxxxxx>]

Hi Subramanya,

sorry, but I'm quite busy in the moment. If you have the source code, you could try to debug it. The mCRL2 model checking is done in the MCRL2StateSpaceValidator class:

http://dev.eclipse.org/svnroot/modeling/org.eclipse.emft.henshin/trunk/plugins/org.eclipse.emf.henshin.statespace.external/src/org/eclipse/emf/henshin/statespace/external/mcrl2/MCRL2StateSpaceValidator.java

I will no be able to look into it before next week.

Cheers,

Christian

2013/10/6 Subramanya K G <subramanya.kg@xxxxxxxxx>

Hello Christian,

I am still not able to execute, the same error persists.  I even tried to execute in command prompt but no success. (FYI:  I checked out the latest code).

Thanks
Subramanya

_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev