[henshin-user] state space limit

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[henshin-user] state space limit

From: "Alabdullatif, Mohammed A.A." <maaa4@xxxxxxxxxxxxxxx>
Date: Thu, 2 Jul 2015 15:41:14 +0000
Accept-language: en-US, en-GB
Delivered-to: henshin-user@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/henshin-user>
List-help: <mailto:henshin-user-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/henshin-user>, <mailto:henshin-user-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/henshin-user>, <mailto:henshin-user-request@eclipse.org?subject=unsubscribe>
Thread-index: AdC03EdOqxhmi2jmTqSCs5GK6Y3KKA==
Thread-topic: state space limit

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

Follow-Ups:
- Re: [henshin-user] state space limit
  - From: Christian Krause

Prev by Date: Re: [henshin-user] Hidden states
Next by Date: Re: [henshin-user] state space limit
Previous by thread: [henshin-user] Hidden states
Next by thread: Re: [henshin-user] state space limit
Index(es):
- Date
- Thread

Breadcrumbs