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

[Subramanya K G <subramanya.kg@xxxxxxxxx>]

hello,

I am getting the below error when trying to model check the state space of dining philosopher example using mCRL2 tool.

Please help.

java.lang.RuntimeException: ltsconvert returned exit code -1073741515:

    at org.eclipse.emf.henshin.statespace.external.AbstractFileBasedValidator.convertFile(AbstractFileBasedValidator.java:231)

    at org.eclipse.emf.henshin.statespace.external.mcrl2.MCRL2StateSpaceValidator.validate(MCRL2StateSpaceValidator.java:69)

    at org.eclipse.emf.henshin.statespace.explorer.jobs.ValidateStateSpaceJob.run(ValidateStateSpaceJob.java:54)

    at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)

--

Thanks & Regards,
Subramanya