Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [henshin-user] state space limit

Hi Christian,

Thank you for your reply. I have discovered the solution :). The main problem was the memory allocations. I have changed the memory allocations size for both Eclipse and for my java class as I had java heap space error. 
Also, the state space graphical explorer can show up to 3000 states then it turns blank and that's why the states number increases very quickly when it reaches 3000 but it then slows down and finishes explorations.

Best regards,,,
Mohammed 

From: henshin-user-bounces@xxxxxxxxxxx [henshin-user-bounces@xxxxxxxxxxx] on behalf of Christian Krause [henshin.ck@xxxxxxxxx]
Sent: Thursday, July 02, 2015 5:54 PM
To: Henshin Project user discussions
Subject: Re: [henshin-user] state space limit

Hi Mohammed,

could you check the Error Log view for any exceptions occurring in Henshin?

Cheers,
Christian

2015-07-02 17:41 GMT+02:00 Alabdullatif, Mohammed A.A. <maaa4@xxxxxxxxxxxxxxx>:
Hi,

I would like to ask about the number of states that can be generated using state space tool. I did some experiments and when it reaches 3000 states, it crashes. The number of states increases quickly without stopping. I am using 2.5 GHz Intel Core i7 with 16 GB. I am not sure if there is a problem with my configuration or memory allocations.

Best regards,,,
Mohammed

_______________________________________________
henshin-user mailing list
henshin-user@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/henshin-user



Back to the top