Bonjour.

Comme l'indique le titre, lors de la vérification d'une machine (niveau F0), j'obtiens l'erreur suivante :
PO Generator: internal error
sequence memory overflow, aborting current level
Le problème est le suivant :
  • j'ai par exemple un ensemble de machine avec inclusion dans la finale est M1
  • M2 inclus deux fois M1 via renommage (INCLUDES un.M1, deux.M1)

dans M2, si je fais (X étant une opération de M1)
  • un.X, cela vérifie normalement
  • deux.X, cela vérifie normalement
  • un.X || deux.X, cela bloque avec ladite erreur.


Sachant que j'ai passé l'option m à 40000000 au lieu de 10000000, j'ai bien peur que la double inclusion ne pourra jamais être validée pour ce projet ou je me trompe ?

Merci pour votre aide.